Carl Mäsak
Carl Mäsak
This works as expected (and is already a test in `t/mac-safe.t`): ``` > (safe (car 'a)) nil ``` This doesn't (and isn't): ``` > (safe x) Error: ('unboundb x) ```...
This works, as it should: ``` $ bel Language::Bel 0.63 -- msys. > (let x 0 (for i 1 1)) nil > ``` But then this doesn't: ``` $ cat...
The language Fortress is unfortunately not moving a lot these days. But Steele's 2009 talk about how to use associative operations/monoids/reduction to [escape the sequential shackles of our past](https://www.youtube.com/watch?v=ftcIcn8AmSY&pp=ygURZ3V5IHN0ZWVsZSBnb29nbGU%3D) still...
This is very late to the party, but I'd rather have an issue about this, and try to extract what I can. * https://web.archive.org/web/20071212190058/http://eidola.org/ "Eidola" The project/language was active in...
It seems I write these issues these days instead of blog posts. Very well. This issue is a self-closing one about the new spec I'm writing. Oh right, I'm writing...
It sounds [very good](https://lean-lang.org/papers/lean4.pdf): > Lean 3’s "mixfix" notation system is still supported in Lean 4, but based on the much more general macro system; in fact, the Lean 3...
* Kim is described here: [Language Desgin Consistency](https://curtispoe.org/articles/language-design-consistency.html) by Curtis "Ovid" Poe * Unified declarations, of the style `name : kind = statement`, are described here: [Declarations and aliases -...
I remember reading [Hygienic Macro Technology](https://dl.acm.org/doi/10.1145/3386330), and coming across "11.5.3 Causes and Consequences of the R6RS Record System Controversy". I only skimmed it; something about a "procedural layer" and a...
Just became aware of [Rascal](https://www.rascal-mpl.org/), and it seems interesting and relevant/overlapping with the goals of Alma. This issue can be closed once I've taken a closer look at the language...
We know more about identifiers nowadays. This knowledge hasn't really found its way back into the design of `Q::Identifier`. Maybe it should, and maybe that would make some problems we're...