Fork me on GitHub
Ben Sless18:12:41

Is it possible to express with core typed constraints such as: • a function is non blocking • (fn [f g]) where only f or g are called but not both?


nothing like that, no

Ben Sless21:12:12

What about linear types?


no. we tried to add them about 5 years ago, but it didn't pan out. after trying rust recently, I think they would be useful for checking transients.


what are your use cases?

Ben Sless05:12:28

A. Checking transients B. Wondering if it would be possible to cheat with my second question by passing some token to both functions and requiring it is used only once


thanks. if you happen to know resources for what's involved in theory and impl for linear types please point me to them.