[Haskell-cafe] Re: [Haskell] Compiler Construction course using Haskell?

[Don Stewart]

Similar course at UNSW,

    http://www.cse.unsw.edu.au/~cs3161/

type checker, type inference and interpreter + proofs.

kr.angelov:
> Hi Johannes,
> 
> There is a similar course in Chalmers. The home page is here:
> 
> http://www.cs.chalmers.se/Cs/Grundutb/Kurser/progs/current/
> 
> 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:
> 
> http://www.cs.chalmers.se/Cs/Research/Language-technology/BNFC/
> 
> 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,
>   Krasimir
> 
> 
> 
> 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
> http://www.haskell.org/mailman/listinfo/haskell-cafe