Re: hot time in town tonight

Posted by jon zingale on
URL: http://friam.383.s1.nabble.com/hot-time-in-town-tonight-tp7598774p7598811.html

"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/

- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .
FRIAM Applied Complexity Group listserv
Zoom Fridays 9:30a-12p Mtn GMT-6  bit.ly/virtualfriam
un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com
archives: http://friam.471366.n2.nabble.com/
FRIAM-COMIC http://friam-comic.blogspot.com/