On 2/27/07, skaller <[EMAIL PROTECTED]> wrote: > Another side to this is that the C++ community has been totally > unresponsive, if not actively opposed (moderators actually > blocked some of my news articles).
IMHO C++ is the wrong target audience. Many (though certainly not all) users use it simply because it's C++, not because it has templates/objects/etc. Those who will appreciate the benefits Felix has to offer would be found more easily in the ranks of users of ML and compiled Scheme/Lisp variants, who use those languages precisely because they want an efficient high-level multiparadigm language. > The compiler handles most of the basic code ok (barring some > correctable bugs), but is GADT's are applying some strain to the > type system, and typeclasses to the optimiser. Felix has GADTs?! (I'm not really familiar with GADTs but I presume this is what type functions accomplish?) > I doubt I can do this without both a serious theoretician providing > the theory (by which I mean *specifications* :) and another > compiler writer. For example the builtin lexer could be replaced > by one that handles substitutions: the code to do this is actually > in the repository already (stolen from Ocaml), but I don't > understand it, and it needs to be rewritten for licencing reasons. > Papers describe the algorithm for NFA but not DFA construction, > but they're very hard to read because they user weird maths > instead of programming terminology (mathematicians don't > like mutable arrays .. so they're modelled with a HOF which > makes the paper almost impossible to read). Hold off on this for about a week... right now I'm taking a course on automata so this stuff is fresh in my head. I read Laurikari's paper and it seemed to make sense to me so I embarked on writing a regexp -> NFA -> DFA converter in O'Caml. It's about half done and is very modular (functors everywhere :)) so it should be able to be either dropped into Felix directly or you could use it as a reference. The only reason I'm not basing it on the extant Felix converter is to make a learning experience for myself but I glanced at the code you wrote and it seems similar enough to what I have so far. - Chris ------------------------------------------------------------------------- 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 Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
