Un Erlang écrit en Ada?

Question

Une autre avait cette citation

  

  
5. Erlang VM BEAM et HIPE est écrite en C.
  
6. pilotes linkedin sont écrits principalement en C. (Ils sont branchés à VM   et sert la communication avec l'extérieur   monde.)
  

Je l'ai lu quelques avis que le typage fort d'Ada, la modularité, la vérification de l'exécution, le traitement parallèle, etc., etc., sont mieux que celle de C.

Est-ce que Erlang compilé en utilisant Ada être noticably meilleur ou pire que le Erlang fait avec C?

Juste un Q hypothétique.

Answer 1

Normalement, je jetterais un tas de belette mots à vous sur un sujet comme celui-ci, mais il se cette question exacte a été étudié (c'est un fichier .doc. Désolé).

rationnel avait un compilateur avec une grande quantité de code dans les deux langues, et une grande quantité de données compilées sur plusieurs années sur les taux de bugs, corriger les temps, etc. Par curiosité, l'un de leurs ingénieurs croqué les chiffres.

La réponse était « Les coûts de développement de C Exceed Ceux d'Ada ». Si vous avez lu passé le titre de résumé, vous verriez qu'ils cernées écrire le même code Ada leur coûtent environ la moitié de ce qu'il écrit dans le coût C .

Je sais que tout le monde la lecture de c'est désireux de percer des trous dans cette conclusion. Moi aussi. Mais ils ont regardé sacrément près tous les angles que je pouvais penser dans le rapport.

Answer 2

« Mieux » de quelle façon? Mieux que dans plus rapide? Mieux que dans moins de bugs? Mieux que dans plus portable? Mieux que dans plus lisible? Mieux que dans plus extensible?

Pour toute définition appropriée des arguments « meilleurs » peut être fait de toute façon. Cependant, il est à peu près un bref sacré qui ne langage compilé est plus portable que C. Ainsi, si l'un de vos objectifs est de rendre votre application très portable, C est un excellent choix.

Plus les gens comprennent C que Ada. L'écriture des extensions de Erlang pourrait être beaucoup plus difficile si elle a été écrit en Ada, tout simplement parce que moins de gens sont familiers avec la langue.

le code C peut être très performant, mais je ne connais aucune comparaison entre C et Ada w / r au compilateur d'optimisation.

La vérification de type d'Ada pourrait être utile, ou il pourrait être un vrai problème. On peut supposer qu'une VM le fait est propre type de vérification sur les pièces qui comptent pour elle. Les frais généraux de RTTC Ada pourrait imposer une charge complètement inutile.

Answer 3

Peut-être, mais quelle langue votre compilateur Ada-il écrit? Ada? Qu'en est-il du compilateur écrire votre premier compilateur Ada?

À un certain moment où vous la création de logiciels, la sémantique formelle et processus logiciels sont beaucoup plus importants que ce que quelque chose a été le langage codé.