Author of Halcyon and Haskell on Heroku.

Advocate of programming languages with static, sound, and implicit type systems. Comfortable at all levels of the software stack — from arrows to assembly; client-side and server-side. Designs humane user interfaces. Interested in type theory, security, and typography.

14 years of professional experience in software development, including 8 years of practice with functional programming in Haskell, Erlang, and OCaml. Knows how not to write Fortran in any language.



University of Wrocław — Informatics
Bachelor of Science, 2004–2009

My projects are published under the MIT X11 license, and supported by my company, Least Fixed.

Like my work? I am available for consulting. Say hello, or follow @mietek.