狠狠撸

functional programming scala category theory haskell software engineering software development rea group abstraction 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 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 free monads scala category theory