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!
Liyang HU
Liyang HU
Using Haskell since 2001
Reveal email address
http://liyang.hu/
I am not currently seeking employment
Living in Tokyo, Japan
Freenode
liyang
Twitter
liyanghu
About Me
http://www.reddit.com/r/haskell/comments/90zlp/when_how_and_why_did_you_learn_haskell_and_why_do/c0b2ebn
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Concurrent Haskell
Foreign Function Interface (FFI)
Formal Verification
Monadic Parser Combinators
Property based testing (QuickCheck)
Proving observational equivalence between Haskell programs
Signal Processing
UNIX Scripting
Web development (HTML, CSS and Javascript)
Login with
Login using
— OR —