Reputation
1,107
Next privilege 2,000 Rep.
Edit questions and answers
Badges
5 8
Newest
 Yearling
Impact
~20k people reached

  • 0 posts edited
  • 0 helpful flags
  • 6 votes cast
Apr
27
awarded  Yearling
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