¿Existe un lenguaje que se transpila a C, con mejor sintaxis? [cerrado]

CoffeeScript es un lenguaje que se transpira a JavaScript, con una sintaxis limpia, inspirada en Ruby. ¿Existe un lenguaje similar que se transpira a C, permitiendo un código más legible sin comprometer el rendimiento? Si nada de eso existe, ¿hay una buena razón para no crearlo?

CoffeeScript compila a JavaScript por una razón muy simple, JavaScript es el lenguaje del lado del cliente de facto y no sería razonable esperar que los proveedores de navegadores admitan nativamente CoffeeScript, cuando todo lo que ofrece es una sintaxis alternativa.

De manera muy similar, el punto principal del lenguaje de alto nivel para los traductores de C es la portabilidad inmediata, ya que hay un compilador de C para casi todas las plataformas y una gran cantidad de bibliotecas de C. Vala , por ejemplo, fue diseñado para :

1. ser un compilador para el GObject ,
2. construir ejecutables nativos (a través del compilador C de la máquina),
3. automatizar el recuento de referencias, y
4. aún estará accesible para los programadores de GNOME C

GNOME es un proyecto tradicionalmente orientado a C y GObject específicamente está escrito en C, Vala probablemente no encontraría mucho amor entre los desarrolladores de GNOME si se compilara en código máquina, independientemente de su naturaleza más amigable (y sintaxis). No a todos parecía gustarles la sintaxis, hasta el punto de que otro idioma, Genie , fue creado para mejorarlo.

Para un ejemplo de C ++, Facebook desarrolló HipHop , un traductor de PHP a C ++. Intentaban resolver un problema muy específico, el uso de la CPU, sin tener que reemplazar todo su código PHP y volver a capacitar a sus ingenieros (o peor aún, reemplazarlos). Este es un ejemplo mucho más específico, ya que los problemas de escalabilidad de Facebook son, bueno, únicos, y nuevamente tener acceso al código intermedio de C ++ puede ser útil, ya que las extensiones de PHP están escritas en C y C ++.

Por lo tanto, un traductor de un idioma de alto nivel a otro es una buena idea principalmente cuando se requiere acceso al código intermedio. Para CoffeeScript, el código JavaScript es necesario debido a su amplia adopción del navegador, y para Vala, Genie y HipHop debido a la base de código existente. Obviamente, tener acceso al código intermedio significa que puede optimizarlo aún más si es necesario.

Pero, en términos generales, no sería una buena idea construir un lenguaje que se traduzca a C, o cualquier otro lenguaje, si no utilizara el código resultante. Hay tantos lenguajes por ahí, que si no puede hacer frente a C, simplemente elija otro. Casualmente, el primer compilador de C ++ escrito por Bjarne Stroustrup, CFront, fue un traductor de C con Classes to C, pero eso se debió principalmente a que, como nuevo lenguaje, era imposible arrancar C con Classes.

Voy a cubrir algunos puntos que Yannis Rizos no hizo en su gran respuesta.

Sí, existen muchos idiomas. C es un objetivo común para los back-end del compilador, ya que es increíblemente portátil y altamente optimizado, aunque con LLVM no tiene mucho sentido.

Algunas implementaciones que sé que hacen esto son:

• C ++ (al menos en los primeros días)
• GHC Haskell (Aunque el generador de código principal es C--)
• Gambito / Pollo / Esquema Bigloo
• ECL (Common Lisp)
• Perl
• Vala y Genio

tan rápido como los programas C originales

No, solo porque usa C como lenguaje intermedio no significa que alcanzarás su velocidad. La razón por la que C es rápido es por el método de escribir el código que obviamente es diferente para otros lenguajes. Es solo un ensamblaje portátil, nada especial.

Rock es un compilador ooc que genera la fuente C99. El ooc-lang es un lenguaje de programación con objetos, funciones de primera clase y unicornios rosados. El ooc es un lenguaje dinámico y camina muy lejos. Genera códigos c más gordos y lentos. Necesita modificar más para satisfacer sus necesidades. Pero es un buen punto de partida.

Vala y Genie son lenguajes que compilan en C. haxe compila en C ++, pero no estoy seguro de que eso sea lo que quieres.

OCaml puede compilar a código de bytes, a código nativo, puede ser interpretado directamente, o se puede compilar a C .

• El compilador de C ++ original de Bjarne Stroustrop, "cfront", compiló C ++ a C, que luego opcionalmente ejecutaría el compilador de C para producir código objeto. C ++ es tan "no teórico" como puedes obtener :-)
• Los compiladores-compiladores Unix "yacc" y GNU "Bison" traducen sus lenguajes de entrada a C. Muchos, muchos sistemas sofisticados se han escrito con ellos.