Being a programmer is all about taking everything to its most absurd logical conclusion because you know some other idiot will
-
Show this thread
-
The other idiot is also you
2 replies 19 retweets 53 likesShow this thread -
"This function completely breaks if I give it these inputs" "But who's actually going to do that?" "Well, me, for one"
2 replies 7 retweets 37 likesShow this thread -
Replying to @qntm @uncreativecat
this is exactly why I spend so much time making invalid states irrepresentable at the type level.
1 reply 0 retweets 1 like -
Replying to @hikikomorphism @uncreativecat
I think database administrators call this "normalization"
1 reply 0 retweets 2 likes -
Replying to @qntm @uncreativecat
even simple stuff like making optional values `Maybe`, using `NonEmptyList` instead of `List` where appropriate, etc pay real dividends
1 reply 0 retweets 0 likes
Replying to @hikikomorphism @uncreativecat
This is the highest, holiest purpose of type systems
4:12 PM - 5 Oct 2017
1 reply
0 retweets
2 likes
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.