[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-cafe
Subject:    [Haskell-cafe] Unification of PolyTypeable TypeReps ?
From:       Ismael Figueroa Palet <ifigueroap () gmail ! com>
Date:       2012-05-30 12:27:34
Message-ID: CA+0J_+SjL06eW_Lh7keWv-_ExtfzD6e25pusXTWmnq8FmpX0uA () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


Hi haskell-cafe

In my current project I'm working with type representations created with
PolyTypeable, and it turns out that given two type representations I need
to find out if they are unifiable.
I've looked at polytypeable-utils and see that they have some functions for
substituting/applying/free vars, but it doesn't seem like a full solution
for what I need.

So my question is: is there a library to do this? is there a known way to
transform the TypeRep's to make them more amenable to other unification
libraries. I noticed that in GHC-api there is an unification library, and
that there is also unification-fd. I wanted to ask here first in case
someone can point me to the right direction.

Thanks!
-- 
Ismael

[Attachment #5 (text/html)]

Hi haskell-cafe<div><br></div><div>In my current project I&#39;m working wi=
th type representations created with PolyTypeable, and it turns out that gi=
ven two type representations I need to find out if they are unifiable.</div=
>
<div>I&#39;ve looked at polytypeable-utils and see that they have some func=
tions for substituting/applying/free vars, but it doesn&#39;t seem like a f=
ull solution for what I need.</div><div><br></div><div>So my question is: i=
s there a library to do this? is there a known way to transform the TypeRep=
&#39;s to make them more amenable to other unification libraries. I noticed=
 that in GHC-api there is an unification library, and that there is also un=
ification-fd. I wanted to ask here first in case someone can point me to th=
e right direction.</div>
<div><br></div><div>Thanks!<br>-- <br>Ismael<br><br>
</div>


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


[prev in list] [next in list] [prev in thread] [next in thread]