26 Oct
2006
26 Oct
'06
5:05 p.m.
On 10/26/06, David Roundy
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