As I spend my Saturday night proving properties of the type system for an imperative programming language, my main takeaway is that imperative languages were a terrible mistake and should be banned
-
-
Replying to @geoffreylitt
Does this mean you've caught the functional bug?
1 reply 0 retweets 0 likes -
Replying to @mapeabody
that would be an understatement :) This class is all in Haskell/OCaml/Coq, but includes using those beautiful functional tools to study ugly imperative languages...
2 replies 0 retweets 1 like -
Replying to @geoffreylitt
what's the course #/webpage? would love to peek at the material!!
1 reply 0 retweets 0 likes -
Replying to @maxkriegers
Geoffrey Litt Retweeted Geoffrey Litt
Geoffrey Litt added,
1 reply 0 retweets 1 like
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.