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 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 ]

There are no comments on this comment yet.