SATySFiの出力ログをチョットダケ素敵にする

本文

SATySFiでは出力ログを使っていろいろなメッセージを出すことができます。

出力ログはエラーを伝えたりするときに重要ですが、それだと味気ないので☃を出せるようにしました。

パッケージはここにあります。

let () = SnowmanLog.log

みたいな感じで使ってください。

一応使ってる技術を説明すると、string-unexplode に10だけが入っているリストを渡すと改行文字を作成してくれるのでそれを利用してstring listの中身を結合しています。 本文でembed-stringを使って表示するときには使えないテクニックですが、標準出力では使えます。

おまけ

???「今回少なくない?」

puri「今日まで合宿だったんです。許してください。」