Abstraction and Learning with Runar Bjarnason
CoRecursive: Coding Stories
00:00
Is There a Difference Between a Type and a Function?
To figure out if two types are the same, actually means figuring out if any two functions are equivalent. So that gets into notions of extentional versus intentional equality. The idea is that you should be able to distribute implementations unambiguously. Once somebody has discovered a function, it's sortof like always there. Is like discovering, you know, a new star in the sky or something,. You know, lik it has like an unambiguous place in thi space.
Play episode from 38:59
Transcript
