Static Typing and Functional Languages

Re:Static Typing and Functional Languages by mahmud on Wednesday September 02, 2009 @07:14PM (#801342)

The article is very similar in spirit to my hit 2008 research paper "Forward Motion in Automobiles".

All kidding aside, he probably should have named the article "Static Type-checking in Lisp", and we would have still been just as unimpressed because he forgot to mention Qi; the single most innovative Lisp from the last 20 years.

http://en.wikipedia.org/wiki/Qi_%28programming_language%29

[ Parent | on HN ]

Re:Static Typing and Functional Languages by mgreenbe on Wednesday September 02, 2009 @10:54PM (#801670)

Or any of the other soft/partial/gradual typing work that's been ongoing since the 80s. Check out Jeremy Siek's papers on gradual typing for some of the latest. Also Tobin-Hochstadt and Felleisen's work on Typed Scheme.

On the one hand, this is ridiculous. On the other hand, I'm happy to see people outside of PL thinking about programming languages. There are a number of texts that can help a novice learn more about the topic, with Pierce's Types and Programming Languages being the foremost.

[ Parent | on HN ]

Re:Static Typing and Functional Languages by tnovelli on Thursday September 03, 2009 @04:38PM (#803490)

Interesting... I hadn't heard of Siek's work before. A link: http://ecee.colorado.edu/~siek/gradualtyping.html

[ Parent | on HN ]