Carl Mäsak

> I'm curious if you get anything useful out of [this](https://verdagon.dev/blog/higher-raii-7drl). Yes! My immediate reaction is that "substructural type systems are cool and useful" — vide Rust, and [Perceus](https://www.microsoft.com/en-us/research/uploads/prod/2021/06/perceus-pldi21.pdf), and,...

Relevant to the way continuations generalize regular functions and the stack paradigm (from a 2012 blog post by John Shutt about [guarded continuations](https://fexpr.blogspot.com/2012/01/guarded-continuations.html)): > When a function `f` calls another...

A quote I just ran into, which corresponds to where I was planning to make this issue end up: > "_The most_ important problem right now in computing is —...

Parts of this story gain a sharper edge by more carefully separating the pure/applicative/expression world from the monadic/heap-memory/sequential world, like [PFPL](http://www.cs.cmu.edu/~rwh/pfpl/) does, which I'm currently reading with great appreciation. On...

> In recent years I've been thinking of 6model as "actor model ready". Do you get what I mean? I think so, but to the extent I do, I'm not...

> Have I mentioned / are you aware of [Pony and ORCA](https://tutorial.ponylang.io/appendices/garbage-collection.html)? @raiph I don't think so, on both counts. Skimming the linked page, it sounds amazing, but it's also...

> There's a quote about Dijkstra somewhere about how his main insight about concurrency is that it's not about adding something (such as "threading"), it's about removing a restriction/assumption (such...

A further thrust at the question of 6model's actor-model-readiness. Here's a quote by Robin Milner from his [Turing award lecture](https://fi.ort.edu.uy/innovaportal/file/20124/1/52-a1991-milner.pdf): > Now, the pure lambda-calculus is built with just two...

Here's another reference for future reading and incorporation into the themes of this thread: [The Purely Functional Software Deployment Model](https://edolstra.github.io/pubs/phd-thesis.pdf) (Eelco Dolstra's PhD thesis). It's the basis for the [Nix...

The abstraction ladder, identified in the OP, also spans another axis: that between _values_ and _resources_. Computer science tends to talk about values, but software engineering has an understandable focus...