SATySFi
https://github.com/gfngfn/SATySFi
SATySFi
（英単語の “satisfy” と同様に発音します）は，静的型つきのいわゆる函数型言語が備わった，新しい
組版処理システム
です。構文は主にテキスト部分とプログラム部分からなり，前者は
LaTeX
風の構文で文書を執筆するために，後者は
OCaml
風の構文でコマンドを定義するために使われます。函数型プログラミングの要領でコマンドが定義でき，かつ静的に型がつけられるため，柔軟な記述とわかりやすいエラー報告が実現されています。