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

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.