Developer Engineer

Full-stack Development Val-David, Quebec, Canada

Profile
Contacts

Summary

Strong in functional languages, Haskell, F# and Elm. Have built and maintained software with environmental and global positioning data, video and scientific models.

Open source contributor giving a boost to languages and tools I like, most recent contributions are Haskell related:

* GHC: I got a first fix merged 6 years ago. Code I've written has uncovered bugs in GHC and I've helped with the users guide. I've gone deep with typechecker plugins.

* SMT Solving: I've worked with Z3 in the liquid-fixpoint library component of Liquid Haskell. Came up with a way of using logged SMT-LIB expressions for standalone checking with the Z3 solver itself, separately from the GHC compiler typechecker.

* Property Tests: I very much like property-based testing.

* Build Tools: I'm familiar with many ways of compiling projects and have contributed to stack, cabal and haskell.nix as well as snack, pier, rules_haskell and cabal2nix. I gained a lot of experience in maintaining and upgrading a very large Haskell project (of close to 400 packages) and created a tool to generate stack and cabal projects that helps with progressively upgrading packages in a project.

* Packaging: I maintain a tool for generating `.cabal` files, Haskell's package format.

* Documentation: I read and improve it. This is the easiest way to help move things forward.

Expectations

Open to building new products from scratch, improving code quality with property-based testing, improving build and deployment processes, mentoring and learning from other team members.