Learn Unlambda - 10 Code Examples & CST Typing Practice Test
Unlambda is an esoteric functional programming language based on combinatory logic. It eschews traditional variables and functions in favor of function application using only a small set of combinators, emphasizing minimalism and theoretical computation.
Learn UNLAMBDA with Real Code Examples
Updated Nov 26, 2025
Code Sample Descriptions
Hello World in Unlambda
`s``s`ks``s`k`s`kk
``s``s`ks``s`k`s`k``s`ksk
`k``s`k`s`k`k``s`ks``s`k`s`kk
.k
.e
.l
.l
.o
.
.w
.o
.r
.l
.d
.!
A canonical 'Hello World' program in Unlambda. It uses backtick (`) for function application and .x to print characters.
Simple Function Application
`i.B
Demonstrates applying the identity function `i` to print 'B'.
Repeat Printing
`k.C
C
C
Uses the `k` combinator to ignore an argument and print 'C' multiple times.
Conditional Example
`s`k.Y
`k.N
Uses `s` and `k` combinators to simulate a simple conditional printing 'Y' or 'N'.
Nested Functions
`s``s`ks``s`k`s`kk
.X
.Y
Demonstrates nested combinator applications to print 'XY'.
Complex Hello
`s``s`ks``s`k`s`kk
.k
.e
.l
.l
.o
.
Another 'Hello' example using nested combinators and `.x` printing.
Frequently Asked Questions about Unlambda
What is Unlambda?
Unlambda is an esoteric functional programming language based on combinatory logic. It eschews traditional variables and functions in favor of function application using only a small set of combinators, emphasizing minimalism and theoretical computation.
What are the primary use cases for Unlambda?
Experimenting with combinatory logic and functional programming. Educational examples in theoretical computer science. Recreational programming and code-golf challenges. Demonstrating Turing-completeness in minimal languages. Exploring minimalist programming paradigms
What are the strengths of Unlambda?
Demonstrates theoretical foundations of functional programming. Extremely small and minimal language. Challenges conventional programming paradigms. Good for educational and recreational purposes. Turing-complete and capable of arbitrary computation
What are the limitations of Unlambda?
Not practical for real-world programming. Difficult to read, write, and debug. Steep learning curve for beginners. Limited ecosystem and tooling. Mostly academic or hobbyist relevance
How can I practice Unlambda typing speed?
CodeSpeedTest offers 10+ real Unlambda code examples for typing practice. You can measure your WPM, track accuracy, and improve your coding speed with guided exercises.