Fork me on GitHub
#core-typed
<
2021-12-08
>
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?

ambrosebs20:12:19

nothing like that, no

Ben Sless21:12:12

What about linear types?

ambrosebs01:12:58

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.

ambrosebs01:12:30

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

ambrosebs19:12:56

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