これは「SATySFiを学ぶためのドキュメント」というコンセプトのもと作っている文書です。作成途中であり、中身の大きな変更や誤りがありますので、これを基に何か作ろうとするのは推奨されません。 議論をして品質を向上させていきたいので、積極的なIssueやプルリクをお待ちしています。 Rust製のmdBookというソフトウェアを使用しています。 中身の予定 まえがき 導入 SATySFiを始める satyrographosをインストールする SATySFiをインストールする satyrographosでインストールする HEAD版をインストールする リリースされているv0.0.6をインストールする docker imageを使う ブラウザを使う Hello SATySFi! SATySFiで文書を書く コメントアウト パッケージの読み込み・インストール 文書構造の記述 コマンドの記述 インラインコマンド・ブロックコマンドの紹介 文中数式 別行建て数式 数学コマンドの紹介 箇条書き 脚注 相互参照 SATySFiでプログラミングをする 簡単なコマンド定義 基本的な値 整数と小数 長さ 真偽値 文字列 タプル データ構造 変数と束縛 簡単な型システム SATySFiのエラーメッセージと対処法 破壊的代入 関数定義 制御フロー 代数的データ型 パターンマッチ 再帰関数 レコード プリミティブの紹介 数値計算 文字列処理 文書が処理される仕組み フロントエンド 字句解析器 構文解析器 型検査器 バックエンド インラインテキストからインラインボックスへ 行分割処理 ページ分割処理 関連するプリミティブ 長さを取得する 行分割箇所とペナルティ グルーの制御 ブロック方向の制御 ブロックとインラインを混ぜる 相互参照 インラインとブロックに関する高度なコマンド定義 グラフィックス パスの作成 パスからグラフィックスへ 囲み枠 画像 数式 数式に関する構文 数式コマンドの定義 括弧の描画 設定ファイル フォント設定 特殊な機能 デバッグオプション マークダウンファイルを処理する テキストモード パッケージを作ってみる モジュールの作成 デバッグ satyrographosへの登録 クラスファイルを作成する 基本関数の作成 フォントの設定 基本文脈の作成 ドキュメント関数を作成する タイトル部分を作る 目次を作る PDFアウトラインを作成する 文書を書くためのコマンドの作成 SATySFiに関する資料 SATySFiのコミュニティ