[Haskell-cafe] Reification in Haskell, was: To yi or not to yi

[Bulat Ziganshin]

Hello Pasqualino,

Wednesday, June 20, 2007, 11:30:32 AM, you wrote:

>> > Most languages, even Java, have a reflection capability to dynamically
>> > inspect an object. It is surprising that Haskell doesn't offer it.

how about asm? :)  there are no OOP objects in Haskell, each name is
just an address of memory area. all operations are checked statically
(at compile time). reflection capabilities may be only handmade - you
can get any type info via hidden class dictionary (see
http://homepages.inf.ed.ac.uk/wadler/papers/class/class.ps.gz for
details of type classes implementation)


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com