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
1 day 15 hours ago
1 day 19 hours ago
1 day 19 hours ago
22 weeks 3 days ago
26 weeks 4 days ago
28 weeks 2 days ago
28 weeks 2 days ago
30 weeks 6 days ago
35 weeks 4 days ago
35 weeks 4 days ago