Modal programs are represented as a series of rules, formatted as tokens delimited by brackets and parentheses, applied to a given tree which gets continually modified until no rules match any given part of the tree.

<> (?x dup) (?x ?x)
<> (?x ?y swap) (?y ?x)
<> ( ?x pop) ()

.. (1 2 3) (4 5 6) swap pop dup
01 (4 5 6) (1 2 3) pop dup
02 (4 5 6) dup
00 (4 5 6) (4 5 6)

<> (if (#t) ?b) (?b)
<> (if (#f) ?b) ()

.. (if (eq bat bat) reached!)
02 (if (#t) reached!)
00 (reached!)

Janet is a functional and imperative programming language. It runs on Windows, Linux, macOS, FreeBSD and *nix.

Designed to be embedded. A Lisp!

Apple released a language for configs. It's well-designed, take a look. Has Go bindings. I would've considered it if I needed a config language.

A friendly programming language from the future.

The big idea behind Unison is that its functions are hashed and content-addressed.

A programming language by Douglas Crockford

Be they nestable or not nestable, they fail.

Активный Оберон — база, его русский вариант должен, соответственно, быть базой.

• Длинный пример кода

A teacher says that one should teach programming with a programming language that was designed for that. Oberon, for example.

Гайдлайны для создания DSL, 26 шт. В принципе они применимы и для языков общего назначения.

A stack-based pure inlining concatenative programming language written in NASM assembly

Overly exciting Uiua introduction. Take a look!!

A stack-based array programming language

An extremely minimal drawing language consisting of only 5 simple commands: C, F, R, [, and ].

Simple and fun.

EOLANG, an Experimental Object-Oriented Programming Language Based on 𝜑-calculus

A flow based programming language built on uxn.

How Funktal programs can interact with I/O devices, and how mutable state helps with this.

Жиянов показывает язык Odin. Какой-то го, но низкоуровневый. Прикольно.

1994. The language is nicely designed. Nice to see the original goroutines here, as this is a Go predecessor. The rodent theme is old, as it seems. The mice in the title are the computer mice.

NESFab is a new programming language for creating NES games. Designed with 8-bit limitations in mind, the language is more ergonomic to use than C, while also producing faster assembly code. It's easy to get started with, and has a useful set of libraries for making your first — or hundredth — NES game.

If you are looking for a free name, there is none.

A flow based programming language built on uxn.

Introducing a new programming language.

Cognate is a small dynamic quasi-concatenative language for functional programming. Cognate aims to express complex programs in a simple and readable way through its unique syntax, which emphasises embedding comments into statements. This makes programs very readable and helps a programmer better express their intentions.

Here's a language that gives near-C performance that feels like Python or Ruby with optional type annotations (that you can feed to one of two static analysis tools) that has good support for macros plus decent-ish support for FP, plus a lot more. What's not to like? I'm mostly not going to talk about how great Julia is, though, because you can find plenty of blog posts that do that all over the internet.