Next privilege 2,000 Rep.
Edit questions and answers
Next badge 0/1
~19k people reached
- 0 posts edited
- 0 helpful flags
- 6 votes cast
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...
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