¿Hay un lenguaje de estilo C++ sin adornos de C?

Question

La razón principal para usar C++ sobre un lenguaje administrado en estos días es obtener los beneficios que C++ trae a la mesa. Uno de los pilares de C++ es "no pagas por lo que no necesitas". Sin embargo, se puede argumentar que a veces no se quiere pagar por la compatibilidad con versiones anteriores de C. Muchas de las extrañas peculiaridades de C++ se pueden atribuir a esta compatibilidad con versiones anteriores. ¿Qué otros idiomas hay donde "no pagas por lo que no necesitas", incluida la compatibilidad con C?

Edición/aclaración: El verdadero asesino para mí está en esa segunda oración. ¿Hay un lenguaje verdaderamente diseñado desde cero que no impone cosas que no quieres en tu código? C++ tiene eso como filosofía de diseño: ¿no quieres RTTI? No existe. ¿No quieres recolección de basura? No está ahí. El problema con C++ es que (IMO) viola este requisito cuando se niega a romper con el pasado. No quiero que el fragmento de compatibilidad con versiones anteriores con el código de 20 años impida mi avance. C++ no está dispuesto a hacer eso. ¿Qué es/tiene?

Edit2: Supongo que debería haber sido más claro acerca de lo que es un costo. Hay múltiples costos potenciales. El que inicialmente me estaba enfocando era el costo del tiempo de ejecución.

En C++, el polimorfismo a través de métodos virtuales tiene un costo. Pero no todos los métodos pagan ese costo. Se llama a un método C++ no virtual con el mismo costo de tiempo de ejecución que una función simple C antigua (que tiene al menos un parámetro). C++ no requiere que uses polimorfismo. En otros lenguajes de OOP, todos los métodos son virtuales, por lo que no se puede evitar el costo del polimorfismo.

Los costos de tiempo de ejecución son más importantes pero otros costos mitigan eso. El lenguaje ensamblador tendría la menor sobrecarga de tiempo de ejecución, obviamente, pero los costos de escritura y mantenimiento del lenguaje ensamblador son un gran golpe en su contra.

Con esto en mente, la idea es encontrar idiomas que proporcionen abstracciones útiles que, cuando no se usan, no afectan los costos de tiempo de ejecución.

Answer 1

D language

D es un sistemas de propósito y aplicaciones de lenguaje de programación de. Es un lenguaje de nivel superior que C++, pero conserva la capacidad de escribir código e interfaz de alto rendimiento directamente con las API del sistema operativo y con el hardware. D es muy adecuado para escribir programas de línea de millón a gran escala con equipos de desarrolladores. D es fácil de aprender, ofrece muchas capacidades para ayudar al programador y se adapta bien a la tecnología agresiva de optimización del compilador.

El aspecto general de D es como C y C++. Esto facilita el aprendizaje y el código del puerto a D. La transición de C/C++ a D debería ser natural. El programador no tendrá que aprender una forma completamente nueva de hacer las cosas.

D reemplaza C la compatibilidad con el código fuente C. Las extensiones a C que mantienen la compatibilidad con la fuente ya se han hecho (C++ y ObjectiveC). Más trabajo en esta área se ve obstaculizado por tanto código heredado que es poco probable que se puedan realizar mejoras significativas.

Answer 2

También puede tratar de Ch: http://www.softintegration.com/

Answer 3

Trate Aikido. Sintácticamente similar a C++, y no creo que herede compatibilidad retroactiva de estilo C.

Aikido @ Wikipedia

Answer 4

estoy tentado a downvote esta pregunta (pero hasta el momento no tengo). Su requisito de que "usted no paga por lo que no usa" depende en gran medida de lo que use exactamente.Ya mencionó en uno de sus comentarios que ensamblar es quizás el lenguaje más libre de fluff que existe, pero se queja de C, que se encuentra en algún lugar entre el ensamblado y C++.

Si encuentra que la recolección de basura y las características explícitas orientadas a objetos son "pelusas", entonces, francamente, creo que C es probablemente el mejor candidato. El lenguaje es realmente pequeño y elegantemente diseñado. Cumple con el requisito de "encajar en la cabeza" de la mayoría de las personas. Para un lenguaje que le da un control tan estrecho sobre el hardware, es muy expresivo.

Si no estás vinculado al hardware, entonces Scheme o algún otro dialecto minimalista de Lisp probablemente se adecue a "no impone lo que no quieres en tu código", pero de nuevo, todo depende tanto en qué es exactamente lo que no quieres.

Si hay algunas características de nivel superior que "no se puede vivir sin" (que parece implicar al nombrar "C++ sin compatibilidad C" como idioma de su elección), debe decir explícitamente cuáles son. ¿Qué es exactamente lo que C++ trae a la mesa que no quieres sacrificar?

Answer 5

SPECS es una unión sintáctica alternativa para C++. Este enlace incluye una sintaxis simple para declarar y definir tipos, funciones, objetos y plantillas, y cambia varios operadores problemáticos y estructuras de control. La sintaxis resultante es LALR (1) parseable.

Answer 6

Eiffel. Parece que Pascal tiene semántica de tipo C++. Además, agrega aserciones especiales de "programación por contrato" que están integradas en la definición del idioma, años antes de que la gente hablara sobre las bibliotecas de la "Unidad X".

Answer 7

Ada es otra alternativa - gc es opcional en la implementación del lenguaje:

http://en.wikipedia.org/wiki/Ada_(programming_language)

Answer 8

No estoy exactamente seguro de lo que cuesta la compatibilidad con C tiene ...

Answer 9

I' No estoy seguro de que haya éxitos en el tiempo de ejecución asociados con la compatibilidad con versiones anteriores de C, ¿podría explicarlo? Ciertamente, la compatibilidad con versiones anteriores le da más cuerda para colgarse, pero la aplicación estricta de las normas puede mitigar eso. Entonces, supongo que mi respuesta es que C++ es el lenguaje que hace lo que pide y solo necesita una herramienta para aplicar construcciones válidas.

Editar: extraño que no me di cuenta el cargo directamente debajo de mí con la misma primera línea de comentario