On: Why Lisp is a Big Hack (And Haskell is Doomed to S...

[kleiba]

That would be awesome! Perhaps we could have an animated character have that conversation with us... how about an intelligent paperclip or something?!

Wouldn't programming become so cool!?!!

[jaekwon → kleiba]

I hope in 20 years we look back and say 'duh, of course'. And yeah, it would be so cool.

[thesz → jaekwon]

I feel like I should introduce you to Agda2: http://wiki.portal.chalmers.se/agda/pmwiki.php

You write something, Agda2 checks it and says that you forget something, you wrote an inconsistent code or you wrote ambiguous code (it is possible to hide some parts of code).