lenguajes funcionales

Hace un tiempo escribí que estaba de acuerdo con Paul Graham en que los lenguajes de programación se están lispificando. Entre los pasos de esa lispificación están los siguientes:

  • uso de máquinas virtuales en vez de lenguajes compilados (a través de técnicas mixtas como la compilación a códigos intermedios como MSIL de .net ó bytecode de java, pero son máquinas virtuales)
  • unificación de datos y programas a nivel funcional (uso funciones como tipo de datos, closures, etc.)
  • meta programación (DSL’s)

Microsoft también está trabajando en su propio lenguaje de programación funcional que ejecutaría sobre la máquina virtual de .net. El leguaje es F# y soporta tanto programación funcional cómo orientada a objetos, con una sintaxis sucinta, expresiva con tipado fuerte. La descripción podría aplicarse a muchos lenguajes, pero en particular creo que apunta al éxito de ruby. En microsoft es raro que trabajen en algo si realmente no observan una tendencia en el mercado en ese sentido, así que parece que sí estamos en camino de una lispificación.

flattr this!

Deja un comentario