Un Erlang scritto in Ada?

Question

Un altro ha avuto questa citazione

  

  
5. Erlang VM BEAM e Hipe è scritto principalmente in C.
  
6. driver Linked-in sono scritti per lo più in C. (Essi sono collegati al VM   e serve la comunicazione con l'esterno   mondo).
  

Ho letto alcune opinioni che di Ada tipizzazione forte, modularità, in fase di esecuzione il controllo, l'elaborazione parallela ecc ecc sono meglio di quella di C.

Sarebbe Erlang compilato utilizzando Ada essere noticably migliore o peggiore del Erlang fatto con C?

Basta un ipotetico Q.

Answer 1

Normalmente mi getterei un mucchio di donnola parole a voi su un tema come questo, ma si scopre questa domanda esatta è stato studiato (è un file doc. Siamo spiacenti).

razionale avuto un compilatore con una grande quantità di codice in entrambe le lingue, e una grande quantità di dati raccolti nell'arco di diversi anni sui tassi di bug, fissare i tempi, ecc Per curiosità, uno dei loro ingegneri sgranocchiato i numeri.

La risposta è stata "costi di sviluppo di C superiori a quelle di Ada". Se leggete oltre il titolo di sintesi, si vedrebbe che hanno capito la scrittura lo stesso codice in Ada essi costano circa la metà di quello che a scriverlo nel costo C .

So che tutti la lettura di questo è ansioso di colpire i fori in questa conclusione. Ero troppo. Ma si guardarono maledettamente vicino ogni angolo mi veniva in mente nella relazione.

Answer 2

"Better" in che modo? Meglio come in più veloce? Meglio come in meno bug? Meglio come in più portatile? Meglio come in più leggibile? Meglio come in più estensibile?

Per una definizione adatta di argomenti "migliori" può essere fatto in entrambi i modi. Tuttavia, si tratta solo di atto sacro che nessun linguaggio compilato è più portabile di C. Quindi, se uno dei vostri obiettivi è quello di rendere l'applicazione altamente portatile, C è una scelta eccellente.

Sempre più persone capiscono C rispetto ad Ada. Scrivendo estensioni Erlang potrebbe essere molto più difficile se è stato scritto in Ada, semplicemente perché meno persone sono dimestichezza con la lingua.

codice

C può essere altamente performante, ma io sono a conoscenza di nessun confronto tra C e Ada W / R a compilatore ottimizzazioni.

controllo del tipo di Ada potrebbe essere utile, o potrebbe essere un problema reale. Si presume che una macchina virtuale fa il suo tipo il controllo sui pezzi che contano ad esso. L'overhead di RTTC in Ada potrebbe imporre un onere del tutto inutile.

Answer 3

Forse, ma che lingua è stato il compilatore Ada scritto in? Ada? Che dire al compilatore che scrivere il vostro compilatore PRIMO Ada?

A un certo punto, quando si sta costruendo il software, semantica formale e processi software sono molto più importante di quello che qualcosa di lingua è stato codificato in.