clarify a bit the I/O story
authorRalf Jung <post@ralfj.de>
Thu, 19 Jul 2018 20:05:51 +0000 (22:05 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 19 Jul 2018 20:05:51 +0000 (22:05 +0200)
personal/_posts/2018-07-19-const.md

index da18fc15d1aaba989ed68452795fbf251b185164..590763062154d9ead86e1f5afe76acba48c95fcd 100644 (file)
@@ -34,7 +34,10 @@ We say that the `3 + 4` above is in *const context* and hence subject to CTFE, b
 Not all operations can be used in const context.
 For example, it makes no sense to compute your array length as "please go read that file from disk and compute something" -- we can't know what will be on the disk when the program actually runs.
 We could use the disk of the machine compiling the program, but that does not sound very appearling either.
 Not all operations can be used in const context.
 For example, it makes no sense to compute your array length as "please go read that file from disk and compute something" -- we can't know what will be on the disk when the program actually runs.
 We could use the disk of the machine compiling the program, but that does not sound very appearling either.
-In fact, it would also be grossly unsafe:
+Things get even worse when you consider letting the program send information to the network.
+Clearly, we don't want CTFE to have actually observable side-effects outside of compilation.
+
+In fact, just naively letting programs read files would also be grossly unsafe:
 When computing the length of an array twice, it is important that we obtain the same result.
 
 > *CTFE must be deterministic.*
 When computing the length of an array twice, it is important that we obtain the same result.
 
 > *CTFE must be deterministic.*