|
Detect use-after-close of Unix file descriptors
|
|
9
|
1080
|
January 8, 2024
|
|
Access inferred types
|
|
4
|
526
|
January 8, 2024
|
|
Why constructors are not curried?
|
|
7
|
995
|
January 8, 2024
|
|
Loading a project using lambda-term in utop
|
|
0
|
183
|
January 7, 2024
|
|
How to interrupt something that works too long in OCaml 5.x
|
|
1
|
396
|
January 7, 2024
|
|
Why `n:int -> int` is not compatible with `int -> int`?
|
|
9
|
706
|
January 6, 2024
|
|
Forcing a ppx to use the bytecode runtime
|
|
0
|
277
|
January 5, 2024
|
|
Compiling a shared file, including an external library
|
|
12
|
900
|
January 5, 2024
|
|
Weird behaviors with first order polymorphism
|
|
5
|
640
|
January 5, 2024
|
|
Qualified imports in OCaml are possible but why aren't they used more?
|
|
7
|
2025
|
January 5, 2024
|
|
Serialization of a type to binary/text format for caching
|
|
4
|
501
|
January 5, 2024
|
|
Cartesian product of two Lwt_stream
|
|
1
|
307
|
January 4, 2024
|
|
`Unix.sleep` on windows box?
|
|
7
|
537
|
January 4, 2024
|
|
Practical example of applicative vs generative functors?
|
|
3
|
1233
|
January 4, 2024
|
|
How to express Koka home page example?
|
|
10
|
771
|
January 3, 2024
|
|
Unable to refute impossible GADT pattern with polymorphic variants
|
|
4
|
606
|
January 3, 2024
|
|
GADTs and match cases
|
|
3
|
399
|
January 3, 2024
|
|
Compiler optimization on flattening ADT for less boxing?
|
|
5
|
477
|
January 2, 2024
|
|
How to use `menhir --explain` with dune?
|
|
9
|
2523
|
January 2, 2024
|
|
Minimal impl of Zinc Abstract Machine?
|
|
2
|
648
|
January 1, 2024
|
|
Problem interfacing with C library (QuickLZ)
|
|
1
|
353
|
January 1, 2024
|
|
How to derive show for pairs, lists, etc.?
|
|
1
|
519
|
January 1, 2024
|
|
Strange behavior with `Scanf.scanf` and black-box testing
|
|
4
|
445
|
December 30, 2023
|
|
Debugging Angstrom (or parser combinators in general)
|
|
5
|
523
|
December 29, 2023
|
|
Parsing simple recursive expressions with Angstrom
|
|
4
|
633
|
December 29, 2023
|
|
Binary tree with Splay
|
|
0
|
326
|
December 28, 2023
|
|
Or-pattern to learn from IRC
|
|
0
|
255
|
December 26, 2023
|
|
Lexer - How to handle conflicts? (Menhir)
|
|
2
|
350
|
December 26, 2023
|
|
Sanity check on grammar for tree language
|
|
1
|
334
|
December 25, 2023
|
|
Functor signature mismatch
|
|
2
|
369
|
December 25, 2023
|