All programs must have side effects to be useful — can we please stop repeating this awful lie? Side effects are great, but they must not be observable from within the program. It is same with pencil-and-paper: writing out a calculation shortens the pencil lead, but the calculation isn’t affected by that. If you believe programs can be proofs, you canno…
Keep reading with a 7-day free trial
Subscribe to Type Classes to keep reading this post and get 7 days of free access to the full post archives.