> > I also think its neat that you seem to have found a use for cyclic
> > unification. This is definitely an impetus to extend the language to
> > include cyclic types. (I don't expect we'll do this for a while
> > though. You might consider modifying the Glasgow Haskell compiler to
> > includ
> a)). Mycroft first suggested a type system that would allow such
> functions to be typed, but I think it is still an open question as to
> whether an inference algorithm exists for the type system. (There was
> a paper published that claimed an algorithm, but it was later withdrawn
> as incorr
> I also think its neat that you seem to have found a use for cyclic
> unification. This is definitely an impetus to extend the language to
> include cyclic types. (I don't expect we'll do this for a while
> though. You might consider modifying the Glasgow Haskell compiler to
> include this you
> Apart from the implementation (which doesn't seem to be a problem if
> the right alg. is used[*]) does anyone know of more subtle problems with
> cyclic types [such as not being able to define the type system using
> the traditional sequent style]? Is this a well-studied area?
>
The only probl
> Date: Fri, 26 Feb 1993 15:52:38 GMT
> From: [EMAIL PROTECTED]
> Subject: Re: Stupid Haskell question
>
> Apart from the implementation (which doesn't seem to be a problem if
> the right alg. is used[*]) does anyone know of more subtle problems with
>
Guy, You write,
But now suppose that some of the annotations refer to FooTree items
(another thing I forgot to say). I suppose I could do
data FooTree a b = Leaf b | Node a (FooTree a b)
a (FooTree a b)
Guy S., Phil W.,...
I ran into exactly this problem in two different applications.
The first was the same that Guy S. points out, namely adding
arbtrirary but well-typed annotations to a parse-tree. The solution I
eventually ended up using (after di
Given your correction, I think that the type declaration
data FooTree a b = Leaf b | Node a (FooTree a b) a (FooTree a b)
will handle things only a little less neatly than the use of
wrappers, and will allow you to use type inference in much the
way you wish. What do you think? Cheers, --
Guy,
I agree that the report should be updated to express the restriction we
really have in mind. Simon: as editor, this is your bailiwick!
I also think its neat that you seem to have found a use for cyclic
unification. This is definitely an impetus to extend the language to
include cyclic typ
Begin Included Message -
>From [EMAIL PROTECTED] Thu Feb 18 17:21:56 1993
From: Guy Steele <[EMAIL PROTECTED]>
Date: Thu, 18 Feb 93 12:20:44 EST
To: wadler <[EMAIL PROTECTED]>
Cc: [EMAIL PROTECTED]
Subject: Re: Stupid Haskell question
Cc: [EMAIL PROTECTED], [EMAIL PROTECTE
10 matches
Mail list logo
