4 ms·
>> a free theorem is when you can say something that is always true about a function machine if you only know its type, but you don’t know anything about what i
by maze-le 6y ago
>> a free theorem is when you can say something that is always true about a function machine if you only know its type, but you don’t know anything about what it does on the inside.” This seemed a bit beyond him...
To be fair, this is a bit beyond most who had no contact with functional programming and category theory.
- sfvisser 6y agoHas nothing to do with category theory. Not necessarily at least. Also, there is a strong intuition to free theorems that many people without an FP background will easily understand.