Archives
- Roll Your Own Existential Types in PureScript (Without Using unsafeCoerce)
- How Do I Know My Instances Are Lawful? Proving Lawfulness of Various Classes
- Characteristic Datatypes: An alternative functional representation of ADTs
- Type-safe Polymorphic Event Handling: Or, Making Illegal Argument Combinations Unrepresentable
- RowToList, records as trees, and double-induction
- Coding a simple calculator in Purescript