Quali linguaggi di programmazione tipizzati in modo dipendente potrebbero essere utilizzati per lo sviluppo di applicazioni nel mondo reale? Inizialmente scriverò principalmente applicazioni giocattolo, magari dopo lo sviluppo web o un semplice DBMS.
Questi sono alcuni punti che ritengo importanti:
- documentazione
- programmi di esempio
- una buona / grande libreria standard
- un'interfaccia di funzione straniera facile da usare
- una comunità di persone che usano la lingua per le attività del mondo reale
- supporto degli strumenti
Sono consapevole che al momento non esiste una lingua che soddisfi tutti questi requisiti. Mi piacerebbe sapere quale è il più vicino.