Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

How To Design Programs: Intensional vs. Extensional Equality

1 view
Skip to first unread message

John Clonts

unread,
Jun 13, 2000, 3:00:00 AM6/13/00
to
from htdp (
http://www.cs.rice.edu/CS/PLT/Teaching/Lectures/Released/Book/node217.htm
) :

"Scheme and many other languages typically provide built-in functions
for comparing two structural values extensionally and intensionally. The
corresponding functions in Scheme are eq? and equal?."

Shouldn't that be vice-versa, i.e.
extensionally --> equal?
intensionally --> eq?

Or else I'm just confused?

Thanks,
John

Shriram Krishnamurthi

unread,
Jun 13, 2000, 3:00:00 AM6/13/00
to
John Clonts <jcl...@mastnet.net> writes:

> "Scheme and many other languages typically provide built-in functions
> for comparing two structural values extensionally and intensionally. The
> corresponding functions in Scheme are eq? and equal?."
>
> Shouldn't that be vice-versa, i.e.
> extensionally --> equal?
> intensionally --> eq?

Yep.

'shriram

John Clonts

unread,
Jun 13, 2000, 3:00:00 AM6/13/00
to
from htdp (
http://www.cs.rice.edu/CS/PLT/Teaching/Lectures/Released/Book/node217.htm
) :

"Scheme and many other languages typically provide built-in functions


for comparing two structural values extensionally and intensionally. The
corresponding functions in Scheme are eq? and equal?."

Shouldn't that be vice-versa, i.e.
extensionally --> equal?
intensionally --> eq?

Or else I'm just confused?

Thanks,
John


0 new messages