Schminke, affectionately pronounced "schmin-key" though actually pronounced "schmin-kuh", is a language with an s-expression syntax, local type inference, and low-level operations. Basically a thin wrapper around LLVM IR, Schminke aims to make interfacing with C libraries fun and easy; perhaps it'll come about that C will have an enjoyable time interfacing with Schminke.
..., -1, 0, 1, ...: 64-bit integer literalsa, b, ...: symbols, primarily used as variables; must start with a letter or Unicode symbol, can contain digits thereafter(define <symbol> (<symbol>*) <expr>*): define a function; requires a corresponding declaration; definitions can refer to later definitions allowing for mutual recursion.(declare <symbol> <symbol>* <type> <type>*): declare the type of a function; required for all definitions as they serve as a means of documentation.(let ((<symbol> <expr>)*) <expr>*): introduce local variables; variables are bound to expressions sequentially meaning that later bindings can refer to earlier bindings but not vice versa.(if <expr> <expr> <expr>): the basic conditional.(<symbol> <expr>*): call a function with zero or more arguments.
Examples can be found in examples/.
Nix is disabled by default to support nixless users. If you have Nix installed
simply pass --nix to Stack commands to resolve dependencies. I personally
have stack aliased to stack --nix.
Note: because you basically need LLVM for processing Schminke's output and BATS for testing the executable you'll need to install them in your environment:
$ nix-env -i llvm_4 bats
To test the assembler run:
$ stack test
To test the resulting executable run:
$ stack install
$ bats test.bats
It is required that stack's installation location, defaulting to
~/.local/bin, is on the path before running the BATS test suite.
Schminke generates LLVM IR to stdout which can then be manipulated in
arbitrary ways by the LLVM tools. An
example would be piping the output of Schminke to the LLVM interpreter:
$ stack install
$ sch examples/fac.sch | lli-4.0
$ echo $?
120