FTP | CCD | Buscar | Trucos | Trabajo | Foros |
|
Registrarse | FAQ | Miembros | Calendario | Guía de estilo | Temas de Hoy |
|
Herramientas | Buscar en Tema | Desplegado |
|
#1
|
||||
|
||||
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.
Mi idea es hacerlo "a la Wirth", una máquina virtual/intérprete sencilla, con inspiración RISC, sobre la que funcionen los programas y con la que poder comunicarse. Tengo una ya hecha (mi BAScript) con inspiración en FORTH y escrita en Pascal, pero no termina de gustarme para estos proyectos. En los foros y listas de correos de FreePascal es ya tradición que algún novato proponga (o imponga, que también ha pasado) cambios al lenguaje con ideas procedentes de lenguajes como ADA, Eifel, LISP, Python (de verdad que no entiendo por qué tanto fan de este lenguaje), PHP (en serio, ha pasado), Java (si se aceptara, ¿se consideraría endogamia?) y C++ (sobre todo de las últimas ISO, que son el horror digan lo que digan) entre otros (quería poner algún lenguaje "funcional", pero no recuerdo ninguno ahora; ¿LISP se puede considerar funcional?), amén de que ya han metido soporte para el lenguaje ese intermedio que se re-compila cuando va a ejecutarse que usa GCC. "¿Y a qué viene esto?" os estaréis preguntando. Bueno, en el proceso de crear mis lenguajes he estado investigando sobre lenguajes de programación, nuevos y viejos. 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). Están aplicando técnicas de inteligencia artificial, como redes neuronales y sistemas de aprendizaje, que son realmente quienes traducen el programa escrito por el programador al código que realmente se ejecuta con la escusa de la optimización, y la verdad es que no es un tema que termine de gustarme (en el mejor de los casos estas IA terminarán cometiendo los mismos errores que los humanos, tiempo al tiempo). Luego están los lenguajes que usan gráficos en vez de palabras, que Scratch tiene un pase, pero luego están los que son cajas unidas con flechitas y esos ya son para mear y no echar gota (algún día os tengo que contar lo del becario que tenemos en el trabajo ahora...) En fin, que las cosas evolucionan, y no siempre estaremos de acuerdo. Lo curioso es que son los lenguajes al estilo clásico los que se terminan llevando la pana, por ahora... Y ahora me voy a poner tiquismiquis. Cita:
Cita:
Venga, ya me callo. Última edición por Ñuño Martínez fecha: 17-10-2018 a las 11:21:05. |
#2
|
||||
|
||||
Cita:
Y todo lenguaje puede ser compilado. Cita:
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. |
|
|
Temas Similares | ||||
Tema | Autor | Foro | Respuestas | Último mensaje |
Como Preguntar antes de borrar un registro | kaeltas | Conexión con bases de datos | 6 | 23-04-2013 06:34:08 |
me bucas la ayuda online antes que en delphi | strendek | Windows | 1 | 12-07-2008 17:12:31 |
!hombres Como Los De Antes! | marcoszorrilla | La Taberna | 0 | 11-05-2008 22:32:04 |
Identificación de usuarios antes de ejcutar delphi | pat_velton | Varios | 7 | 26-05-2006 10:00:04 |
|