polymorphism
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Functor implementing polymorphic module type... Help! |
|
12 | 222 | September 9, 2020 |
| Filtering constructors by type variable (GADTs + polymorphic variants) |
|
7 | 421 | August 7, 2020 |
| Protocol buffers and parametric polymorphism |
|
2 | 266 | June 23, 2020 |
| How to cause functor types to "inherit" their elements' polymorphic variant subtyping relations |
|
5 | 695 | May 24, 2019 |
| Keeping polymorphism of universally quantified fields |
|
5 | 499 | March 28, 2019 |
| Arbitrary polymorphic variants as parameters |
|
5 | 599 | March 25, 2019 |
| How to "merge" unknown tuples? |
|
7 | 1477 | August 16, 2018 |