Kenneth Kasajian

Software Engineer and Web Developer in Irvine, California

Read my blog

I'm a software developer. I am mostly in the C# / JavaScript / Node world these days. Lately, I've been playing with Haskell, "concepts" in C++, the use SKI combinators, how trampolining is used to workaround lack of trail-call optimization in JVM, anything to do with functional reactive UI (Elm), diving deeper into Clojure these days. Recently I've been hurting my brain more by looking at lambda calc / set theory stuff: Coq, Hindley-Milner inference system in Haskell, System F, and the Agda/Idris implementations.