101 reputation
bio website
location New York, United States
age
visits member for 2 years
seen Nov 13 '13 at 20:29

Aug
4
comment Are there non-turing complete dynamic languages which can be used to create useful programs?
Why the requirement that it be dynamically typed? Is it actually important to the question, somehow?
Oct
5
comment What functionality does dynamic typing allow?
Yes, Haskell can indeed to this using existential types. If you have some type class Foo, you can make a wrapper around any type instantiating that interface. class Foo a where ... data Wrapper = forall a. Foo a => Wrapper a