Jun Furuse, OCaml programmer no longer using Haskell at work. Founder and CEO of DaiLambda, and Scientific Director at Tezos Japan Foundation. Playing around Tezos.
Specialties: Programming language, type system, compilation, functional programming (OCaml and Haskell).
Interested in building robust and scalable systems using strongly typed languages and formal methods.
