Schlagwort: Programmieren

Runless.

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

Zombie Code.

Most surprisingly, dead code may affect the result of the program -- even though it is not even executed.

Oleg Kiselyov: Type inference and the undead code

Rationalität statt Raserei.

Move at an appropriate speed and make things work.

Charlie Owen: Dear Developer, the Web isn't about you.

Viruss.

If you have bugs, please call me and don't stress for it!
I will back laler!

Strezz

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.

John D. Cook, commenting on Joe Armstrong