¿Cuáles son algunos lenguajes dinámicos de grado de investigación?

Dinámico es un término peligroso …

“Dinámico” es una jerga técnica utilizada por los programadores, que significa “bueno”. Se deriva del latín dyno mite , que significa “Estoy extremadamente satisfecho”, y se registra por primera vez en la obra histórica Bona Aetas del sabio y experto romano JJ Walker. Su significado evolucionó en el siglo IV después de que los monjes copiando un oscuro manuscrito sobre programación lingüística en su ignorancia intentaron deducir su significado del contexto.

(Fuente en [1].)

Blandir “dinámico” tiende a desatar objeciones como las anteriores. Son pedantes (lo anterior es al menos irónico), pero incluso teniendo en cuenta el hecho de que presumiblemente te refieres a un tipo dinámico y fuerte, las cosas no son exactamente claras. Objective-C, por ejemplo, se escribe esencialmente de forma dinámica, aunque también es un estricto superconjunto de C, que generalmente se considera estático. Perl también es una combinación de ambos, y en general la mayoría de los idiomas no encajan perfectamente en ninguno de los dos.

De todos modos, si observamos el extremo del espectro con un tipo más dinámico, algunas de las investigaciones más interesantes (que supongo que solo significan impopulares) incluyen:

  • Self: fue pionero en muchas de las técnicas que utilizan las implementaciones modernas de JavaScript. También Rasgos, que ahora están presentes en Squeak, Fortress y (posiblemente) Ruby.
  • Dylan: fuertemente influenciado por Ruby, y algunos trabajos interesantes sobre cosas como macros higiénicas, pero principalmente un callejón sin salida lingüístico.
  • Squeak: más que una simple implementación de Smalltalk. El paradigma MVC, por ejemplo, se desarrolló por primera vez en el entorno Squeak.
  • Adelante: no encaja perfectamente en la clásica dicotomía estática / dinámica, pero generó una costura lingüística sorprendentemente interesante (PostScript, Factor y (más o menos) Joy).
  • Scratch: uno de los lenguajes de programación visual más interesantes.
  • Io: un interesante híbrido Smalltalk / Lisp.
  • Newspeak: Gilad Bracha (coautor de la especificación Java) está desarrollando Newspeak como un híbrido Smalltalk / Self. Su blog tiende a ser bastante interesante si te gusta el diseño de idiomas.

[1] http://lambda-the-ultimate.org/n…

Suponiendo que se refería a idiomas escritos dinámicamente (ya que los usa fuertemente tipados como la otra dimensión en su publicación), la publicación restante solo enumera los idiomas escritos dinámicamente.

Hay algunas investigaciones en

  • Raqueta: un lenguaje derivado del esquema

    La investigación en Racket que conozco incluye macros de primera clase, mecanografía opcional, idiomas específicos de dominio e idiomas de flujo de datos.

  • Oz language: Dataflow como mecanismo de concurrencia.
  • Hay algunas investigaciones en lógica de orden superior en lenguajes derivados de Prolog, pero no sé si alguno de ellos todavía está escrito dinámicamente.
  • AOP en Smalltalk parece que ya no está activo, pero hubo algunas investigaciones hace unos años. (Diría que OO en cualquier idioma mide el sistema de tipo relajante a algún existente para la unión tardía).
  • El lenguaje Orc de UT Austin se escribe dinámicamente y explora la concurrencia de flujo de datos.

More Interesting

¿Cuáles son algunos temas candentes en la investigación en nanotecnología?

¿Cuáles son algunos temas interesantes para la investigación que combinan el conocimiento de la energía eólica / solar (energía limpia) y el aprendizaje automático?

¿Cuáles son los mejores / más comunes algoritmos de clasificación de aprendizaje supervisado para datos de series temporales?

A un alto nivel, ¿cuáles son las principales diferencias entre los proyectos académicos y los de la industria para la visión por computadora?

¿Qué podría mejorarse sobre la educación en informática?

¿En qué se diferencia la investigación de IA en India de la investigación de IA en EE. UU. O China?

¿Cómo puedo aprender la teoría del lenguaje de programación?

¿Cuál es el estado del arte en bases de datos temporales?

¿Cuál es el alcance de la investigación en aprendizaje automático?

En su POE, si un solicitante de doctorado de CS enumera grandes errores en un documento de investigación de su posible asesor de doctorado, ¿eso impresionaría al comité de admisiones?

¿Cuáles son los temas más candentes en matemáticas aplicadas?

¿Cuáles son algunas buenas implementaciones de MapReduce para gráficos, lo que significa un marco de gráficos de código abierto altamente distribuido y de uso general, y qué tan bien funcionaron para usted en la práctica?

¿Cuáles son los mayores problemas con la seguridad informática en los laboratorios?

¿Qué tipo de proyectos debe hacer un estudiante universitario interesado en las finanzas cuantitativas?

¿Cuál es el equivalente moderno de lo que era Xerox PARC hace décadas?