SATySFiの出力ログをチョットダケ素敵にする
本文
SATySFiでは出力ログを使っていろいろなメッセージを出すことができます。
出力ログはエラーを伝えたりするときに重要ですが、それだと味気ないので☃を出せるようにしました。
パッケージはここにあります。
let () = SnowmanLog.log
みたいな感じで使ってください。
一応使ってる技術を説明すると、string-unexplode
に10だけが入っているリストを渡すと改行文字を作成してくれるのでそれを利用してstring listの中身を結合しています。
本文でembed-stringを使って表示するときには使えないテクニックですが、標準出力では使えます。
おまけ
???「今回少なくない?」
puri「今日まで合宿だったんです。許してください。」