Module type constraints in first class modules
|
|
2
|
218
|
February 28, 2025
|
Figuring out how to return an open polymorphic variant from application to a module
|
|
2
|
166
|
September 18, 2024
|
FCM and modular implicits type system
|
|
6
|
2107
|
July 2, 2024
|
Reducing duplicate code in modules with parameterized type
|
|
3
|
472
|
November 18, 2023
|
Idiomatic group_by/distinct_by/count_by
|
|
12
|
1455
|
October 25, 2023
|
What's the runtime representation of first-class modules?
|
|
5
|
568
|
May 3, 2023
|
Self-referential first-class modules in functor signature
|
|
1
|
535
|
December 3, 2022
|
Type of parameterized class is not bound within methods
|
|
4
|
779
|
April 3, 2022
|
First class module signature mismatch
|
|
3
|
1337
|
December 28, 2021
|
Confused about aliases of first class module arguments
|
|
10
|
1189
|
November 10, 2021
|
How to type a forwarding function?
|
|
2
|
649
|
May 30, 2021
|
Problems with type arity
|
|
1
|
1212
|
June 1, 2020
|
Can you factorize this code more?
|
|
13
|
887
|
May 15, 2020
|
Single-function functors or first-class modules in function arguments?
|
|
0
|
1411
|
November 28, 2019
|
Forget type constraint in function returning first-class module
|
|
2
|
689
|
November 19, 2019
|
Why parametrized types are not supported in (module package-type)?
|
|
2
|
2868
|
December 30, 2018
|
First class module and existential type
|
|
7
|
3836
|
December 25, 2017
|