SATySFi

Tags: ロゴタイプ 19 プログラミング言語 14 スライド 10 型システム 10 記事 9 9 SATySFi 9 東京市会 9 組版 7 2次創作 5 落描き 3 京都 3 所感 2 言語処理系 2 多段階計算 2 プロメア 2 Sesterl 2 学術研究 1 盤上ゲーム 1 ぼっち・ざ・ろっく! 1 深層学習 1 Erlang 1 LaTeX 1 メモ 1 OCaml 1 少女☆歌劇レヴュースタァライト 1 岡本太郎 1 TeX 1 情報科学若手の会 1

SATySFi 0.1.0の新しいエコシステムSapheのプロトタイプについて(後編)

前編に続いて,後編ではSapheが裏側でどのように動いているかの設計・実装について概説します.特に,SapheとSATySFi本体とがどのように責務を分担しているかが重要な内容です.単にSapheを使いたい人は本稿で扱う内容を把握しておく必要はなく,前編のみで十分です.

SATySFi 0.1.0の新しいエコシステムSapheのプロトタイプについて(前編)

昨年のSATySFi Conf 2023で発表させてもらった,SATySFi 0.1.0に向けたエコシステム Saphe(セイフ)について,設計とプロトタイプ実装が固まってきたため,そのおおよその仕組みを共有しようと思います.発表の内容とも一部オーバーラップします.

前編である本稿は,Sapheがどのように使えるツールなのかをハンズオン的に記載します.後編はSapheの詳細な設計・実装について述べる予定です.→ 追記: 後編ができました.

SATySFi v0.1.0に向けたラベルつきオプション引数の型システム

SATySFi v0.1.0に向けてオプション引数に関する言語設計を非互換に改めつつあるので,その紹介をします.

初出: