Skip to content
HN On Hacker News ↗

AttaLambda — A small language built on lambda calculus

▲ 49 points • 7 comments • by kserrec • 4w ago • HN discussion ↗

Pangram verdict · v3.3

We believe that this text is a mix of AI and human-written content.

68 %

AI likelihood · overall

Mixed
40% human-written 60% AI-generated
SEGMENTS · HUMAN 0 of 2
SEGMENTS · AI 1 of 2
WORD COUNT 73
PEAK AI % 87% · §1
Analyzed
Sep 16
backend: pangram/v3.3
Segments scanned
2 windows
avg 37 words each
Distribution
40 / 60%
human / AI fraction
Verdict
Mixed
Pangram v3.3

Article text · 73 words · 2 segments analyzed

Human AI-generated
§1 AI · 87%

AttaLambda is a small language built on pure, untyped lambda calculus. 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.

§2 Mixed · 38%

#lang attalambda (def square x = (mult x x)) (print (map square (list 1 2 3 4))) Output (no trailing newline) [1, 4, 9, 16] Explore the language, see examples, or get started.