Some talks from Haskell folks. My experience is with Mercury. https://gitlab.haskell.org/ghc/ghc/-/wikis/linear-types
-----Original Message----- From: Friam <[email protected]> On Behalf Of jon zingale Sent: Tuesday, September 22, 2020 10:14 PM To: [email protected] 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/
