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 | [EMAIL PROTECTED] than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume On Wed, 20 Nov 2002 [EMAIL PROTECTED] 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 > [EMAIL PROTECTED] > http://www.haskell.org/mailman/listinfo/haskell > _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
