forth factor-lang concatenative-language

forth - Uso real de lenguajes de programación concatenativos.



factor-lang concatenative-language (8)

Como escribió Greg, la posdata es el ejemplo gigantesco.

Los lenguajes concatenativos aparecen en todas partes, naturalmente, debido a la naturaleza trivial del tiempo de ejecución del lenguaje. Es uno de los favoritos para muchos firmwares: por primera vez me encontré con Forth "en la carne" en el cargador de arranque para un Sun Sparcstation. Se alimenta el firmware para la OLPC.

El padre de Ocaml, Caml, se basó en la realización de la semántica de la programación funcional como la Máquina categórica abstracta (CAM en Caml).

Bibtex usa un lenguaje concatenativo para compilar archivos de estilo.

¿Cuáles son algunos proyectos del mundo real realizados en lenguajes concatenativos como Forth , Factor , Joy , etc.?

Eche un vistazo a FORTH Inc , enumeran varios proyectos que hicieron ellos y sus clientes, utilizando su FORTH.

El protocolo de Bitcoin, y la mayoría de las otras criptomonedas , usa scripts de pubkey y scripts de firma para la validación de transacciones:

Los scripts de Pubkey y los scripts de firma combinan secp256k1 pubkeys y signatures con lógica condicional, creando un mecanismo de autorización programable.

Estos scripts están escritos en un lenguaje concatenativo :

El lenguaje de script es un lenguaje basado en la pila similar a Forth diseñado deliberadamente para ser sin estado y no Turing completo. La apatridia asegura que una vez que se agrega una transacción a la cadena de bloques, no existe ninguna condición que la haga permanentemente irreprochable. El carácter incompleto de Turing (específicamente, la falta de bucles o gotos) hace que el lenguaje de script sea menos flexible y más predecible, simplificando en gran medida el modelo de seguridad.

Existe el Quartus Forth for Palm, un tanto obsoleto pero muy bueno, que permitió el desarrollo completo de aplicaciones compiladas en el dispositivo Palm (Forth, como lenguaje minimalista, funciona bastante bien en esas circunstancias). Su página de inicio enumera varias aplicaciones de Palm.

Esta página de la FIG contiene una lista de proyectos en su mayoría integrados que incluyen una referencia al uso muy bueno de Forth por parte de la NASA .

Conocí a un chico en una conferencia de Apple en Queensland en 1991, que había vendido una aplicación de planificación vial escrita en MacForth .

Christopher Diggins hablaba de que su lenguaje Cat se usaba dentro de Microsoft para ayudar a optimizar los compiladores, pero no sé si eso fue a alguna parte.

Sospecho que PowerMOPS (el sucesor de Neon) puede eludir la definición de concatenativa porque su gran problema es agregar orientación a objetos, lo que implica instancias.

PostScript es concatenativo, y obviamente hay una gran cantidad de aplicaciones de PostScript. Simplemente no es un lenguaje de programación de propósito general.