Cita:
Empezado por Ñuño Martínez
Yo llevo tiempo con un par de lenguajes de programación rondándome la cabeza. Todavía no los he puesto en práctica (y tardaré en hacerlo ![Frown](http://www.clubdelphi.com/foros/images/smilies/frown.gif) ), pero mi idea no es ir a C, principalmente porque no pretenden ser lenguajes de sistema sino para extensiones ( scripting), aunque pretendo que la implementación final sea en C por razones explicadas por varios de vosotros más arriba. Sólo uno de los dos lenguajes podría ser "compilado" ya que el otro tiene un objetivo demasiado específico.
|
Estoy trabajando ahora con
https://www.rust-lang.org/en-US/. Una alternativa a C/C++ con un excelente tooling y mejoras enormes. Si te quejas que los lenguajes modernos no son estrictos, este te va a encantar! Porque es tremendamente estricto y no deja hacer muchas de las burradas que se pueden en otros lenguajes. Es en lo que estoy haciendo mi lenguaje:
http://tablam.org.
Y todo lenguaje puede ser compilado.
Cita:
Empezado por Ñuño Martínez
La cosa es que no termina de gustarme la deriva que están siguiendo, siendo cada vez menos concretos: cada vez hay menos lenguajes con variables fuertemente tipadas, e incluso están siendo cada vez más comunes lenguajes en los que el programador sólo da una indicación de lo que quiere hacer y luego el "ejecutor" (por ponerle un nombre) decide cómo hacerlo (algo así como SQL, pero más bestia)
|
Esto conecta con lo anterior que dices. La gente crea mas lenguajes no para hacer lo que esta haciendo sino para explorar ideas. Puede que algunas sean absurdas, raras o poco usuales. Por ejemplo, el mio es un lenguaje relacional (como sql, pero mucho mejor y que "parece" tipo python/pascal/funcional para que sirva para todo tipo de apps).
Lo del "ejecutor" se llama
https://en.wikipedia.org/wiki/Type_inference. Todo esto lo mueven en especial academicos que tratan de averiguar esto o aquello. Con el Type inference, se especula no solo que se puede programar con un lenguaje fuertemente tipado, sino que se puede al estilo de uno dinamico. Y va mas alla, que se puede no solo tener tipos fuertes, sino efectos fuertes:
https://coq.inria.fr/
Esta el la comunidad donde se mueven estos temas:
http://lambda-the-ultimate.org
P.D: Creo que seria bueno retomar esta discusión en otro hilo.