← Back to context

Comment by 082349872349872

3 months ago

Well, I'm thrilled by something in the neighbourhood, but your widespread adoption there is more a "well known in small circles" kind of thing: instead of selling shovels to the gold miners, the target of demosceners+analysts sounds like selling paint brushes to the garret-dwelling artists?

For me, I guess the killer checklist item is "[X] Programming in this language is an adequate punishment for inventing it".

For this putative APL-kith, I'd guess the combination of "[X] You require the compiler to be present at runtime [X] You require the language runtime to be present at compile-time" would be killer; after all wirth-style compilers, these days, can run out of L1$. However, does sufficient staging run into the "fewer than 100 programmers un-algoled* enough" problem?

(could relative popularity of the square bracket language be because phykers display formulae in order to convey insights, but for imkers the calculations are their own point?)

* on the "[X] Rejection of orthodox systems programming without justification" front, what might be to algol-inspired programming as Thistlethwaite's algorithm is to plain old cube solving? https://news.ycombinator.com/item?id=42426716 instead of reducing the group operators as one proceeds, one would reduce the dynamism as the loops nested... (one of the things I find impressive about the rpython JIT is that it roughly manages to implicitly do that reduction!)

>implicitly

Now, do "tacitly"?

Some phykers will admit that making useful (as opposed to publication-quality) graphics in bracket-language remains a PitA, these days of overpowered GPUs..

Do you have a better combination of target audience?

the uiua drawing their logo in uiua made me hopeful that something like that could go viral on yt/tt (& get undergrads running the gauntlet en masse hunting navierstokes singularities on their (still wirthy?) HBMs)

? The analogous cut for EU leadership https://hackage.haskell.org/package/Operads