Haskell
-- Language
English
Japanese
Spanish
French
Hebrew
Russian
Ukrainian
The meeting place for professional Haskell programmers
Overview
Groups
Find
a Haskeller
Find a Job
Polls
Bling
FAQ
News Archive
Browse Skills
Login
I'm a Haskeller!
Patrick Soulomoon
Patrick Soulomoon
Using Haskell since 2018
Reveal email address
https://github.com/soulomoon
You can ask me about full-time employment
About Me
Devoted programmer
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agile software development
Categorical Programming
Compilers
Computational Geometry
Computer algebra
Concurrent Haskell
Cryptography
DSL Design
Databases
Denotational design
Distributed systems
Metaprogamming via Template Haskell
Monadic Parser Combinators
Systems programming
Teaching Haskell
Login with
Login using
— OR —