1,107 reputation
bio website donsbot.wordpress.com
location London, UK
age 35
visits member for 4 years, 1 month
seen Apr 27 '13 at 17:16

Functional programmer, PhD in computer science, and quantitative finance developer. I've been programming Haskell for 16 years. I write trading software for Standard Chartered Bank. Views expressed are my own.

Co-author of the book, Real World Haskell, and of the xmonad window manager. I founded the Haskell Platform project, co-invented the stream fusion optimization and wrote the bytestring and binary libraries for Haskell. I'm interested in building great software, type-driven compiler optimizations, type-driven software design and high-performance data structures.

Follow me on on Twitter.

comment How were some language communities (eg, Ruby and Python) able to prevent fragmentation while others (eg, Lisp or ML) were not?
@Shurane Python and Ruby don't type check your packages before integration...
comment What functionality does dynamic typing allow?
Your membrane is an 'interface' and the types of the objects are "existentially typed" -- that is, we know they exist under the interface, but that's all we know. Existential types for data abstraction have been known since the 80s. A good ref is cs.cmu.edu/~rwh/plbook/book.pdf chapter 21.1