intensional equality explained in plain c
Oct. 9th, 2015 03:55 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
juan_gandhihttps://www.cs.princeton.edu/~appel/papers/conteq.pdf
(That's what I was talking about when I was talking about the difference between
Big thanks to![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
thedeemon, see http://thedeemon.livejournal.com/104205.html
(That's what I was talking about when I was talking about the difference between
AB, the 'type of all functions', where equality, if given, is extensional, and Hom(A,B), where equality is intensional, they are just arrows in a certain category, and, for practical purposes, are identifiable library functions (or their combinations in expressions).Big thanks to
thedeemon, see http://thedeemon.livejournal.com/104205.html
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2015-10-10 01:01 am (UTC)