Mismatched types between customized compilation units
|
|
7
|
196
|
March 5, 2024
|
Generic Module Signatures
|
|
4
|
306
|
March 1, 2024
|
What is an unsafe functor?
|
|
6
|
355
|
February 29, 2024
|
Generalised abstract data types, phantom types and modules
|
|
2
|
167
|
February 28, 2024
|
Qualified imports in OCaml are possible but why aren't they used more?
|
|
7
|
1751
|
January 5, 2024
|
Draft tutorials on Modules, Functors and Libraries
|
|
10
|
1001
|
December 24, 2023
|
Reducing duplicate code in modules with parameterized type
|
|
3
|
370
|
November 18, 2023
|
How to make two different modules implement the same 'interface'
|
|
7
|
712
|
September 25, 2023
|
Maintaining two versions of a module
|
|
7
|
434
|
July 27, 2023
|
A module value that we can't create everywhere
|
|
1
|
328
|
July 25, 2023
|
When do I need to prefix constructors with the module name?
|
|
4
|
443
|
May 2, 2023
|
Ocaml lsp in vs code gives "unbound module Base"
|
|
16
|
1874
|
April 14, 2023
|
[Q] Does `Thread` module really work?
|
|
9
|
719
|
March 20, 2023
|
How to refer to 'type t' in later module
|
|
3
|
559
|
March 2, 2023
|
Swapping between different implementations of a signature
|
|
3
|
411
|
February 7, 2023
|
Extensible variants and functors
|
|
5
|
595
|
January 5, 2023
|
Is there a tutorial on "how to read module conventions"?
|
|
3
|
486
|
October 13, 2022
|
Module strange behavior
|
|
3
|
518
|
October 13, 2022
|
What are abstract module types useful for?
|
|
2
|
1685
|
July 2, 2022
|
Tying the knot between two modules
|
|
15
|
622
|
June 2, 2022
|
Modularizing a recursive module
|
|
5
|
459
|
May 11, 2022
|
Type of parameterized class is not bound within methods
|
|
4
|
715
|
April 3, 2022
|
Aliasing a functor application in a module interface?
|
|
4
|
688
|
September 29, 2021
|
Re-exporting modules correctly
|
|
1
|
1077
|
September 10, 2021
|
Structural equality for elements of abstract types
|
|
3
|
1382
|
August 20, 2021
|
How to include module-type with variant-type?
|
|
2
|
847
|
May 5, 2021
|
Type abstraction with functor alarms type error
|
|
8
|
1079
|
March 23, 2021
|
Is there any way to write recursive module types?
|
|
5
|
1908
|
January 7, 2021
|
Getting resulting sig and struct of a complex modular program
|
|
1
|
690
|
November 13, 2020
|
How to debug when I need to open several modules?
|
|
1
|
879
|
September 29, 2020
|