[Haskell-cafe] Re: [Haskell] Compiler Construction course using
dons at galois.com
Wed Aug 20 14:26:34 EDT 2008
Similar course at UNSW,
type checker, type inference and interpreter + proofs.
> Hi Johannes,
> There is a similar course in Chalmers. The home page is here:
> There students were required to implement full parser, partial
> typechecker and partial interpreter for C++ in either C++, Java or
> Haskell. We used BNFC for the parser:
> which was easier for most students I think. In any way I would
> recomend Happy+Alex or BNFC instead of Parsec but this is only my
> personal preference.
> Best Regards,
> 2008/8/20 Johannes Waldmann <waldmann at imn.htwk-leipzig.de>:
> > Hello.
> > I plan to give a course in compiler construction,
> > using Haskell as the implementation language
> > (not as source or target language).
> > Something along these lines:
> > 1. combinator parsers (Parsec),
> > 2. simple interpreter (arithmetical expressions)
> > 3. add algebraic data types, functions
> > 4. type checker
> > 5. code generator.
> > Ideally, 2..5 would be using the very same tree traversal code
> > and just change the monad for evaluation.
> > Any comments appreciated. Have you given such a course? Taken?
> > If I really decide to do it,
> > then slides (in German) will be made available.
> > Best regards, J.W.
> > _______________________________________________
> > Haskell mailing list
> > Haskell at haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe