Programmers Stack Exchange is a question and answer site for professional programmers interested in conceptual questions about software development. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

I am aware that there is currently no language that meets all these requirements. I'd like to know which one comes closest.

share|improve this question

closed as off-topic by gnat, GlenH7, MichaelT, Kilian Foth, Bart van Ingen Schenau Sep 15 '13 at 14:49

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "Questions asking us to recommend a tool, library or favorite off-site resource are off-topic for Programmers as they tend to attract opinionated answers and spam. Instead, describe the problem and what has been done so far to solve it." – GlenH7, Community, Kilian Foth
If this question can be reworded to fit the rules in the help center, please edit the question.

Unfortunately, you are asking for something that just doesn't exist yet. Things such as big libraries, etc general only come with maturity + large community bases, of which they have no reached.

You can find a list of them on Wikipedia, which will at least let you filter out those that are not actively developed.

What are you reasons for wanting to use a dependently-typed language for web development, etc?

share|improve this answer
I've been playing around with ATS a bit. I'm mostly just curious whether it can be done and whether it would actually have advantages over languages without dependent types. Is there a language with a cgi interface or any other kind of integration with a web server? I know the wikipedia list... – Kim Jan 9 '11 at 6:37
If you can make it an executable you can surely make it work with CGI. Have I seen any? No. Can I find any? No. I'm not sure what advantages it would have over the current prevailing languages though... – Dan McGrath Jan 9 '11 at 11:00

Probably Agda is the most alive of these, but it's hardly 'commercial grade' software yet, it's more 'bleeding edge'.

share|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.