Michał J. Gajda

Scientist and developer

Michał is Haskell developer with experience both with empirical science, and commercial environment.  

Software engineer with an extensive experience in developing research software in Haskell, and Python. His expertise spans from DSL design, parsing, to computational simulations. As a polyglot programmer he also used many other languages, including SQL, C/C++, Perl, SML, OCaml, FORTRAN. Best contact him on Keybase

We make a toy model of debugging process and see how it is affected by different programming techniques, methodologies, and stylistic choices. This allows us to make a case for functional programming and mathematically founded programming in general. It also points at how different IDE                   mechanism may further help a functional programmer in debugging her programs.