>they are definitely not the same function This depends on what equivalence you'... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		sjolsen on June 26, 2015 \| parent \| context \| favorite \| on: The Algebra of Algebraic data types >they are definitely not the same function This depends on what equivalence you're using, and the only one in which it's true (definitional equality) isn't very interesting. Extensionally, the functions are identical.

bweitzman on June 26, 2015 [–]

Ignoring, bottom, the functions arguably have no extensionality, and therefore are only vacuously equivalent in that sense.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact