Also `def` for `fun` :wink:
# language-proposalsr
raulraja
01/12/2018, 7:19 PMAlso
deffun👍 1
🧌 2
k
karelpeeters
01/12/2018, 7:20 PMI can't really handle typingall the time 😞.fun
😂 2
r
raulraja
01/12/2018, 7:30 PMIf there was a way to do effect control I'd actually like something like:
Copy code
pure fun x(): Int = 0 //compiles
pure fun y(): Int {
println("boom!")
return 1
} //does not compile because `println` is an effect.
pure fun z(): () -> Int = {
println("boom!")
0
} // compiles because the effect is controled by a functionk
karelpeeters
01/12/2018, 7:35 PMThat's actually a cool idea, why do you put that in this thread?
👍 1
r
raulraja
01/12/2018, 7:43 PMI'll put it in the channel
r
Ruckus
01/12/2018, 7:46 PMI don't think there is any way for that to work with platform interop
r
raulraja
01/12/2018, 7:47 PMyeah, I'm sure there is a lot of issues to work around to be able to implement something like this.