fork download 
  1. zero = lambda f: lambda x: x
  2. succ = lambda n: lambda f: lambda x: f(n(f)(x))
  3. one = succ(zero)
  4. add = lambda n: lambda m: m(succ)(n)
  5. mult = lambda n: lambda m: n(lambda p: add(p)(m))(zero)
  6. two = succ(one)
  7. three = succ(two)
  8. four = succ(three)
  9. five = succ(four)
  10. six = succ(five)
  11. seven = succ(six)
  12. eight = succ(seven)
  13. nine = succ(eight)
  14. ten = succ(nine)
  15. fifty = mult(ten)(five)
  16. TRUE = one
  17. FALSE = zero
  18. IS_ZERO = lambda n: n(lambda x: FALSE)(TRUE)
  19. IF = lambda condition: lambda success: lambda failure: condition(lambda x: success)(failure)
  20. NAND = lambda a: lambda b: IF(a)(IF(b)(FALSE)(TRUE))(TRUE)
  21. NOT = lambda a: NAND(a)(a)
  22. AND = lambda a: lambda b: NOT(NAND(a)(b))
  23. OR = lambda a: lambda b: NAND(NOT(a))(NOT(b))
  24. XOR = lambda a: lambda b: OR(AND(a)(NOT(b)))(AND(b)(NOT(a)))
  25. YCOMB = lambda f: f(f)
  26. PAIR = lambda a: lambda b: lambda cond: IF(cond)(b)(a)
  27. STACK = PAIR(zero)(PAIR(zero)(zero))
  28. LEN = lambda stack: stack(zero)
  29. PUSHED = lambda stack: lambda element: PAIR(succ(LEN(stack)))(PAIR(element)(stack))
  30. TOP = lambda stack: stack(one)(zero)
  31. POPPED = lambda stack: stack(one)(one)
  32. AT = lambda stack: lambda n: TOP(n(POPPED)(stack))
  33. RANGE = lambda n: n(lambda stack: PUSHED(stack)(LEN(stack)))(STACK)
  34. pred = lambda n: TOP(RANGE(n))
  35. sub = lambda m: lambda n: TOP(n(POPPED)(RANGE(succ(m))))
  36. REDUCE = YCOMB(lambda s: lambda f: lambda seq: lambda start: IF(IS_ZERO(LEN(seq)))(lambda:start)(lambda:f(s(s)(f)(POPPED(seq))(start))(TOP(seq)))())
  37. MAP    = lambda f: lambda seq: REDUCE(lambda rest: lambda cur: PUSHED(rest)(f(cur)))(seq)(STACK)
  38. FILTER = lambda f: lambda seq: REDUCE(lambda rest: lambda cur: IF(f(cur))(PUSHED(rest)(cur))(rest))(seq)(STACK)
  39. GREATER_THAN = YCOMB(lambda s: lambda m: lambda n: IF(IS_ZERO(m))(lambda: FALSE)(lambda: IF(IS_ZERO(n))(lambda: TRUE)(lambda: s(s)(pred(m))(pred(n)))())())
  40. LESS_THAN = lambda m: lambda n: GREATER_THAN(n)(m)
  41. EQUALS = lambda m: lambda n: NOT(OR(GREATER_THAN(m)(n))(LESS_THAN(m)(n)))
  42. REVERSED = lambda stack: MAP(lambda idx: AT(stack)(idx))(RANGE(LEN(stack)))
  43. CONCAT = lambda stack_a: lambda stack_b: REDUCE(lambda rest: lambda cur: PUSHED(rest)(cur))(stack_a)(stack_b)
  44. divide = YCOMB(lambda s: lambda q: lambda d: IF(LESS_THAN(q)(d))(lambda:zero)(lambda:succ(s(s)(sub(q)(d))(d)))())
  45. mod = YCOMB(lambda s: lambda x: lambda y: IF(LESS_THAN(x)(y))(lambda:x)(lambda:s(s)(sub(x)(y))(y))())
  46. divisible = lambda x: lambda y: IS_ZERO(mod(x)(y))
  47. ORD = lambda n: add(n)(add(mult(four)(ten))(eight))
  48. numeral_to_string = YCOMB(lambda s: lambda n: IF(LESS_THAN(n)(ten))(lambda:PUSHED(STACK)(ORD(n)))(lambda:PUSHED(s(s)(mod(n)(ten)))(ORD(divide(n)(ten))))())
  49. fizz = PUSHED(PUSHED(PUSHED(PUSHED(STACK)(add(mult(add(mult(one)(ten))(two))(ten))(two)))(add(mult(add(mult(one)(ten))(two))(ten))(two)))(add(mult(ten)(ten))(five)))(add(mult(seven)(ten))(zero))
  50. buzz = PUSHED(PUSHED(PUSHED(PUSHED(STACK)(add(mult(add(mult(one)(ten))(two))(ten))(two)))(add(mult(add(mult(one)(ten))(two))(ten))(two)))(add(mult(add(mult(one)(ten))(one))(ten))(seven)))(add(mult(six)(ten))(six))
  51. fizzbuzz = PUSHED(PUSHED(PUSHED(PUSHED(PUSHED(PUSHED(PUSHED(PUSHED(STACK)(add(mult(add(mult(one)(ten))(two))(ten))(two)))(add(mult(add(mult(one)(ten))(two))(ten))(two)))(add(mult(add(mult(one)(ten))(one))(ten))(seven)))(add(mult(nine)(ten))(eight)))(add(mult(add(mult(one)(ten))(two))(ten))(two)))(add(mult(add(mult(one)(ten))(two))(ten))(two)))(add(mult(ten)(ten))(five)))(add(mult(seven)(ten))(zero))
  52. fb = lambda n: PUSHED(IF(divisible(n)(three))(IF(divisible(n)(five))(fizzbuzz)(fizz))(IF(divisible(n)(five))(buzz)(numeral_to_string(n))))(ten)
  53. JOIN = lambda seq: REDUCE(CONCAT)(seq)(STACK)
  54. to_list = YCOMB(lambda s: lambda i: lambda seq: [i(TOP(seq))] + s(s)(i)(POPPED(seq)) if i(LEN(seq)) else [])(lambda n: n(lambda a: a+1)(0))
  55. print "".join(map(chr, to_list(JOIN(MAP(fb)(RANGE(fifty))))))
Success #stdin #stdout 1.96s 7920KB
comments (?)
stdin 
Standard input is empty
stdout 
Fizzbuzz
1
2
Fizz
4
Buzz
Fizz
7
8
Fizz
Buzz
11
Fizz
13
14
Fizzbuzz
16
17
Fizz
19
Buzz
Fizz
22
23
Fizz
Buzz
26
Fizz
28
29
Fizzbuzz
31
32
Fizz
34
Buzz
Fizz
37
38
Fizz
Buzz
41
Fizz
43
44
Fizzbuzz
46
47
Fizz
49
https://ideone.com/7jsfAB
language:
Python (cpython 2.7.16)
created:
10 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!