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
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