Questions tagged [church]
4 questions
4
votes
2 answers
Non-escaping error when implementing Church Numerals in Swift 3
I am attempting to implement Church Numerals in Swift 3. Currently, I have:
func numToChurch(n: Int) -> ((Int) -> Int) -> Int {
return { (f: (Int) -> Int) -> (Int) -> Int in
return { (x : Int) -> Int in
return…
fayche
- 81
- 7
2
votes
1 answer
Alonzo Church numerals in SML
I have an assignment that involves making church numerals in SML. I've looked around and just can't find what I'm doing wrong. The goal is to make a function that takes an int and returns a church numeral, defined as datatype 'a numeral = Num of ('a…
Arsarcanum
- 21
- 3
1
vote
0 answers
Does the Church programming language work on Windows?
Has anyone gotten the Church programming language to work on Windows? I followed the directions here and I wasn't able to run the examples in the tutorial in any obvious way. I used ikarus although I would be quite satisfied to use PLT Scheme (now…
John with waffle
- 4,113
- 21
- 32
1
vote
1 answer
Podcast feed in Android app
I am working on an android app for my church and would like to put our sermons on it. The company we upload our sermons to automatically makes a podcast feed for it. Basically I am looking for a way to list podcasts inside of the app. I would like…
auntphil
- 11
- 2