Reducing duplicate code in modules with parameterized type
|
|
3
|
255
|
November 18, 2023
|
Type substitution inside a functor
|
|
4
|
304
|
March 18, 2023
|
Swapping between different implementations of a signature
|
|
3
|
334
|
February 7, 2023
|
Module types, functors and types
|
|
2
|
409
|
January 17, 2023
|
Self-referential first-class modules in functor signature
|
|
1
|
383
|
December 3, 2022
|
GADT + functor : a type variable cannot be deduced
|
|
2
|
442
|
October 17, 2022
|
Functor with an unknown type in its first-class module
|
|
3
|
660
|
April 8, 2022
|
First class module signature mismatch
|
|
3
|
1042
|
December 28, 2021
|
Functor trouble -- How to organize functor-heavy code?
|
|
18
|
2831
|
December 14, 2021
|
Implementation of Functors
|
|
5
|
650
|
November 12, 2021
|
Question on the grammar of functor
|
|
6
|
776
|
July 22, 2021
|
Using generic function return values in functors
|
|
7
|
1375
|
July 13, 2021
|
Type abstraction with functor alarms type error
|
|
8
|
985
|
March 23, 2021
|
Use of functors to approximate F# statically resolved type parameters
|
|
3
|
1710
|
November 5, 2020
|
Rehabilitating packs using functors and recursivity, part 2
|
|
0
|
1001
|
September 30, 2020
|
Rehabilitating Packs using Functors and Recursivity
|
|
0
|
982
|
September 24, 2020
|
Combining independent extension functors
|
|
5
|
693
|
September 23, 2020
|
Functor implementing polymorphic module type... Help!
|
|
11
|
1449
|
September 9, 2020
|
Can you factorize this code more?
|
|
13
|
754
|
May 15, 2020
|
Attempting to create 'recursion schemes' in ocaml
|
|
3
|
1815
|
February 19, 2020
|
Combining functors for modules that extend a base module type
|
|
2
|
1044
|
February 1, 2020
|
Single-function functors or first-class modules in function arguments?
|
|
0
|
1186
|
November 28, 2019
|
Natural transformation for free selective applicative
|
|
1
|
815
|
October 30, 2019
|
Correct way to reference module.t
|
|
3
|
768
|
September 27, 2019
|
Is it possible to constrain a functor module parameter in this case?
|
|
2
|
902
|
September 7, 2019
|
Containers interface & Passing constraints through functors
|
|
9
|
1432
|
July 3, 2019
|
How to specialize `Core.Map` to a `Map (K) (V)` functor?
|
|
4
|
1215
|
June 1, 2019
|
Extending recursive functors
|
|
4
|
1502
|
January 12, 2019
|
Could functors be more like functions?
|
|
12
|
1899
|
December 19, 2018
|
Functorizing a library
|
|
0
|
871
|
December 18, 2018
|