Re: Glasgow haskell vs. Lispworks

Joachim Durchholz wrote:
Rainer Joswig schrieb:
* "foo" and "foo", same strings ?

are these really the same objects?

That depends on whether you want equality or identity.

Observationally, A is identical to B if both are equal and remain equal
under any change to A. If I can't change A, equality implies identity...

Surely two different expressions can evaluate to equal values that are
distinct in memory (not identical)?

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

Relevant Pages

  • Re: Glasgow haskell vs. Lispworks
    ... : bool = false ... Note that this is about identity and not equality: ... OCaml for Scientists ...
    (comp.lang.functional)
  • Re: beginning with ML
    ... Equality tests can't loop. ... This is a minor niggle but the OCaml solution seems more elegant to me. ... Sparc) and many different OSs (multiple BSD flavours, Linux, Windows ...
    (comp.lang.functional)
  • Re: Comment: Creationism doesnt measure up to science.
    ... one of those ideals is equality. ... appear to be near or far from the truth based on the evidence. ... supernatural causation do not count as evidence in science. ... Some so-called "scientists" have broached the idea that ...
    (talk.origins)
  • Re: Glasgow haskell vs. Lispworks
    ... Jon simply has been using the object identity instead of value ... The equality on objects is said to be object ... and OCaml has a copying collector, so there is no physical total order ... Dr Jon D Harrop, Flying Frog Consultancy ...
    (comp.lang.functional)
  • Re: sml & printf & ~
    ... Doesn't OCaml have SML's equality sans equality ... you cannot easily translate use of equality from SML to OCaml. ...
    (comp.lang.functional)