Attalambda
The Story
AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks.
Its ordinary computation is built from unary functions and application. It adds readable syntax, exact rational numbers, and runtime type checks. Input and output cross a separate host boundary.
#lang attalambda (def square x = (mult x x)) (print (map square (list 1 2 3 4))) Output (no trailing newline)
[1, 4, 9, 16] Learn how it works from the ground up , explore the language , see examples , or get started .
Overview
AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks.
AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks.
Its ordinary computation is built from unary functions and application. It adds readable syntax, exact rational numbers, and runtime type checks. Input and output cross a separate host boundary.
#lang attalambda (def square x = (mult x x)) (print (map square (list 1 2 3 4))) Output (no trailing newline)
[1, 4, 9, 16] Learn how it works from the ground up , explore the language , see examples , or get started .
FAQ
What is Attalambda?
AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks.
Where can I access Attalambda?
Use the official product link below. It is the destination recorded for this listing.
Where should I check current pricing and availability?
Check the current product page before making a decision. The directory's pricing category is a listing field, not a live price quote or availability guarantee.
What stack is Attalambda built with?
The CompassPad entry does not list a specific stack for Attalambda.
Is Attalambda free, or does it cost money?
The CompassPad listing records Attalambda as free to use. Check the product page for any optional paid options.
What we checked
- DISCOVEREDFound in the wild
This listing was discovered from a public launch post and the description above is drawn from the product's own website.
- LIVEProduct site
The product site resolved when this entry was added to the catalog.
Discussion
No comments yet. Be the first.
Join the conversation. Sign up to comment.
Sign up free