Topics tagged first-class

Topic	Replies	Views	Activity
How to achieve implicit state without using classes and objects Learning module , first-class_modules , objects	6	351	October 20, 2026
Q: module dependent class bindings? Learning first-class_modules , dependent-types	9	345	October 6, 2026
Modular explicit forms (as, type parameters) Learning first-class_modules	1	255	September 6, 2026
Module type constraints in first class modules Learning first-class_modules	2	320	February 28, 2025
Figuring out how to return an open polymorphic variant from application to a module Learning types , first-class_modules , type-inference , polymorphic-variants , module-type	2	254	September 18, 2024
FCM and modular implicits type system Learning modular-implicits , type-system , first-class_modules	6	2307	July 2, 2024
Reducing duplicate code in modules with parameterized type Learning module , first-class_modules , functor	3	562	November 18, 2023
Idiomatic group_by/distinct_by/count_by Learning first-class_modules	12	1734	October 25, 2023
What's the runtime representation of first-class modules? Learning first-class_modules	5	688	May 3, 2023
Self-referential first-class modules in functor signature Learning first-class_modules , functor	1	591	December 3, 2022
Type of parameterized class is not bound within methods Learning module , types , first-class_modules , objects , exceptions	4	898	April 3, 2022
First class module signature mismatch Learning first-class_modules , functor	3	1410	December 28, 2021
Confused about aliases of first class module arguments Learning first-class_modules	10	1333	November 10, 2021
How to type a forwarding function? Learning first-class_modules	2	724	May 30, 2021
Problems with type arity Learning first-class_modules	1	1277	June 1, 2020
Can you factorize this code more? Learning module , first-class_modules , functor	13	1020	May 15, 2020
Single-function functors or first-class modules in function arguments? Learning ocaml , module , first-class_modules , functor	0	1470	November 28, 2019
Forget type constraint in function returning first-class module Learning first-class_modules	2	723	November 19, 2019
Why parametrized types are not supported in (module package-type)? Learning module , first-class_modules	2	3026	December 30, 2018
First class module and existential type Learning first-class_modules	7	4006	December 25, 2017