User loginNavigation |
archivesResources for implementing higher-kinded types?I’m working on a language and I would like to implement polymorphism over type constructors (for functor, applicative, monad, etc.) but I’m uncertain how to proceed. Can anyone recommend tutorial-style resources or sample implementations of this? I’ve read that higher-order unification is involved, and that inference is undecidable without certain restrictions. Is that accurate? Would it be difficult to retrofit a (more or less) standard implementation of Hindley–Milner? |
Browse archivesActive forum topics |
Recent comments
4 days 4 hours ago
4 days 8 hours ago
4 days 8 hours ago
22 weeks 5 days ago
27 weeks 11 hours ago
28 weeks 4 days ago
28 weeks 4 days ago
31 weeks 2 days ago
35 weeks 6 days ago
35 weeks 6 days ago