AttaLambda - Un lenguaje de programación construido sobre cálculo lambda puro
Show HN: AttaLambda: a language where types and data are made of untyped lambdas
AttaLambda es un lenguaje de programación minimalista que se basa en el cálculo lambda puro y sin tipos. Su computación se construye a partir de funciones unarias y aplicación, pero añade una sintaxis legible, números racionales exactos y comprobaciones de tipos en tiempo de ejecución. El input y output cruzan una frontera separada con el host. Con AttaLambda, puedes escribir código como `(def square x = (mult x x))` y ejecutar operaciones funcionales de manera sencilla. Ideal para explorar los fundamentos de la computación y la teoría de tipos, AttaLambda ofrece una experiencia práctica y educativa. Visita el sitio para explorar el lenguaje, ver ejemplos o comenzar a usarlo.
AttaLambda es un lenguaje pequeño construido sobre cálculo lambda puro y sin tipos. Su computación ordinaria se construye a partir de funciones unarias y aplicación. Añade sintaxis legible, números racionales exactos y comprobaciones de tipos en tiempo de ejecución.