Ensuring correctness through the type system

4 points by kamila


tomsmeding

Previously in the context of Haskell, the same idea: https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/

ducdetronquito

Little type-o in the first Gleam exemple:

UserEmail(value: Strig)