News for hackers. Stuff that matters.

A comment on Loren Segal: Too Lazy to "Type". Parent comment

Re:Loren Segal: Too Lazy to "Type" by thesz on Tuesday December 14, 2010 @05:13AM (#2003740)
I once read lispers discussion on Qi language. One (actual) Qi user told us that he managed to prove that number 42 has type String.

This is the price of optional typings. It leave random holes in your program.

[ Parent | on HN ]
Re:Loren Segal: Too Lazy to "Type" by jamii on Wednesday December 15, 2010 @02:42AM (#2007387)
This paper presents an optional type system where type errors can only occur in the untyped sections:

http://homepages.inf.ed.ac.uk/wadler/papers/blame/blame-sche...

[ Parent | on HN ]