savq

¡Borges!

https://en.wikipedia.org/wiki/Pierre_Menard,_Author_of_the_Q...

An effect system is an extension of a type system where a function type encodes inputs, outputs and effects.

The article mentions that they handwaved all the typing stuff (when you do that, effect handlers are more like delimited continuations). But the types are important. If a function doesn't tell you it's effects, how do you know you have to handle them? You'd have to read the whole call graph. That's why exceptions suck.

Yes. dynamically scoped, and statically typed.

Typst does have have accessibility features.[1]

I don't worry too much about HTML output still being WIP. Even if TeX had a massive head start, Typst has a good development speed, and a little bit of slope makes up for a lot of y-intercept.

[1] https://typst.app/docs/guides/accessibility/

(Person that actually uses sumercé here.)

The article is reading way too much into it, and it forgets a very important piece of information: The origin of usted is "vuestra merced". Spanish had T-V distinction, like most romance languages, but usted superceded vos as the formal 2nd person pronoun.

sumercé is a word that had the same process, just starting from "su merced" instead, since in Colombia —like in all other latin american countries— vosotros is not used.

That's it.

He could be making that comparison, but I read the comment as "I use Julia btw", and that's what I took issue with. I wrote a comment to dismiss it and save face for Julia programmers.

Saying that is pretty out of context. It's also incorrect. Julia has runtime code generation and hygenic macros, but it's not homoiconic. Clearly,

  x + 1

  Expr(:call, :+, :x, 1)