functional programming · algebraic data types · type theory · programming concepts · software development · scala · haskell · rust · immutable data · sum types · product types · pattern matching · developer blog · technical tutorial