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

前書いた Coalton の JSON パーサをリファクタしているのだけど、LL(1) のパーサで安全に Alternative を使って分岐する方法が分かった。すばらしいリファクタだわ。Alternative を使うことで簡潔になっただけでなく、分岐を手書きする場合と比較して、分岐処理中に read しないことも保証できるから安全性も増している。本当に型は素晴らしい。もうやめられんわこれ。

https://github.com/tojoqk/json/commit/4c464f12324014a3541f5263fea4e66d59e8942d

仕事しなきゃ

遅延評価できるようになると Alternative とかの魅力が跳ね上がるのでとても嬉しい。

自分用に Coalton で遅延評価をするためのライブラリを公開した。
といってもまだ書かないといけない関数とか型クラスの実装はたくさんある。Scheme の SRFI-45 の参照実装を参考にして delay-force を実装している。(delay-force は R7RS での名前、SRFI-45 では lazy という名前になっている)。

これは Coalton が公式に遅延評価のライブラリを用意するまでの間だけ必要なライブラリなわけだけど書いていて楽しいので書いた。

https://github.com/tojoqk/coalton-lazy

さっきまで違うんじゃねって思ってたのにいまとなっては零元追加する方が筋がいいような気さえしてきている。その役割は Applicative (Optional :a) でよくねとも感じるけど。

Coalton の Monoid (Optional :a) なんか Haskell のやつと違うし Monoid じゃないじゃね?って思って PR を送ろうした寸前にちゃんと Coalton の Moniod (Opaitonal :a) がモノイドであることに気づくというヒヤリハット経験した。Coalton の Monoid (Optional :a) は零元を追加しただけであって、零元はモノイドと矛盾しないから正しいんだ。

行動はそれ自体が結果なのに、行動の原因を「その行動をしたこと」から導くから原因の説明はできていない。原因を理解した気にはなれるので問題解決した感を出すことはできる。

世間の人間行動への言及はたいてい小泉進次郎構文と大差ない。
行動の結果を別の言葉で表現したものを原因として扱うから循環論に陥る。

できて当然な気もするけど警告音を消すのが GUI の設定からできるようになったのはすばらしい改善。

GNOME 44 に上がった。だいぶよくなったので GNOME 44 をしばらく使ったあとに GNOME が思っていたよりもよかった記事を書こう。

この記事についてずーっと悩んでいた問題が解決した。注釈としてだけど思っていることを全部書いたのですっきりした。

よし、プロフィールに固定表示した。

開発者による支配から身を守るために自由ソフトウェアを使いましょう
https://www.tojo.tokyo/posts/freedom-for-yourself.html

2020年に書いた記事で、自由ソフトウェアを使った方がいい理由を説明しています。
(今日記事の内容を一部更新したので紹介)

明日から年度が始まるというのに最初から何をやっているのか。。。

もう公開してしまっているけど眠い状態で書いてしまっていてダメそう。明日起きてもう一回確認しよ。

思っていないことは結局かけないということで本文では Debian だけ紹介したけど、注釈の方にインストールメディアにプロプライエタリなソフトウェアを入れるというのは問題の根本的な解決になっていないから、目標に対して逆行していることから結局 GNU が推奨する自由なOSを推奨するという感じになった。

Debian だな。私の見識の中で現在プロプライエタリなファームウェアがデフォルトで動作する環境で、その中で現状私が信頼しているディストリは Debian のみなので紹介するディストリは Debian だけに絞ろう。

Debian でいいのだろうか。でもとりあえず Debian のコミュニティを私は信頼しているし少し前まで使っていたし、Debian 社会契約で思想が明確に示されているし問題ないかな。。。
GNU のすすめに愚直にしたがって Windows ユーザーを GNU/Linux に移せるチャンスを失う可能性の方が損失が大きい気がしている。

この記事を書いた当時は Linux-libre を実運用していたのに現在は通常の Linux カーネルを入れてプロプライエタリな無線ドライバを入れて運用していて GNU がすすめているディストロを勧められる状況ではなくなっているし、現実的に考えて無理なことを勧める方が悪影響が多い可能性を感じ始めてしまっているので、Debian を勧めるだけにとどめようかと思っている。注釈で経緯を説明する感じにして。。。
https://www.tojo.tokyo/posts/freedom-for-yourself.html

エンドユーザーに直接自由ソフトウェアの環境を勧めて実際に導入するところまで仕事でするという私の本当にやりたいことをやってる。私が本当にしたい仕事はこれだわ。