[FRIAM] hot time in town tonight

[Marcus Daniels]

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

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

-----Original Message-----
From: Friam <friam-bounces at redfish.com> On Behalf Of jon zingale
Sent: Tuesday, September 22, 2020 10:14 PM
To: friam at redfish.com
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/