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!
Kwang Yul Seo
Kwang Yul Seo
Using Haskell since 2000
[email protected]
https://kseo.github.io/
You can ask me about full- or part-time employment
Living in Seoul
Twitter
Kwang Yul Seo
About Me
A working Haskell programmer
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Compilers
DSL Design
Foreign Function Interface (FFI)
Happstack Web Framework
Haskell on embedded devices
Monadic Parser Combinators
Network programming
Programming language translation
Property based testing (QuickCheck)
Purely functional data structures — design and implementation
Snap Web Framework
Streaming data (conduit/enumerator/pipes)
Systems programming
Web development (HTML, CSS and Javascript)
Yesod Web Framework
Packages
blockhash
language-dart
tagsoup-megaparsec
Check package dependency status.
Login with
Login using
— OR —