Engineering Blog ocaml - Tweag

Comparing strict and lazy

Arnaud takes a step back from the slogans and examines the trade-offs between lazy and strict languages.

haskell ocaml programming-languages

Integrated shrinking in QCheck

An introduction to Integrated Shrinking and an implementation in QCheck (OCaml)

Building OCaml Projects with Bazel

Building OCaml projects with the new Bazel ruleset, OBazl

Simulating Tenderbake

Announcing a simulator for Tenderbake

ocaml blockchain distributed-algorithms

25 February 2021

Monadic OCaml: Tezos

Understanding monads in OCaml: mixing promises and errors