1 unstable release
|0.0.0||Feb 2, 2020|
#22 in #programming-language
Unseemly typechecks the code that you wrote, not the code your macros wrote. This makes macros feel like part of the language, not something tacked-on.
For a more complete pitch, see http://unseemly.github.io
Unseemly has a bare minimum of forms necessary to bootstrap the implementation of practical languages.
Unseemly is still pretty early-stage, so, while all of the features below exist, there are still a number of things that are janky or incomplete.
- Algebraic types (i.e., supports structs and (rich) enums)
- Typesafe destructuring with
- Generic types (or parametric types) (e.g.
- Recursive types
- Syntax quasiquotation
'[Expr | … ]'quotes an expression, but inside that,
,[Expr | … ],evaluates its contents and interpolates them)
- Pretty-printing respects macro invocations and quoted syntax (the pretty-printer is rather limited at the moment, though)
- Hygenic macros (all operations respect α-equivalence)
- Macro By Example (easily implement n-ary forms without writing boilerplate loops).
- Typechecking under syntax quotation
'[Expr | (plus one ,[e1],)]'is a type error if
e1has the type
- No type errors in generated code (if a macro invocation typechecks, the code it expands to doesn't need typechecking)†.
- Extensible parsing and lexing (write real SQL or real regexes inline, not strings).
† There's one known serious deficiency in type soundness at the moment.
- Full-featured REPL, with persistent command history and line editing (courtesy of
Install Rust, if you haven't already:
curl https://sh.rustup.rs -sSf | sh
From your Unseemly repository directory, run an example program:
cargo run --release src/examples/sum_list.≉
(Recommended) Get the default prelude for the unseemly REPL:
cp src/examples/.unseemly_prelude ~/
Start the REPL:
cargo run --release
Look at core_language_basics.md for documentation of the language.
Unseemly is sort of a descendant of Romeo, which descends from FreshML. (Romeo is closer to Pure FreshML, but the "Pure" part is not present in Unseemly.) Romeo allowed for manipulation of syntax types with complex binding information, but
- syntax was otherwise untyped
- there was no macro system (so the syntax manipulation was pointless!)
- it is just a core calculus
SoundX is a language with syntax extensions in which typechecking occurs before expansion. It provides sound language extensions, but
- it doesn't support binding annotations
(in practice, this means that syntax extension authors wind up writing specifications
that contain logic-y things like
x ∉ dom(E).)
- the language extensions aren't macros (they're not themselves part of the language)
- it is just a core calculus
(TODO: are the extensions themselves statically verified to be type-preserving? I think so, but I don't remember for sure.)
If I understand correctly, Scala's blackbox macros are typechecked before expansion, but they can't do everything that whitebox macros can. Unseemly macros are typechecked before expansion, but are the only macro system needed, because they can (in particular) define new binding forms safely. (TODO: learn more about Scala's macro system)
Wyvern's primary motivating example (write SQL, not strings containing SQL, in your general-purpose code) is a lot like Unseemly's vision of inline syntax extension. Wyvern is a full-fledged language, not a core language. I believe that writing new embedded languages is not as easy as macro definition.
Wyvern also includes a number of features that are outside the scope of Unseemly.
(TODO: learn more about Wyvern)
Terra, from a quick glance (TODO: learn more), appears to be a language with a close relationship to Lua, similar to the relationship that Unseemly-based languages would have.
In this case, it looks like the goal is to marry a high-level and low-level language together, without an FFI and with inline embedding.
Rust and SweetJS are non-S-expression-based languages with macro systems that allow rich syntax.
Unseemly is implemented in Rust, and it uses lots of macros.