• web
• type systems
• haskell

Developer tags

• scripting × 61
• unix × 61
• formal verification × 48
• concurrent × 46
• dsl design × 46
• ffi × 43
• translation × 40
• teaching × 36
• gui × 34
• metaprogramming × 34
• functional × 33
• generic × 32
• parser combinators × 31
• arrows × 27
• network × 26
• graphics × 20
• agile × 19
• system programming × 19
• database × 17
• ghc × 17
• reactive × 16
• parallelism × 14
• categories × 13
• packaging × 13
• physics simulation × 13
• attribute grammar × 12
• reverse engineering × 11
• denotational design × 10
• numerical computation × 10
• signal processing × 9
• embedded × 8
• natural language × 8
• transactional business applications × 8
• bioinformatics × 5
• robotics × 5
• computational geometry × 4
• machine learning × 4
• audio × 3
• cabal × 3
• darcs × 3
• prototyping × 3
• forensics × 2