User loginNavigation |
Resources 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? By Jon Purdy at 2016-11-09 05:04 | LtU Forum | previous forum topic | next forum topic | other blogs | 6394 reads
|
Browse archivesActive forum topics |
Recent comments
1 day 4 hours ago
1 week 8 hours ago
1 week 4 days ago
2 weeks 4 days ago
2 weeks 6 days ago
2 weeks 6 days ago
2 weeks 6 days ago
3 weeks 6 days ago
4 weeks 3 days ago
4 weeks 4 days ago