[FRIAM] hot time in town tonight

[jon zingale]

"It's a small change for a person used to writing functional programs to get
in the habit of using linear types."

A small change in habit, but possibly a big change in underlying logic. I
don't have much experience with linear types, but I can see the switch from
closed cartesian categories to closed symmetric monoidal categories coming
with some friction.



--
Sent from: http://friam.471366.n2.nabble.com/