[Haskell] Semantics of Haskell
till at informatik.uni-bremen.de
Tue Jan 25 08:36:36 EST 2005
My statement was just:
There are several papers on the semantics of Haskell, but none of these papers
treats recursive datatypes. I am looking for a treatment of the semantics of
recursive datatypes in Haskell, preferably by translation to known meta-languages
like FPC or system F.
Keean Schupke wrote:
>> When I looked through several papers about Haskell semantics, I found
>> recursive datatypes have been omitted.
> I believe fairly strong reasons have been given why this would be a bad
> thing, and
> would result in problems for type-inference. Haskell has iso-revursive
> types, which if
> defined using the 'newtype' directive should have no run-time cost.
Till Mossakowski Phone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen till at tzi.de
P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till
More information about the Haskell