I've played around a bit with it. It's a language that compiles to WASM and can run on Wasmer or its own native Wasm runtime with full debugging support on the server (or in the browser).
It has manual memory management with the Allocator/Arena-pattern, safe-null operators, a decentralised package manager. Stdlib and official packages already offer a lot of stuff incl. a http client and server, json support, raylib bindings etc.
It's simple, has a somewhat C/Go-like syntax but more consistent in that values and functions are bound to symbols, enums, unions and Result/Option types instead of try/catch.
It also features a language server and brings an Emacs onyx-mode with its distribution. Also a VSCode extension with full LSP support.
If you like playing with languages, give it a try. According to its creator, it has been in development for three years and feels already very stable.
I'm currently looking at annotations / decorations to a research programming language to estimate runtime non-asymptotically (i.e. gimme a number) in a simple execution model. I thought there might be (have been) some similar projects, but I'm not really sure where to look. I vaguely remember some work on proving loop bounds (e.g. polyhedrally). Any hints?
What do you say to whitespace-sensitive/oriented programming languages, assuming your IDE supports the whitespace-behaviour really well, and all the tooling around it is generally good?
When people say they don't like some #programmingLanguages what they are really saying is that they don't know how to use those #programming#languages and that makes them feel inadequate.