Reason compile vers JavaScript grâce à notre projet partenaire BuckleScript, qui compile OCaml/Reason en du JavaScript lisible avec une grande interopérabilité.
Cette page charge une source nommée "main.js" qui a été écrite en CoffeeScript puis compilée vers JavaScript.
This page loads a source called "main.js" that was originally written in CoffeeScript and compiled to JavaScript.
Un compilateur LLVM vers le JavaScript qui vous permet de compiler, par exemple, du code C++ vers du code JavaScript pouvant fonctionner sur n'importe quel navigateur Web.
Comment l'équipe Dart a-t-elle fait pour avoir son compilateur Dart vers JavaScript (appelé dart2js) dans un navigateur ?
How did the Dart team manage to host the Dart to JavaScript compiler (called dart2js) in the browser?
Un compilateur LLVM vers JavaScript; avec Emscripten, vous pouvez compiler C ++ et d'autres langages qui peuvent compiler en bytecode LLVM en JavaScript haute performance.
Premièrement, comme dans Coq les fonctions sont interprétées, les calculs sont beaucoup plus lents qu'avec un langage où les programmes sont compilés vers du code binaire exécutable.
First, because in Coq functions are interpreted, computation is much slower than with programs written in a standard programming language and compiled into binary code.
Nous montrons comment gérer la taille de ces calculs en interprétant les preuves tout entières comme des programmes fonctionnels, que l'on peut compiler vers du code machine à l'aide de compilateurs standards et clé-en-main.
We show how to make the proof checking problem manageable by turning entire proof terms into functional programs and compiling them in one go using off-the-shelf compilers for standard programming languages.
Il a habilement tiré les vers du nez au directeur sans paraître trop curieux.
He skillfully wormed information out of the manager without seeming too curious.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
