101 reputation
bio website
location New York, United States
visits member for 1 year, 6 months
seen Nov 13 '13 at 20:29

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