Pure FP software architect, so far in Scala, learning Haskell. Also dabbling in OCaml for many years and Coq for some fraction of that.