Defunctionalization in a Functional Language with Ayaz Hafiz
Software Unscripted
00:00
The Role of Lambda Sets in the Type System
Lambda sets behave not unlike structurally typed polymorphic variance. Lambda sets can also be recursive. You have to design a good system of type inference around it. It's not very easy, I'll tell you from experience. These things are very pervasive in a specific way.
Transcript
Play full episode
