Gregory's Serverwoke: type systems are for safety
bespoke: type systems are for stimming
blake shaw 馃嚨馃嚫
4 comments
Digital Mark 位 馃摎 馃暪 馃捑 馃
@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.
blake shaw 馃嚨馃嚫
@mdhughes I don't think so at all. most of that is just the language of mathematics in the setting of programming.
Digital Mark 位 馃摎 馃暪 馃捑 馃
@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