Tags: logotype 19 programming language 14 type system 10 article 9 illustration 9 SATySFi 9 slides 9 Stadt Tokio 9 typesetting 7 fanart 5 doodle 3 Kyoto 3 impression 2 language processor 2 multi-stage programming 2 Promare 2 Sesterl 2 academic research 1 Bocchi the Rock 1 deep learning 1 Erlang 1 LaTeX 1 memo 1 OCaml 1 Revue Starlight 1 Taro Okamoto 1 TeX 1 Youngsters’ Workshop on Information Science 1

Installing ocaml-torch on Apple Silicon

(No translation; at least currently, only a Japanese version is provided.)

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.)

Only Taro Okamoto Shines

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

On Creating Package Managers

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

Be a Documentation Geek

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

Language Design for Unit Testing

As you probably know, unit testing is a process of checking whether each component works as intended in operational terms, by using some concrete example inputs and outputs.

When it comes to discussing how unit tests should be written, some discussions often presume features of specific programming languages or their compiler implementations. However, since languages or compilers are not given as absolute and universal things, in principle the purpose of using programming languages should define how to design language features, not vice versa.

Implementing a Virtual Machine in TeX that Runs Untyped Lambda Terms

This article introduces tex_of_ocaml1, a half-joking OSS I developed. Readers are supposed to be somewhat familiar with untyped lambda calculi.

First appearance (written in Japanese):

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:

Preliminary Remarks

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