dale-lang.org

What It Is

Dale is a “Lisp-flavoured C” systems programming language. It has no GC, its semantics are close to C, but it uses S-expressions as its syntax and places syntax macros, typed macros, and compiler introspection at the core of the language. It targets Linux, macOS, and BSD systems capable of building LLVM, and depends on LLVM 3.2-14.0 and libffi.

Core Capabilities

Judging from the examples on the site, Dale is not just C with a different syntax. It supports local type inference, function overloading, anonymous functions, reference parameters, initializers/destructors, namespaces, modules, concepts, variants, and container-related modules. Its macro system is the main selling point: the examples demonstrate regular macros, typed macros, error reporting inside macros, and using introspection to obtain struct member information. This makes it feel like Lisp-style metaprogramming embedded into a low-level systems language.

Pricing and Deployment

The page does not mention commercial pricing or paid editions. Given the GitHub issue tracker, source build commands, and LICENCE link, it appears to be distributed as an open-source project. Self-hosting is fairly straightforward: it can be built and installed locally with CMake, with an out-of-tree build recommended. A Docker container is also provided for evaluation, and the container runs a REPL by default.

Pros and Cons

Its strength is its clear language positioning: it suits developers who want C-like control while also needing powerful macros and compile-time extensibility. The examples are relatively rich, covering hello world, overloading, macros, derivation, containers, variants, and more. The downside is limited ecosystem information: there is no visible package management, IDE support, debugger integration, production use cases, or active roadmap. The LLVM version requirements and local compilation process may also raise the barrier to entry.

Who It’s For and Access from China

Dale is best suited to systems programming language enthusiasts, compiler/macro system researchers, and people willing to explore an S-expression-based systems language in experimental projects. For production use, its maintenance activity and ecosystem availability should be evaluated carefully. The page does not provide verifiable information about access from China; the domain and related GitHub/Google Groups resources may be affected by local network conditions. Alternatives include C, C++, Rust, Zig, Nim, or macro-heavy languages such as Common Lisp and Scheme.