quicksort=: (($:@(<#[) , (=#[) , $:@(>#[)) ({~ ?@#)) ^: (1<#)
quicksort ⤆ ((∇⍛(<#⊣) , (=#⊣) , ∇⍛(>#⊢)) ({⍨ ?⍛#))⍣(1<#)
It implements features such as macro-like custom syntax, first-class functions and closures.
It's developed in Kotlin and can be compiled to the JVM as well as natively using the new Kotlin multiplatform feature. Javascript will also be possible once Kotlin multiplatform supports reflection. The project is still nowhere near finished, but it can at least run Conway's Game of Life:
https://peertube.mastodon.host/videos/watch/4a19ca9e-7ca6-41...
I haven't worked on it for the last several months due to other projects having higher priority, but I will probably get back to it later.
To clarify: it'd be cool if language's supported multiple lexemes (?) for a single token. So -> and → (U-2192) are equivalent.
Has any programming language since then tried to use more than ASCII for its keywords?
The impl of AVL trees in stdlib: https://github.com/agda/agda-stdlib/blob/master/src/Data/Tre...
Some basic properties of natural numbers: https://github.com/agda/agda-stdlib/blob/master/src/Data/Nat...
It makes the code look absolutely gorgeous, readable and it's very easy to type too. I use Emacs agda-mode so it just automatically replaces e.g. \r with → or \== with ≡ etc...
I don't use Agda for theorem proving, I make real life programs in Agda, I compile them to Haskell and compile with GHC to executables.
I once seriously considered trying to build something that included math symbols in the syntax. It's pretty cool to see that I don't have to.
I think Emacs is basically required to use Agda, right? To the point that the set of Agda users is a strict subset of the set of Emacs users.
UnicodeSyntax: https://downloads.haskell.org/~ghc/latest/docs/html/users_gu...
Base Library Symbols: http://hackage.haskell.org/package/base-unicode-symbols
Containers Library Symbols: http://hackage.haskell.org/package/containers-unicode-symbol...
There's a full rune reference available at https://urbit.org/docs/reference/hoon-expressions/rune/, but tldr they're group into families, with the first character being broadly what it does. AST nodes that have to do with "conditionals" are ?:, ?., ?@, etc.
I don't think anyone uses non-ASCII diagraph fonts for them, but it wouldn't be a big jump.
Maybe. What comes to mind is OpenBSD. In the OpenBSD community, developers use Comic Sans exclusively in all official slideshows. One purpose is making an in-joke, another purpose is trolling everyone else not genuinely interested in system development ("Weaponized Comic Sans. This page scientifically designed to troll web hipsters.") [0]
[0] https://www.openbsd.org/papers/bsdcan14-libressl/mgp00025.ht...
[1] https://www.myfonts.com/fonts/tabular-type-foundry/comic-cod...
EDIT: In case people are wondering this is what I see: https://imgur.com/a/P3npCYW
As you see W looks "bolder" (?) than others.
Please link to the actual image ( https://i.imgur.com/qMshely.png ), not imgur's gallery crapware.
But yeah, the "W" and to a lesser extent the "o" look more heavily struck than the rest of the letters. (Same problem shows up in font viewer, so it's definitely not just your browser.)
I like it, though some of the spacing is odd (might be able to fix it even if it is a monospaced font.)
