Julian AntonielliSecuring invariants through ParametricityOr how parametric types entail theorems for freeNov 11, 2018Nov 11, 2018
Julian AntonielliMaking Elm unsafeA simple trick that will make your JavaScript FFI simpler and much unsafer!Nov 1, 2018Nov 1, 2018
Julian AntonielliThe Free MonoidA Monoid is a simple mathematical structure, it comprises of a type T , a function (<>) :: T -> T -> Tand a distinguished element zero :: T…Sep 9, 2018Sep 9, 2018
Julian AntonielliUsing parametric types for extensibility and reuse — Part 1Say we have an application where we need to work with the following relation: We have Persons (with name and age), and each person can be…Aug 23, 2018Aug 23, 2018