Reputation
Next privilege 125 Rep.
Vote down
Badges
0 0 0
Impact
0 people reached

  • 0 posts edited
  • 0 helpful flags
  • 0 votes cast
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