Linguaggio digitato in modo appropriato più adatto alla programmazione del "mondo reale"? [chiuso]

4

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.

    
posta Kim 08.01.2011 - 22:50
fonte

2 risposte

5

Sfortunatamente, stai chiedendo qualcosa che non esiste ancora. Cose come grandi biblioteche, ecc. In generale vengono solo con maturità + grandi basi di comunità, di cui non hanno raggiunto.

Puoi trovare un elenco di questi su Wikipedia , che ti permetterà almeno di filtrare quelli che non sono attivi sviluppato.

Quali sono i motivi per cui desideri utilizzare un linguaggio tipizzato per lo sviluppo web, ecc.?

    
risposta data 09.01.2011 - 00:11
fonte
2

Probabilmente Agda è il più vivo di questi, ma non è ancora un software "di livello commerciale", è più "bleeding edge".

    
risposta data 09.01.2011 - 02:09
fonte

Leggi altre domande sui tag