On Fri, 2007-02-23 at 15:24 +0100, Nicolas Pouillard wrote: > - Towards efficient, typed LR parsers: > http://cristal.inria.fr/~fpottier/publis/fpottier-regis-gianas-typed-lr.pdf
Haskell 6.4 has GADTs already and Ocaml will have them soon? Hmm .. ahh .. the key statement here says that tags of conventional constructors are stored physically in the variant object, but with a pushdown automaton the variant is already encoded in the automaton state variable, so the automaton state and stack cell variant tag are related. GADTs allow that relationship to be captured in a constraint which can be used to remove the redundant information. -- John Skaller <skaller at users dot sf dot net> Felix, successor to C++: http://felix.sf.net ------------------------------------------------------------------------- Take Surveys. Earn Cash. Influence the Future of IT Join SourceForge.net's Techsay panel and you'll get the chance to share your opinions on IT & business topics through brief surveys-and earn cash http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV _______________________________________________ Felix-language mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/felix-language
