Python, Haskell, Type-safety, and Formal Verification for the win
I specialise and have an interest in the following technical domains:
- Meta-programming, DSLs, and Framework Design
- Software Architectures and Domain Driven Design
- Functional Programming and Memory Safety
- Building batch and streaming data processors with cooperative / preemptive multitasking
- Building async/reactive message-passing services with dynamic task scheduling
- Contributing to and maintaining Open Source projects
My current sources of insipration (check them out, they're all remarkably cool) are:
- Nix
- ATS
- Liquid Haskell
- GHCJS and Miso
If you'd like to financially support any of the source repositories listed under this account, consider donating through GitHub.