User loginNavigation 
Resources for implementing higherkinded 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 tutorialstyle resources or sample implementations of this? I’ve read that higherorder 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 20161109 05:04  LtU Forum  previous forum topic  next forum topic  other blogs  3441 reads

Browse archivesActive forum topics 
Recent comments
48 min 2 sec ago
3 hours 36 min ago
5 hours 35 min ago
6 hours 35 min ago
1 day 11 hours ago
1 day 14 hours ago
2 days 16 hours ago
2 days 23 hours ago
3 days 58 min ago
3 days 1 hour ago