Uniqueness types for Haskell?
10 Sep
2005
10 Sep
'05
1:03 p.m.
After looking at the language Clean (http://www.cs.ru.nl/~clean/) I wonder why there does not seem to be the desire to integrate uniquness typing into Haskell. Any ideas, pointers, comments? -- Chris Stork <> Support eff.org! <> http://www.ics.uci.edu/~cstork/ OpenPGP fingerprint: B08B 602C C806 C492 D069 021E 41F3 8C8D 50F9 CA2F
10 Sep
10 Sep
1:17 p.m.
Any ideas, pointers, comments? Hacle: http://www-users.cs.york.ac.uk/~mfn/hacle/
It transforms from Haskell to Clean, so I would have thought it has a transformation to convert certainly the IO Monad to uniqueness types. Neil
7657
Age (days ago)
7657
Last active (days ago)
1 comments
2 participants
participants (2)
-
Christian Stork -
Neil Mitchell