|location||New York, United States|
|visits||member for||2 years, 2 months|
|seen||Nov 13 '13 at 20:29|
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?
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.