kenbot

functional programming scala category theory software development haskell rea group abstraction software engineering mentoring training leadership maths applied category theory dependency injection java empathy technology adoption programming language lenses monocle goggles optics introduction free monads church encoding lambda calculus data mocks stubs software unit tests functional program technology realestate.com.au rea universal properties algebra algebraic data types set theory adts isomorphisms monoids functors mutable state functional programming ruby effects free monads scala category theory