When you realize you've gone without coffee for a decade because you couldn't handle the milk in it.
@GarrettAdamPeck @bethmaru Hindley-Milner type inference is enough constraint for me for now, thanks. https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner …
-
-
@avibryant Great. Now I have to spend the day down the Wiki hole trying to figure out what parametric polymorphism and lambda calculus are. -
@GarrettAdamPeck that'll lead you to Hilbert's Entscheidungsproblem, and thence to Gödel incompleteness, and then...
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.