SATySFi でイオニア式記数法 - Qiita

1,0000 から 9999,9999 まで 1万以上の数は、日本語や中国語の中数の「万」と同じく、$n\times 10^4 + m\ (n,m < 10^4)$ の様に表す。例えば、12,0003 は $\overset{ιβ}{M}γ'\ (ιβ=12,\ M=1,0000,\ γ=3)$ となる。 実装 https://github.com/na4zagin3/SATySFi-grcnum の実装の解説を行う。長いので、時間が有り余っている人以外は「比較」の節まで飛ばして欲しい。 ユーティリティー関数 % s が空文字列でない時のみ f を s に適用 let apply-non-empty f s = match s with | ` ` -> s | s -> f s % 10進数表記での桁毎の配列に変換 % >>> explode-into-digits 1 % [1] %

[sky-y]

イオニア式記数法のことはまったく分からないけど、「組版において複雑なアルゴリズムを書く必要がある場合」において、SATySFiでは関数型プログラミングで綺麗に実装できるのは大きなメリットであると理解できた。