27 Oct
2006
27 Oct
'06
5:05 a.m.
On 10/26/06, David Roundy <droundy@darcs.net> wrote:
In case I've been too vague, what I mean is that I'd like it if one could ensure that code such as
withFile "filename" ReadMode return >>= hGetContents
statically fails
That's what linear types (e.g. Clean's uniqueness types) are for. You could use some kind of phantom type thing, but what if multiple files are in use? It could get really ugly at the type level. -- Taral <taralx@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem