Not surprisingly, I have written such a thing. It's not complete, but I think unification is done properly. The setting is optimality theoretic LFG, but the unification is pretty standard. I don't know if you'll find it useful, but all the code can be grabbed from http://www.isi.edu/~hdaume/ot.tar.gz. It includes the source, some tests, some OT features, an incomplete chart parser (oh well) and, of course, a feature structure implementation. -- Hal Daume III "Computer science is no more about computers | hdaume@isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume On Wed, 20 Nov 2002 Markus.Schnell@infineon.com wrote:

Has anybody tried to implement (typed) feature structures in Haskell with unification?

I'm trying to build my own library, but if there is already support for it, I would consider using this alternative.

Thanks, Markus

-- Markus Schnell Speech Interface Group, Infineon Technologies AG Tel +49 (89) 234-20875, Fax +49 (89) 234-21670

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