SATySFi

From Wikipedia, the free encyclopedia

最新評価版
0.0.6 / 2021年2月6日 (4年前) (2021-02-06)[2]
プログラミング
言語
OCaml
SATySFi
作者 諏訪敬之[1]
最新評価版
0.0.6 / 2021年2月6日 (4年前) (2021-02-06)[2]
リポジトリ ウィキデータを編集
プログラミング
言語
OCaml
対応OS クロスプラットフォーム
サポート状況 開発中
種別 組版処理システム
ライセンス GNU LGPL v3+
公式サイト github.com/gfngfn/SATySFi
テンプレートを表示

SATySFi (/ˈsætɪsfaɪ/、サティスファイ、Static Analysis-based TYpesetting System for Functional Implementation) は、クロスプラットフォーム組版処理システムである。開発者は諏訪敬之[1]

IPAの2017年度の未踏IT人材発掘・育成事業として採択され、支援の下に開発された[3]

SATySFiは静的型付けにより、柔軟で可読性の高い記述と、組版処理よりも前の段階での詳細なエラー報告を実現している[4]

SATySFiの構文は、文書の執筆のための部分とコマンド定義のための部分からなる[4]。前者はLaTeX風の構文である。後者はOCamlF#風の構文で、組版処理のための基本型を備えている[5]

現在は組版処理の結果としてのPDFの出力と、HTMLLaTeXなどのテキストファイルの出力に対応している[6]

脚注

関連項目

外部リンク

Related Articles

Wikiwand AI