Gregory's Serverwoke: type systems are for safety
bespoke: type systems are for stimming
 4 comments
 @rml You know when the religious types get all hyper and start speaking in tongues and dancing around at the magical touch of Jesus? That's how any heavy-duty Haskell/ML stuff sounds to me. @mdhughes I don't think so at all. most of that is just the language of mathematics in the setting of programming. @rml That's also somewhat how I feel about mathematics, but at least they're usually able to write case-point proofs. Haskellers write screeds where the holy monoid in the category of endofunctors will save their souls and prove their programs correct (but actually just "prove" that A=A). I never see productive solutions to real problems from them. |
@rml the sweet tickle of a well tuned expressive type assertion