Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Haskell can't prove shit

Name: Anonymous 2016-09-17 21:39

Its type system is unsound and self-contradictory, as proven by Oleg Kiselyov himself. Rekt, bitches! Go back to writing C and Lithp.

http://okmij.org/ftp/Haskell/impredicativity-bites.html

Name: Anonymous 2016-09-18 10:51

This may sound odd, but I think my dog is Gerald Jay Sussman. It all started when I came home from work one day to find my computer with Emacs running with lisp.; Odd because I turn my computer off when I leave for work. The next I came home, my computer was off, but my dog was on my couch reading SICP. I swear, he was lying there with the book open. I don't even own a copy. I took it from him and he tried to bite me. A few days later, I got a letter in my mail sent to Gerald Jay Sussman. Some university wanting him to teach a class on lisp. Another strange thing, is that when he barks, it almost sounds like he's yelling 'cudder' for some odd reason. He also somehow burned a CD with 'We conjure the spirits of the computer with our spells' song. When ever I have to take him in the car he has to play it. Can someone help me?

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List