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!
raichoo ketchum
raichoo ketchum
Using Haskell since 2009
Reveal email address
http://raichoo.github.io
Living in Bielefeld, Germany
Twitter
raichoo
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agda
Categorical Programming
Compilers
Concurrent Haskell
DSL Design
Databases
GHC internals
Idris
Monadic Parser Combinators
Parallelism
Programming using Arrows
Property based testing (QuickCheck)
Prototyping
Systems programming
Teaching Haskell
Yesod Web Framework
Login with
Login using
— OR —