Re: Glasgow haskell vs. Lispworks

Paul Rubin wrote:
Well, these like identity and equality are only meaningful within the
language semantics. In a pure FPL, two expressions have the same
identity if the denote the same value. Memory locations may be part
of the implementation but aren't in the language semantics.

Does that not have a grave cost in terms of memory consumption?

Otherwise constant integers could change their identity every time the GC
moved them.

OCaml has that behaviour:

# 3l == 3l;;
- : bool = false

--
Dr Jon D Harrop, Flying Frog Consultancy
OCaml for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists/?usenet
.