全然違った。string.to_graphemesって関数が、String -> List Stringでそのものズバリだった。

string.firstやstring.drop_leftで工夫して再帰しろって事なのかな。晩に試してみる。

XMonad、n回目の断念。。。

前まではHaskellで書く設定の意味が全然ワカラン、だったけどそこはある程度スムーズに読めるようになったのは進歩。

今回は、leftwm同様にEmacsのレンダリングが微妙におかしいので断念。C-vやM-vでバッファ位置切り替わらなくなったり、そうなるとミニバッファも行方不明になっちゃうという謎挙動。

picomでいつの間にか角丸出来るようになってたし、i3のドキュメントもちゃんと読み込んで、当面はi3だな。

wayland、早くクルクルスクロール来ておくれ。

そっか、、、そろそろWayland移行も見据えないとなんだな。とはいえ、let's
noteのクルクルスクロールがサポートされるまでは移り難く悩ましいところ。。

結論: 最初からF#かRustを使おう

後から型宣言導入はやっぱ難しい側面もあるな。細かい事気にせずパパっと動くもの作れるLLの良さが削がれちゃうし、型でしっかり守っていきたい規模や複雑性になってきたら、そこはLLの領分なのか？とか。