Arc Forumnew | comments | leaders | submitlogin
1 point by akkartik 3025 days ago | link | parent

Hmm, I hadn't considered renaming iso to is. wart still calls it iso; is no longer exists. (Since it's built atop Common Lisp you can just use eq when you truly need it.)

I like the name iso. is raises philosophical questions about what makes two things equal. iso neatly sidesteps them by evoking the precise image of structural equality.

---

The original discussion that led to the id idea: http://arclanguage.org/item?id=13690



1 point by rocketnia 3025 days ago | link

"Hmm, I hadn't considered renaming iso to is ."

Oh, oops. Sorry! XD I guess I figured that the name 'is is so good that something oughta use it. And for some reason, I'm not currently concerned that the name "is" should be restricted to the most picky kind of equality operator (as I was in that thread).

---

"iso neatly sidesteps them by evoking the precise image of structural equality."

Right now, I don't believe the purpose of 'iso is very precise either. I think a type's designer should extend 'iso with whatever makes intuitive sense for that type, just as long as it's still an equivalence relation. Guess I'm in an informal mood.

-----

1 point by Pauan 3025 days ago | link

But but but, `is` is one less character! :P

https://convore.com/arc-runtime-project/rename-acons-to-cons...

-----