On Wed, Apr 11, 2012 at 8:14 AM, Viktor Cerovski <viktor.cerov...@gmail.com> wrote: > type information is not stored anywhere, at least not in J/Haskell/LISP.
Type information is stored somewhere, in any computer language implementation that deals with the storage of different types of information. It might be stored in different ways, in different contexts, but the fact that the different types of information can be stored means that the aspect which represents type is represented, somehow. Type information might be stored in the structure of the code (this corresponds, roughly, to certain values of the program counter, for duration of time when the machine code representation is constant). Type information might be stored in specific bits in memory. Type information might be factored into the representation of the program in other fashions. But it's stored. -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
