RTTI in Haskell Re[2]: [Haskell-cafe] To yi or not to yi, is this really the question? A plea for a cooperative, ubiquitous, distributed integrated development system.

Hello Tomasz, Thursday, June 21, 2007, 12:27:58 PM, you wrote:

I also find it hard to believe that most languages have reflection, especially those which are traditionally focused on efficiency and compilation to native code, like C, C++, Fortran, Pascal, etc.

for OOP languages, it is no problem to provide RTTI as part of Object interface (where Object is hierarchy base). to implement the same in Haskell, we need to make Typeable automatic father of any type class created Simon, can it be implemented in GHC? this should provide us advantages of dynamically-typed programming languages -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com