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!
Kirill Andreev
Kirill Andreev
Using Haskell since 2010
Reveal email address
https://github.com/Heimdell
I am not currently seeking employment
Living in Ульяновск
About Me
I like formalizing systems.
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Attribute Grammar
Concurrent Haskell
DSL Design
Databases
Denotational design
Foreign Function Interface (FFI)
Functional graphics programming (2D, 3D, GPU)
Graphical User Interfaces
Monadic Parser Combinators
Programming language translation
Programming using Arrows
Property based testing (QuickCheck)
Prototyping
Purely functional data structures — design and implementation
Login with
Login using
— OR —