Re: hot time in town tonight

Posted by Marcus G. Daniels on
URL: http://friam.383.s1.nabble.com/hot-time-in-town-tonight-tp7598774p7598812.html

Some talks from Haskell folks.  My experience is with Mercury.

https://gitlab.haskell.org/ghc/ghc/-/wikis/linear-types

-----Original Message-----
From: Friam <[hidden email]> On Behalf Of jon zingale
Sent: Tuesday, September 22, 2020 10:14 PM
To: [hidden email]
Subject: Re: [FRIAM] hot time in town tonight

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

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