I am a developer at ThoughtWorks Barcelona. I like functional programming, formal verification and domain driven design. My preferred language is Haskell, though I am proficient also in PureScript, Scala, Java, Idris, TypeScript, Python and PHP.
skills: bash Linux php python TypeScript PureScript java Scala Eta Idris Haskell software architecture algorithms Formal Verification Type Theory Test Driven Development domain driven design functional programming