Jarek Ratajski

java fp monads jvm scala kotlin haskell lambda calculus functional programming eta-lang eta lambda clean code methodologies agile estimates pure code kure-potlin nee transactions asm bytecode jit digital beans spring ghc history programming languages optional null code analysis webvr a-frame vr church encoding lambda calculi church lagom server side