|
Could functors be more like functions?
|
|
14
|
2486
|
July 26, 2025
|
|
Recursive functor module type
|
|
1
|
137
|
December 4, 2024
|
|
Properly "include" modules?
|
|
9
|
346
|
September 5, 2024
|
|
Splitting submodules with Dune
|
|
5
|
392
|
August 12, 2024
|
|
Good examples of the value of functors, in terms of expressivity
|
|
3
|
528
|
July 16, 2024
|
|
Functors for library configuration
|
|
2
|
197
|
July 15, 2024
|
|
Troubles using a simple functorised module for a list type
|
|
5
|
320
|
June 23, 2024
|
|
Is there a way to have an unreferenced module in functor definition without the warning?
|
|
3
|
332
|
April 1, 2024
|
|
Getting Warning 32 [unused-value-declaration] in functor declaration
|
|
1
|
387
|
February 25, 2024
|
|
Draft tutorials on Modules, Functors and Libraries
|
|
10
|
1326
|
December 24, 2023
|
|
Reducing duplicate code in modules with parameterized type
|
|
3
|
523
|
November 18, 2023
|
|
Type substitution inside a functor
|
|
2
|
494
|
March 18, 2023
|
|
Swapping between different implementations of a signature
|
|
3
|
501
|
February 7, 2023
|
|
Module types, functors and types
|
|
2
|
531
|
January 17, 2023
|
|
Self-referential first-class modules in functor signature
|
|
1
|
567
|
December 3, 2022
|
|
GADT + functor : a type variable cannot be deduced
|
|
2
|
709
|
October 17, 2022
|
|
Functor with an unknown type in its first-class module
|
|
3
|
930
|
April 8, 2022
|
|
First class module signature mismatch
|
|
3
|
1368
|
December 28, 2021
|
|
Functor trouble -- How to organize functor-heavy code?
|
|
18
|
4045
|
December 14, 2021
|
|
Implementation of Functors
|
|
5
|
843
|
November 12, 2021
|
|
Question on the grammar of functor
|
|
6
|
1023
|
July 22, 2021
|
|
Using generic function return values in functors
|
|
7
|
1818
|
July 13, 2021
|
|
Type abstraction with functor alarms type error
|
|
8
|
1170
|
March 23, 2021
|
|
Use of functors to approximate F# statically resolved type parameters
|
|
3
|
1951
|
November 5, 2020
|
|
Rehabilitating packs using functors and recursivity, part 2
|
|
0
|
1130
|
September 30, 2020
|
|
Rehabilitating Packs using Functors and Recursivity
|
|
0
|
1128
|
September 24, 2020
|
|
Combining independent extension functors
|
|
5
|
869
|
September 23, 2020
|
|
Functor implementing polymorphic module type... Help!
|
|
11
|
2124
|
September 9, 2020
|
|
Can you factorize this code more?
|
|
13
|
977
|
May 15, 2020
|
|
Attempting to create 'recursion schemes' in ocaml
|
|
3
|
2205
|
February 19, 2020
|