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

[Pasqualino 'Titto' Assini]

Hi Bulat,

do you mean that as the type information is used only at compilation time and 
then thrown away there is no way of getting it back at execution time?

best,

    titto

On Wednesday 20 June 2007 16:33:12 Bulat Ziganshin wrote:
> 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)