I think linear/affine types as in Rust are cool. For one thing, they seem plausible for physical analogues to computation, like your infinitely-long expressions. In a biochemical system it often wouldn't make sense to `share' a variable across several expressions. A `physical' function would consume its inputs. Similarly linear types are like the no-cloning theorem for quantum states. It's a small change for a person used to writing functional programs to get in the habit of using linear types. Similar to Swarm's notion of switching phases, but where the switching of the method sets is understood by the compiler and can be enforced. Even besides the physical intuition, linear types provide a low-overhead way to manage memory, like is the norm for complex stack-allocated objects in C++.
-----Original Message----- From: Friam <[email protected]> On Behalf Of u?l? ??? Sent: Tuesday, September 22, 2020 4:15 PM To: FriAM <[email protected]> Subject: Re: [FRIAM] hot time in town tonight 92G! All really is one. I'm trying to pack all the try-it-out things coming down my pipeline all in one try-out. A friend of mine wants me to come on board his start-up. He wants to use Rust, of which I'm totally ignorant. I'd like to find a good stack for proper (FAIR, Open) computational publications (e.g. https://wholetale.org/). And you mentioned wasm awhile back. Embarrassingly, the most frustrating part for me was configuring the stupid ports for test deployments of the container. I'm constantly reminded of my incompetence. [sigh] I wonder, though, if the nihilism of the redundant is, could be, satisfied by their chosen authority? They do, really, seem to experience some strong self-satisfaction when they "own the libs". What was it Seth Meyers said the other day? ... something like, "It's like telling a middle school bully, 'Giving me a wedgie won't make your parents get back together.' He knows that, he just wants to give you that wedgie!" On 9/22/20 3:54 PM, Marcus Daniels wrote: > Useful for making files like this! > > -rw-rw-r-- 1 mdaniels mdaniels 92G Jul 22 23:34 all.ped.gz > > I wish I had more energy for trying out bleeding edge stuff like Rust > compiled to wasm. I like to think I try-out more categories of crazy stuff > than I used to, but I probably do not. > > -----Original Message----- > From: Friam <[email protected]> On Behalf Of u?l? ??? > Sent: Tuesday, September 22, 2020 3:34 PM > To: FriAM <[email protected]> > Subject: Re: [FRIAM] hot time in town tonight > > Speaking of GZIP, I learned about PIGZ just the other day while > failing to set up a rust-driven wasm-capable docker container: > https://zlib.net/pigz/ > > On 9/22/20 3:28 PM, Marcus Daniels wrote: >> It seems to me totalitarianism could be a cause or an effect of the >> constituency of a society. If we run the population through GZIP we arrive >> at an effective type count. The redundant could seek out a totalitarian to >> get a `fix' of hope, and they may become so addicted they will accept any >> lie to keep it. -- ↙↙↙ uǝlƃ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . 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/
