Great article on the design of Hypothesis, and its advantages over a purely type-driven, QuickCheck style approach:
miniblog.
Related Posts
Are there any developer experience advantages for `x := 1` over `let x = 1`?
A `let` keyword probably improves parsing error behaviour, and makes declarations more visible.
:= is more concise though.
I still find it weird that constructors aren't first class functions in OCaml.
`id Just` is legal in Haskell, but `id Some` is an error in OCaml.
Are there any advantages of the OCaml approach?
An introduction to devcontainers, the advantages of a reproducible local dev environment and where it makes sense:
