Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-

/prog/ challenge #343546568356735

Name: Anonymous 2017-01-14 3:11

dubs checker in lambda calculus

Name: Anonymous 2017-01-14 4:32

Check em

Name: Anonymous 2017-01-14 4:55

Check em

Name: Anonymous 2017-01-15 0:46

What should I use to encode numbers in lambdas? Church's system?

Name: Anonymous 2017-01-15 1:22

Name: Anonymous 2017-01-15 4:23

>>4

want to go to church with me

Name: Anonymous 2017-01-15 7:49

I need a modulo function with only one argument

Name: Anonymous 2017-01-15 7:56

Or two half modulo functions

Name: Anonymous 2017-01-15 8:13

I guess you could hard-code most of it
def divten(x)->x/10
def modten(x)->x%10
def subone(x)->x-1 def subtwo(x)->x-2 def subthree(x)->x-3 ...
def subeight(x)->x-8 def subnine(x)->x-9

case( case modten(x) 1:divten(subone(modten(x))) 2:divten(subtwo(modten(x)))
3:divten(subthree(modten(x))) ) ?

Name: Anonymous 2017-01-15 8:27

case modten(x) modten(divten(x - modten(x))): print("You got Dubs!") else: print("Better luck next time")

Name: Anonymous 2017-01-15 19:32

>>7
function modulox(x){return function(n){return n % x;}}

/prog/ challenge #343546568356735

1 Name: Anonymous 2017-01-14 3:11

2 Name: Anonymous 2017-01-14 4:32

3 Name: Anonymous 2017-01-14 4:55

4 Name: Anonymous 2017-01-15 0:46

5 Name: Anonymous 2017-01-15 1:22

6 Name: Anonymous 2017-01-15 4:23

7 Name: Anonymous 2017-01-15 7:49

8 Name: Anonymous 2017-01-15 7:56

9 Name: Anonymous 2017-01-15 8:13

10 Name: Anonymous 2017-01-15 8:27

11 Name: Anonymous 2017-01-15 19:32