Ver Mensaje Individual
  #25  
Antiguo 17-10-2018
Avatar de mamcx
mamcx mamcx is offline
Moderador
 
Registrado: sep 2004
Ubicación: Medellín - Colombia
Posts: 3.911
Reputación: 25
mamcx Tiene un aura espectacularmamcx Tiene un aura espectacularmamcx Tiene un aura espectacular
Cita:
Empezado por Ñuño Martínez Ver Mensaje
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 ), 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 Ver Mensaje
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.
__________________
El malabarista.
Responder Con Cita