2020-03-19から1日間の記事一覧
はじめに SATySFi v0.0.4でstring-explode: string -> int listというプリミティブが追加されました。 これは文字列をユニコードポイントのリストにするもので、これによって文字列の分割や比較が楽になりました。 文字列を一文字ずつのリストにすることは結…
はじめに SATySFi v0.0.4でstring-explode: string -> int listというプリミティブが追加されました。 これは文字列をユニコードポイントのリストにするもので、これによって文字列の分割や比較が楽になりました。 文字列を一文字ずつのリストにすることは結…