SATySFiは現代的な設計に基づく組版処理システムです. 組版を行うバックエンドへ指示が関数型プログラミングで行えることが最大の特徴です. 言語としてはOCamlやSMLに近い構文を持ち,少しでもML系の言語とかHaskellに触ったことがある人なら特に苦労することなく高度な組版処理をプログラムすることができると思います. 実際私は技術書典の記事をSATySFiで記述していますがレイアウトに不満がある時などにささっと自分の手で変更できる(すくなくともそれに抵抗をあまり感じない)のは大きな魅力だと思います.(LaTeXを使う時はひたすらStack Exchangeで自分と同じようなハマり方をしてる人を探すガチャをしています.虚無.) ただし,あくまで組版処理がメインのため,プログラミング言語単体で見るとまだまだ不便なところもあります.たとえばSATySFiにはMLライクなモジュールシステム