Une langue qui n'utilise pas 'c'?

Jruby est une implémentation de Ruby qui utilise la machine virtuelle Java. Il est possible de dire que la machine virtuelle Java est écrite en C, C ++ ou une autre langue basse niveau, mais en fin de compte tout ce qui parle au matériel directement est écrit dans C, C ++, assembleur ou une autre langue basse niveau.

Plus d'une règle générale qu'une loi de la nature: Compilateurs pour les langages compilés sont généralement rédigés dans la langue elle-même. (Par exemple Pascal, OCaml, Haskell, ...) Ceci est parfois obscurci par le fait que certaines langues utilisent un compilateur C comme back-end. Cela est très courant pour les nouvelles langues: par exemple le compilateur Glasgow Haskell est écrit en Haskell, mais il crée un code intermédiaire C qui est que compilé en code natif, sauvant ainsi les programmeurs la tâche fastidieuse de génération de code natif pour plusieurs plates-formes. BTW: Java et C # tombent dans cette catégorie, aussi. Le compilateur javac est écrit en Java, le compilateur C # en C #. parties du moteur d'exécution / VM sont écrits en C, mais pas le compilateur.

Les interprètes pour les langues interprétées d'autre part sont souvent (mais pas toujours) écrit dans une autre langue. Les exemples incluent les langues que vous avez mentionnés. Lisp ou comprennent des contre-PyPy. Je suppose que la raison principale de mettre en œuvre l'interprète dans une autre langue est d'obtenir un interprète plus rapide, ce qui pourrait aussi expliquer pourquoi C est le choix commun ici (puisque C a la réputation de conduire à un code rapide).

Si vous recherchez des implémentations non-C de certaines langues populaires / grandes, alors considérez ceci:

• Java VM de Sun est implémenté en C ++ (conformément à http: //www2.research .att.com / ~ bs / applications.html . Vous pouvez également consulter le code source OpenJDK )
• clojure , Scala et Groovy - tous implémentés en Java et s'exécute sur la JVM.
• grincement - un smalltalk moderne avec la machine virtuelle elle-même mise en œuvre dans SmallTalk!
• Arc - une dialecte LISP implémentée dans le schéma.
• Clos - une langue (oui c'est!) Pour la programmation orientée objet dans la LISP commune, implémenté, bien, en commun LISP!
• facteur - une langue concaténative populaire mise en œuvre en C ++.

Le processus d'obtention d'une langue et de courir est très intéressant. Il est particulièrement intéressant d'être particulièrement intéressant dans le fait que le noyau de la langue peut être mis en œuvre dans une faible quantité d'espace, puis tout le reste peut venir pour le trajet. De ma propre mémoire, vous pouvez vous échapper avec la mise en œuvre @,!, + Et - en montage - peut-être une ou deux piles jongler des opérateurs et vous avez terminé. Voir ici pour plus d'informations.

Ce qui est particulièrement intéressant, c'est que les choses commencent à se tromper dans le processus de bootstress. Il y a de nombreuses années, j'ai lu sur un compilateur Pascal créé dans une université en tant que projet de recherche. Il a été écrit à Pascal, en utilisant le compilateur Pascal existant et éventuellement totalisé. Le problème était qu'il y avait un bogue dans la génération de code dans un cas particulier et le correctif dans le bogue induit par la source du compilateur dans le compilateur existant, ce qui rend impossible l'application de moyens conventionnels. Les sauvegardes à une version non bugée étaient obsolètes. Finalement, l'auteur a fini par une chirurgie binaire très minutieuse sur le compilateur existant.

Bien que c est une langue de système dominante, ce n'est certainement pas la langue de base pour créer d'autres langues. Les premières machines Macintosh ont été créées avec Pascal à l'esprit et la plupart des premiers outils et langues étaient Pascal (ou Assemblage).

Il y a même un compilateur C actuel non écrit à l'origine en C

Je crois que le Le logiciel Green Hills C compilateur C a été d'abord écrit au début des années 1980 à Pascal. La société est désormais un grand fournisseur de trucs intégrés de l'aérospatiale et qualifiés de MIL et il est possible que le compilateur soit toujours à Pascal. Mais alors, je pense qu'ils ont aussi un traducteur Pascal-to-C, donc je suppose qu'ils auraient pu migrer.

UCSD Pascal

Le système P a utilisé un compilateur qui généré du code pour une machine virtuelle. Je crois que le compilateur était lui-même écrit à Pascal. Vous pouvez porter la chose entière en portant simplement le VM. Ce système a influencé le développement Java / JVM ultérieur.

tous les autres vieux trucs

C n'a été allé que depuis le début des années 1970 et n'a été populaire que depuis le début des années 1980. Tout au plus tôt a dû faire avec quelque chose d'autre qui était plus tôt ou bootstrap elle-même dans la compilation automatique.

C est la langue que la plupart des systèmes d'exploitation modernes sont écrits et donc à peu près toutes les autres langues qui souhaitent courir sur des systèmes d'exploitation modernes et du matériel moderne doivent avoir la possibilité d'interfacer à C s'il veut interagir avec le reste du monde du monde. En outre, à cause de cela, C compilateurs C sont omniprésents, vous pouvez donc toujours utiliser toujours sur un compilateur C disponible pour toute plate-forme qui vous intéresse. Pour ces deux raisons, de nombreuses langues sont soit implémentées dans C (au moins en partie en partie. ), ou sont écrits pour compiler à C (la version compilée à C peut être utilisée pour bootstrap).

Cela dit, il y a encore des langues qui ont encore peu de contacts avec C. Clozure Common Lisp ( Autrefois OpenMCLCl, avant que ce Macintosh commun Lisp, avant que ce corail commun LISP) soit écrit entièrement dans les LISP commun. Vous devez télécharger des binaires de celui-ci pour une plate-forme pour pouvoir le compiler. Il est très courant que les LISP soient écrits dans Lisp (parfois un autre dialecte, parfois le même), car Lisp est beaucoup plus âgé que C. Il y avait même Machines LISP dans les années 1970 et des années 80 conçues pour exécuter LISP, et l'ensemble du système d'exploitation et de l'environnement de développement en a été écrit.

Il existe de nombreuses langues qui ont un compilateur et certaines bibliothèques écrites dans cette langue, tandis que certaines bibliothèques et bits du temps d'exécution sont écrites dans C. Par exemple, cmucl (et son dérivé SBCL ) sont principalement écrits dans Lisp commun, mais ils ont un petit runtime C. Il en va de même pour GHC , le compilateur Glasgow Haskell; Il est écrit à Haskell, vous avez donc besoin d'une implémentation de haskell existante pour le construire (généralement câlins , comme c'est écrit dans C et fait donc plus de bottes), mais il a un code C dans son runtime.

schéma 48 est un schéma qui est écrit dans Prescheme , un dialecte limité de schéma pouvant être compilé à C, qui est lui-même écrit dans le schéma. Le fait qu'il compileait à C faite de la chaussure plus facile; Le schéma 48 Distribution est doté du code compilé à C déjà, il vous suffit donc de compiler avec le compilateur de votre système C pour vous mettre en marche.

Il y a beaucoup d'autres langues écrites dans des langues autres que c aussi. Il y a Pascal gratuit , une version de Pascal écrit à Pascal. Il y a beaucoup de langues écrites en Java, bien que la JVM elle-même soit principalement écrite dans C. erlang a été écrit à l'origine dans prolog (qui a fortement influencé sa syntaxe), mais n'est pas écrit dans une combinaison de C et Erlang.

Toutes les langages de programmation doivent être écrits dans quelque chose, si vous voulez qu'ils fonctionnent sur un ordinateur. Au début, le seul choix était d'écrire un code de machine directement. Peu de temps après, les gens ont écrit des assembleurs (à l'origine dans le code de la machine et se terminent par l'assembleur) pour faciliter le code de la machine d'écriture. Cela a ensuite été suivi de langues de haut niveau; Fortran, Lisp, Cobol, Algol, et plus tard Simula, Smalltalk, C, Pascal, ML, Prolog. Chacun d'entre eux devait être écrit dans quelque chose; Les premiers ont été écrits dans Assembleur, puis plus tard, certains ont été écrits en eux-mêmes et d'autres écrit dans une autre langue de haut niveau. Par les années 80, C était à peu près le langage de programmation des systèmes dominants et est donc devenu le choix par défaut d'écrire une nouvelle langue dans; et cela continue à aujourd'hui. Mais regardez-vous dans les langues d'auparavant, et vous trouverez de nombreuses personnes implémentées dans d'autres langues, voire elles-mêmes.

Vous devez définir ce que vous entendez par "niveau de bas niveau". Presque toutes les langues vont utiliser indirectement parce que la plupart des systèmes d'exploitation sont écrits en C ou C ++. Pour effectuer des appels système (fichiers d'ouverture, sockets réseau), vous devez vous interfacer avec C.

qui étant dit qu'il y a eu des tentatives de rédaction de systèmes d'exploitation dans d'autres langues plus particulièrement être OCAML et LISP.

Bien sûr, cela a été fait dans Lisp (Google Lisp Machines).

Lisp serait donc le langage le plus remarquable (non mort) qui a réussi avec c.