Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
Ben Sless 2021-12-08T18:24:41.004500Z
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?
2021-12-17T20:19:19.004900Z
nothing like that, no
Ben Sless 2021-12-17T21:07:12.005500Z
What about linear types?
2021-12-18T01:08:58.005700Z
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.
2021-12-18T01:09:30.005900Z
what are your use cases?
Ben Sless 2021-12-18T05:32:28.006100Z
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
2021-12-18T19:18:56.006300Z
thanks. if you happen to know resources for what's involved in theory and impl for linear types please point me to them.