Language design with Leo White
Signals and Threads
00:00
Ad Hoc Polymorphism in Languages of the Module System
A good example of a language feature that would not work in a module system, there would be Haskell's type classes. These are systems for doing ad hoc polymorphism when you have a single function that you would like to work on multiple types. But it's a very kind of anti-modular feature. There has to be just one place where you've written this is how addition works on integers.
Transcript
Play full episode
