Carl Mäsak

> Just driving by to say I think the `while` in OP should have been a `repeat while`, especially so since I'd intuitively expect `changed(X)` for any `X` to be...

From the seminar/course, around the 16-minute mark: > De Bruijn indices don't work [for this kind of macro hygiene]. They're a form of renaming. It's just a particularly opaque kind...

From [the extended version of the paper](https://users.cs.utah.edu/plt/scope-sets/): > Roughly, every binding form and macro expansion creates a _scope_, and each fragment of syntax acquires a _set of scopes_ that determines...

I created a private GitHub repo with a toy programming language called "xor" (named after the "flip the scope bit" technique which is central to Flatt's whole set-of-scopes approach to...

Fun historical tidbit: statement modifiers originate in [JOSS](https://en.wikipedia.org/wiki/JOSS#Loops_and_conditions) (1963), but found their way into Perl 1 via [BASIC-PLUS](https://en.wikipedia.org/wiki/BASIC-PLUS) which even calls them "statement modifiers".

A more extreme version would be to have tail recursion optimization be on by default, but to have the `@tco` attribute give an error at compile time if not all...

I think the most interesting thing I learned since I started this issue comes from the paper [Polymorphic Symmetric Multiple Dispatch with Variance](https://dl.acm.org/doi/pdf/10.1145/3290324), about dispatch in the Fortress language. Trying...

On the other hand, both our implementations nail the second example from that comment, related to macros (expanded at eval time) and dynamic variables: ``` > (repeat 5 prn!hello) hello...

> I haven't devoted much time to Bel for the past few months, and honestly don't expect that to change in the near future. Belatedly, let me extend my sincerest...

For what it's worth, [HTML 4.01 says no](https://www.w3.org/TR/html401/struct/links.html). > ### 12.2.2 Nested links are illegal > > Links and anchors defined by the [A](https://www.w3.org/TR/html401/struct/links.html#edef-A) element must not be nested; an...