1,057 reputation
48
bio website donsbot.wordpress.com
location London, UK
age 34
visits member for 3 years, 3 months
seen Apr 27 '13 at 17:16

Functional programmer, PhD in computer science, and quantitative finance developer. I've been programming Haskell for 15 years. I write trading software for Standard Chartered. 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 and wrote the bytestring and binary libraries for Haskell. I'm interested in building great software, type-driven compiler optimizations and high-performance data structures.

Follow me on:


Apr
27
awarded  Yearling
Apr
27
awarded  Yearling
Jan
25
awarded  Nice Answer
Nov
5
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...
Oct
5
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
Sep
7
awarded  Critic
May
27
answered On developing deep programming knowledge
May
6
awarded  Nice Answer
May
6
answered How were some language communities (eg, Ruby and Python) able to prevent fragmentation while others (eg, Lisp or ML) were not?
Apr
27
awarded  Yearling
Jul
2
awarded  Enlightened
Jul
2
awarded  Nice Answer
Jun
22
awarded  Nice Answer
Jun
11
awarded  Supporter
Jun
11
answered Is Haskell good at teaching fundamentals of mathematics?
May
24
answered Why do people rewrite some libraries to many programming languages?
May
17
answered Why functional programming?
May
11
awarded  Teacher
Apr
27
awarded  Autobiographer