search

sidnt / zionotes

⸮ 🔴zio notes | zio nursery 🔵?
0 stars 0 forks source link

type inference #1

Open sidnt opened 4 years ago

sidnt commented 4 years ago 
val failure = STM.fail("fail")
val success = STM.succeed(1)
def decide(b:Boolean) = if(b) success else failure

(q1) guess the types of each of failure success & decide (q2) reflect on the type inference