Hi Joel, You may like to check out my mini-interpreter called (cheekily) baskell:
http://www.cs.mu.oz.au/~bjpop/code.html It has type inference, and it is pretty straightforward. I wrote it for teaching purposes. First, I pass over the AST and generate a set of typing constraints. They are just equality constraints. Then I solve the constraints. Couldn't be much simpler than that. Mind you, the input language is pretty minimal (no type classes etcetera). Cheers, Bernie. > -----Original Message----- > From: [EMAIL PROTECTED] [mailto:haskell-cafe- > [EMAIL PROTECTED] On Behalf Of Joel Reymont > Sent: 12 April 2007 13:04 > To: Haskell Cafe > Subject: [Haskell-cafe] Type checking with Haskell > > Folks, > > The ghc/compiler/typecheck directory holds a rather large body of > code and quick browsing through did not produce any insight. > > How do you implement type checking in haskell? > > Assume I have an Expr type with a constructor per type and functions > can take lists of expressions. Do I create a function taking an Expr, > pattern-matching on appropriate constructor and returning True on a > match and False otherwise? > > Thanks, Joel > > -- > http://wagerlabs.com/ > > > > > > _______________________________________________ > Haskell-Cafe mailing list > [EMAIL PROTECTED] > http://www.haskell.org/mailman/listinfo/haskell-cafe _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe