Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in ocaml

OCaml nested patterns - exception despite defining pattern

functional-programming pattern-matching ocaml

OCaml recursive function

recursion functional-programming eval ocaml reduce

What are equality witnesses like `Type.eq` / `Typing_equal.equal` used for?

ocaml equality dependent-type gadt

OCaml Signature Functors

ocaml functor

How can I create a type in order to accommodate the return value of my Ocaml function?

functional-programming ocaml lazy-sequences

Why 1::2::[] and [1;2] are not the same in OCaml in terms of ==?

functional-programming ocaml

Sorting an array Imperative ocaml

arrays sorting ocaml imperative

Why can't row polymorphism be use to store objects in heterogeneous containers?

types polymorphism ocaml

ocaml record type and null

types ocaml record

What is a light-weight alternative to ocamlyacc/menhir for parsing simple expression?

ocaml

Writing first interpreter with Python - choice of OCaml language

python parsing compiler-construction ocaml interpreter

Compiling ocaml in notepad++

ocaml notepad++

How do I compare values for equality by Type Constructor?

ocaml equality reason

Ocaml how to access elements in type definitions

ocaml

Does OCaml have syntax like Haskell's ++?

list haskell append ocaml

How to present big_int?

ocaml bignum

CAMLprim, CAMLexport, CAMLextern

ocaml bytecode primitive

When using GADT in OCaml, how can I remove the 'less general definition' error message on a function?

functional-programming ocaml algebraic-data-types gadt
« Newer Entries Older Entries »