i feel slightly bad for the earnest replies because i was makin' me a programming shitpost
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@odersky suggested "categorical programming" which I kind of like. -
https://www.vocabulary.com/dictionary/categorical … if someone accuses you of stealing their lunch and you give a categorical denial, it means "what's the problem"?pic.twitter.com/f1zf6zoOyS
End of conversation
New conversation -
-
-
I think “immutable programming” is more to the point, at least in terms of the benefits I get from it.
-
one part of the goodness is from expression-oriented (as opposed to statement-oriented) so we can use substitution reasoning. but I think the other part is getting better help from the type system to rule out previously undetected bad behavior like === vs ==, null vs Option, etc.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.