mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-07-14 15:10:25 +03:00
23 lines
460 B
Plaintext
23 lines
460 B
Plaintext
# A cool trick involving unscoped lambdas
|
|
# Implements constant-time queues with just lambdas
|
|
|
|
# Qnew : Queue a
|
|
Qnew = λx x
|
|
|
|
# Qadd : a -> Queue a -> Queue a
|
|
Qadd = λx λq λk (q λc (c x k))
|
|
|
|
# Qrem : Queue a -> Pair a (Queue a)
|
|
Qrem = λq (q $k λx λxs λp(p x λ$k xs))
|
|
|
|
# Output: [1, 2, 3]
|
|
main =
|
|
let q = Qnew
|
|
let q = (Qadd 1 q)
|
|
let q = (Qadd 2 q)
|
|
let q = (Qadd 3 q)
|
|
((Qrem q) λv0 λq
|
|
((Qrem q) λv1 λq
|
|
((Qrem q) λv2 λq
|
|
[1, 2, 3])))
|