Hi > there is no runtime representation of type available for programmatic > representation
Data.Typeable.typeOf :: Typeable a => a -> TypeRep > there is no runtime representation of the type-inferencing or checking > machinery Pretty much, no. The GHC API may provide some. > there is no runtime representation of the evaluation machinery Yhc provides some representation with the Yhc API. > there is no runtime representation of the lexical or parsing machinery lex provides some of this. There are various Haskell parsers out there in packages for us. I wouldn't have considered these things "reflection" - certainly the Java/C# use of the word reflection is quite different. Data.Generics does provide many of the reflection capabilities of Java. Thanks Neil _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe