SATySFi

Tags: logotype 17 programming language 12 article 9 illustration 9 type system 9 SATySFi 8 Stadt Tokio 8 slides 7 typesetting 6 fanart 5 doodle 3 impression 2 Kyoto 2 language processor 2 multi-stage programming 2 Promare 2 Sesterl 2 Bocchi the Rock 1 Erlang 1 LaTeX 1 Revue Starlight 1 Taro Okamoto 1 TeX 1 Youngsters’ Workshop on Information Science 1

Saphe: A New Prototype Ecosystem for SATySFi (second half)

(No translation has been available yet; only Japanese version is provided.)

Saphe: A New Prototype Ecosystem for SATySFi (first half)

(No translation has been available yet; only Japanese version is provided.)

Invited Talk: Creating Programming Languages of Real-World Use on a Personal Scale

A Report on the Development Progress of SATySFi v0.1.0

A Type System of Labeled Optional Parameters for SATySFi v0.1.0

I am in the process of changing the language design for SATySFi v0.1.0 about optional parameters. It will be a breaking change (i.e. not backward compatible with SATySFi v0.0.x), and I will introduce it here.

First appearance:

PPL 2022 Invited Talk: Introduction to SATySFi, a Statically-Typed Functional Typesetting System