|
GADTs and typed environments
|
|
12
|
430
|
June 18, 2025
|
|
Correct usage of llvm bindings
|
|
5
|
526
|
June 18, 2025
|
|
Making recursive modules convenient
|
|
1
|
187
|
June 18, 2025
|
|
TRMC across GADT packing
|
|
10
|
400
|
June 18, 2025
|
|
Dune, OxCaml and locking dependencies
|
|
2
|
506
|
June 17, 2025
|
|
An expression was expected of type unit because it is in the left-hand side of a sequence
|
|
1
|
144
|
June 17, 2025
|
|
Why ref raise has a weak type?
|
|
3
|
175
|
June 17, 2025
|
|
Parameterized GADT type witnesses
|
|
6
|
222
|
June 16, 2025
|
|
Embedding the OCaml bytecode compiler in C
|
|
3
|
330
|
June 16, 2025
|
|
Ppx_deriving_yojson or ppx_yojson_conv?
|
|
2
|
164
|
June 15, 2025
|
|
Record element types must have a representable layout
|
|
7
|
478
|
June 15, 2025
|
|
Opam & git strategy for repos with symlinks on Windows
|
|
4
|
134
|
June 14, 2025
|
|
Opam environment variable on windows
|
|
10
|
408
|
June 13, 2025
|
|
A declarative way to encode http request
|
|
0
|
155
|
June 14, 2025
|
|
Literally every time I try to pass a module as a parameter, I get errors about constructors escaping the scope. What does it mean and how to avoid?
|
|
7
|
449
|
June 13, 2025
|
|
Fusing `Map` nodes in incremental
|
|
3
|
234
|
June 13, 2025
|
|
Using flambda2 with opam
|
|
2
|
248
|
June 13, 2025
|
|
Module definitions are not transparent?
|
|
9
|
475
|
June 11, 2025
|
|
Where does "statically constructive" come from
|
|
1
|
265
|
June 10, 2025
|
|
My Introductory post
|
|
3
|
323
|
June 9, 2025
|
|
Are there compiler extensions supporting inplace dynamic vectors?
|
|
1
|
232
|
June 9, 2025
|
|
First attempt to compile source using Zarith
|
|
4
|
292
|
June 7, 2025
|
|
Ocamlformat: forcing a newline
|
|
2
|
230
|
June 6, 2025
|
|
Best Practice for Representing `uint8_t`-Backed Enums with `ctypes`?
|
|
4
|
331
|
June 5, 2025
|
|
Handling Strings That Don't Match a Specific Pattern
|
|
1
|
173
|
June 4, 2025
|
|
Cannot upgrade OCAML to 5.2.0
|
|
6
|
957
|
June 4, 2025
|
|
Returning large tuples vs records
|
|
5
|
342
|
June 4, 2025
|
|
Path separators on Windows
|
|
6
|
488
|
June 3, 2025
|
|
Brittleness of snapshot tests
|
|
11
|
501
|
May 28, 2025
|
|
How to model a DOM attributes hierarchy?
|
|
5
|
202
|
June 2, 2025
|