A proof assistant is what happens if you spend all your time developing a type checker for your language and forget that programs also need to be run.
Vladislav Zavialov: Why Dependent Haskell is the Future of Software Development
Schlagwort: Programmieren
Runless.
Zombie Code.
Most surprisingly, dead code may affect the result of the program -- even though it is not even executed.
Rationalität statt Raserei.
Move at an appropriate speed and make things work.
Fjuncgle.
If you want to reuse (or test) a functional banana, you don’t have to set up a stateful gorilla to hold the banana first.