Dependently typed language best suited to “real world” programming?
- by Kim
Which dependently typed programming languages could be used for real world application development? I will mostly be writing toy applications at first, after that maybe web development or a simple DBMS.
These are some points, that I think are important:
documentation
example programs
a good/big standard library
an easy to use foreign function interface
a community of people using the language for real world tasks
tool support