Next privilege 125 Rep.
0 0 0
Next badge 0/1
0 people reached
- 0 posts edited
- 0 helpful flags
- 0 votes cast
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.