Partial functions are the antithesis of this concept. They allow you to say "yeah dude, I can totally give you the first value in an empty list." Partial functions are like politicians: you can tell they're lying because their lips are moving. ("But Michael," you say. "Functions don't have lips!" Whatever, I'm waxing poetical.)
Alright, so plenty of languages screw this up. Haskell tells those languages "hold my beer."
Schlagwort: Programmieren
Partial Politics.
Gender Doom.
I hate it when people exploit memory bugs in my gender destruction functions and sideload Doom into my gender.
Excel lent.
When the persons after Jan are suddenly called Feb and Mar, and when genes need to be renamed, then maybe, just maybe, we should reevaluate the software we are using?
Formalities.
Expect lots of weird symbols and stuff, as the project is on formal logic. 😉