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  4376 reads

Browse archivesActive forum topics 
Recent comments
1 hour 30 min ago
7 hours 24 min ago
1 day 10 min ago
1 day 9 hours ago
1 day 20 hours ago
1 day 21 hours ago
1 day 21 hours ago
1 day 22 hours ago
1 day 22 hours ago
2 days 1 hour ago