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

Pasqualino 'Titto' Assini tittoassini at gmail.com
Thu Jun 21 03:22:19 EDT 2007

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?



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)

More information about the Haskell-Cafe mailing list