Mismatched types between customized compilation units
|
|
7
|
191
|
March 5, 2024
|
Generic Module Signatures
|
|
4
|
300
|
March 1, 2024
|
What is an unsafe functor?
|
|
6
|
350
|
February 29, 2024
|
Generalised abstract data types, phantom types and modules
|
|
2
|
164
|
February 28, 2024
|
Qualified imports in OCaml are possible but why aren't they used more?
|
|
7
|
1740
|
January 5, 2024
|
Draft tutorials on Modules, Functors and Libraries
|
|
10
|
976
|
December 24, 2023
|
Reducing duplicate code in modules with parameterized type
|
|
3
|
364
|
November 18, 2023
|
How to make two different modules implement the same 'interface'
|
|
7
|
702
|
September 25, 2023
|
Maintaining two versions of a module
|
|
7
|
431
|
July 27, 2023
|
A module value that we can't create everywhere
|
|
1
|
323
|
July 25, 2023
|
When do I need to prefix constructors with the module name?
|
|
4
|
437
|
May 2, 2023
|
Ocaml lsp in vs code gives "unbound module Base"
|
|
16
|
1842
|
April 14, 2023
|
[Q] Does `Thread` module really work?
|
|
9
|
693
|
March 20, 2023
|
How to refer to 'type t' in later module
|
|
3
|
556
|
March 2, 2023
|
Swapping between different implementations of a signature
|
|
3
|
406
|
February 7, 2023
|
Extensible variants and functors
|
|
5
|
588
|
January 5, 2023
|
Is there a tutorial on "how to read module conventions"?
|
|
3
|
483
|
October 13, 2022
|
Module strange behavior
|
|
3
|
516
|
October 13, 2022
|
What are abstract module types useful for?
|
|
2
|
1668
|
July 2, 2022
|
Tying the knot between two modules
|
|
15
|
620
|
June 2, 2022
|
Modularizing a recursive module
|
|
5
|
454
|
May 11, 2022
|
Type of parameterized class is not bound within methods
|
|
4
|
708
|
April 3, 2022
|
Aliasing a functor application in a module interface?
|
|
4
|
681
|
September 29, 2021
|
Re-exporting modules correctly
|
|
1
|
1070
|
September 10, 2021
|
Structural equality for elements of abstract types
|
|
3
|
1366
|
August 20, 2021
|
How to include module-type with variant-type?
|
|
2
|
836
|
May 5, 2021
|
Type abstraction with functor alarms type error
|
|
8
|
1072
|
March 23, 2021
|
Is there any way to write recursive module types?
|
|
5
|
1896
|
January 7, 2021
|
Getting resulting sig and struct of a complex modular program
|
|
1
|
685
|
November 13, 2020
|
How to debug when I need to open several modules?
|
|
1
|
874
|
September 29, 2020
|