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.
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.
Le journaliste a tenté de lui tirer les vers du nez pendant le déjeuner.
The journalist tried to worm details out of the politician over lunch.
Conteúdo potencialmente sensível ou impróprio
Os exemplos servem apenas como ajuda na tradução da palavra ou da expressão procurada. Eles não são selecionados ou validados por nós e podem conter linguagem inapropriada. Pedimos que reporte exemplos que devem ser modificados ou que não devem ser exibidos. As traduções potencialmente sensivéis, impróprias ou coloquiais geralmente são marcadas em vermelho ou em laranja.