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	436	October 20, 2026
Q: module dependent class bindings? Learning first-class_modules , dependent-types	9	392	October 6, 2026
Modular explicit forms (as, type parameters) Learning first-class_modules	1	271	September 6, 2026
Module type constraints in first class modules Learning first-class_modules	2	332	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	267	September 18, 2024
FCM and modular implicits type system Learning modular-implicits , type-system , first-class_modules	6	2329	July 2, 2024
Reducing duplicate code in modules with parameterized type Learning module , first-class_modules , functor	3	574	November 18, 2023
Idiomatic group_by/distinct_by/count_by Learning first-class_modules	12	1751	October 25, 2023
What's the runtime representation of first-class modules? Learning first-class_modules	5	698	May 3, 2023
Self-referential first-class modules in functor signature Learning first-class_modules , functor	1	619	December 3, 2022
Type of parameterized class is not bound within methods Learning module , types , first-class_modules , objects , exceptions	4	925	April 3, 2022
First class module signature mismatch Learning first-class_modules , functor	3	1416	December 28, 2021
Confused about aliases of first class module arguments Learning first-class_modules	10	1370	November 10, 2021
How to type a forwarding function? Learning first-class_modules	2	727	May 30, 2021
Problems with type arity Learning first-class_modules	1	1290	June 1, 2020
Can you factorize this code more? Learning module , first-class_modules , functor	13	1050	May 15, 2020
Single-function functors or first-class modules in function arguments? Learning ocaml , module , first-class_modules , functor	0	1477	November 28, 2019
Forget type constraint in function returning first-class module Learning first-class_modules	2	728	November 19, 2019
Why parametrized types are not supported in (module package-type)? Learning module , first-class_modules	2	3038	December 30, 2018
First class module and existential type Learning first-class_modules	7	4051	December 25, 2017