Notices by きゅーけー (tojoqk@mastodon.tojo.tokyo), page 83

箸とかフォークがない分、むしろ難易度が上がってる。

コメダ珈琲でハンバーガー食べていたのだけど、ハンバーガーって綺麗に食べるのが意外と難しい食べ物だな。

あ、例あ 5 が素数だと知らない人みたいになってた……。まあいいか。

自作の json-parser ライブラリのいまの Colaton のやり方に追従できてなくて嫌だなあと思っていたところだいたい直せてよかった。

loop 構文が入って Coalton がとても便利になったことを実感するコミット

https://github.com/tojoqk/json-parser/commit/0a1ab73df96579f4deef34ab97ed50a97566e9c5

v4.2.3 まで上げた

HTML5 に生れ変わった私のサイト
https://www.tojo.tokyo/

Org-mode の org-publish って、doctype を HTML5 にできたんだ。知らなかった。
これで私のサイトもナウい HTML5 にアップデート。org-mode で解決できてよかった。
#qkdiary
https://orgmode.org/manual/HTML-doctypes.html

Coalton の記事、Coalton を使うメリットを「網羅性チェック」、「戻り値の型による実装のディスパッチ」、「null安全」の3つに絞って紹介したことについて、自分でも何度も本当にそれでいいか考え直したけどやはり正解だったと思っている。

どれも静的型付けでないと実現が厳しいけど別に静的型付けだからといって保証されるものではなく、あくまで Coalton がサポートしたことによって得られる価値なので「静的型付け」のラベルを外して Coalton を見れるようにできたと思う。

私が上げた三つはモナドが凄いとかいう話よりも重要なはず。そこに興味あるのはもともと Haskell とかやってた人だろうし対象読者が異なる。

https://www.tojo.tokyo/posts/coalton-introduction.html

仕事終わったら自分のサイトの ogp の設定をちゃんとする。

記事書きました。

Common Lispを静的型付けの関数型言語にするCoaltonの紹介
https://www.tojo.tokyo/posts/coalton-introduction.html

昨日の夜、私のサイトの RSS を購読していた人に通知爆撃してたかもです……。すみません…。

やることがある日に限って自分の OpenVPN の証明書が切れるという。
2年前に構築したときにこの観点なかったわ……。スケジュールに入れとこ。

いままで書いた PR の中では、一番ロジックを編集するやつだったのでうまくいってうれしい。

やった。朝起きたらマルチバイト文字のせいでエラーになるやつマージされてた。
https://github.com/coalton-lang/coalton/pull/1034

やっぱり日本語消したら直った。これか〜〜〜。

なんで私が第一発見者なのかようやく理解した…

はあーわかった。マルチバイト文字のせいかー。

そういや Threads はいつフェディバースにくるんだろう

あとは5分と1分の砂時計を手に入れたいところ