I started working on qdbp about a year ago after coming to the conclusion that modern languages were way too big, complex, and unwieldy. qdbp is the philosophical opposite of languages like C++ - it is tiny, and will stay that way. The language itself comes with no if, loops, switch, macros, etc. However, the few constructs that qdbp does have, along with its unified syntax, can compose to form higher level abstractions(like if, loops, switch, defer, monads, domain specific languages, etc). A few key points:- qdbp is statically typed and types are fully inferred, meaning there are no type definitions or annotations
- The language uses prototype based OOP centered around anonymous records and polymorphic variants. It has a syntax heavily inspired by Smalltalk and Self
- Unlike virtually any other OOP language, qdbp has no mutation or inheritance(it instead has record extension, which is very similar to single inheritance)
I'd really appreciate it if you checked out my language!
https://www.qdbplang.org/
https://github.com/dghosef/qdbp