Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in ocaml
Open object type gets unified too soon
May 26, 2026
types
ocaml
OCaml - Add a new tuple, containing a list of tuples, to that list
May 25, 2026
list
recursion
closures
ocaml
tuples
Ocaml Type Error For enumerate example
May 26, 2026
f#
functional-programming
ocaml
OCaml nested patterns - exception despite defining pattern
May 23, 2026
functional-programming
pattern-matching
ocaml
OCaml recursive function
May 22, 2026
recursion
functional-programming
eval
ocaml
reduce
What are equality witnesses like `Type.eq` / `Typing_equal.equal` used for?
May 21, 2026
ocaml
equality
dependent-type
gadt
OCaml Signature Functors
May 21, 2026
ocaml
functor
How can I create a type in order to accommodate the return value of my Ocaml function?
May 20, 2026
functional-programming
ocaml
lazy-sequences
Why 1::2::[] and [1;2] are not the same in OCaml in terms of ==?
May 19, 2026
functional-programming
ocaml
Sorting an array Imperative ocaml
May 18, 2026
arrays
sorting
ocaml
imperative
Why can't row polymorphism be use to store objects in heterogeneous containers?
May 18, 2026
types
polymorphism
ocaml
ocaml record type and null
May 18, 2026
types
ocaml
record
What is a light-weight alternative to ocamlyacc/menhir for parsing simple expression?
May 14, 2026
ocaml
Writing first interpreter with Python - choice of OCaml language
May 14, 2026
python
parsing
compiler-construction
ocaml
interpreter
Compiling ocaml in notepad++
May 14, 2026
ocaml
notepad++
How do I compare values for equality by Type Constructor?
May 13, 2026
ocaml
equality
reason
Ocaml how to access elements in type definitions
May 11, 2026
ocaml
« Newer Entries
Older Entries »