On of my favorite perks of statically typed languagues is making invalid states unrepresentable. So instead of throwing exceptions at runtime, try to use types in such a way that you cannot even get invalid states to even compile. In a sense this is the b[...]

I find it kindof fun to play with lambda calculus from time to time. Recently I had another go at the church numerals and the goal of my little kata was get a nice type-representation for them: Have something lie … Weiterlesen →