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

valign、PR にも記載があったけど巨大な表がたくさんあるページ開くと動けなくなるっぽい。必要なときだけ有効にする方がよさそう。

いままで完璧に font サイズを揃えて並べる方法で解決してたけどそんなことしなくてよかったんだ。。。

@LwVe9 これいれたら揃いました。
ありがとうございます。めちゃくちゃ助かりました。

org-mode の表が崩れるの苦しい

もう疲れた。逆に日本語使うのやめる方向で考えようかな。。。

私の環境の Emacs、face-font-rescale-alist が反映される場所とされない場所がある。いみわからん。。。

'face-font-rescale-alist がなぜか org-mode の本文の方に適用されなくて苦しんでる。なぜか見出しには効いているっぽいのに。

旧Twitterと言われ続けるの、改名失敗感がすごい

カタログギフトすごい。こんなたくさんの候補から選べるなんて思ってなかった。

コードレビュー、私のことを試すためにわざと間違えてきているのではないかと思うのだけど考えすぎなので少し休む。

東京とか横浜だと歩く人のほとんどがシャキっとした格好してるのだけど、このあたりは気楽に過ごせそうな雰囲気。

埼玉移住候補地についた

埼玉、条例の効果なのかエスカレーターで歩いている人がいなそう。通勤時間帯とかでも同様なのか気になる。

無事にサロゲートペアでエスケープされた文字のパースのサポートを追加できた。まさか JSON のせいでサロゲートペアについて学ぶ必要がでてくるとは思ってなかった。
https://github.com/tojoqk/json/commit/723fd75668f1d70e6a7e81109f5b736edd957c27

サロゲートペアサポートするの面倒だな。でもやるか。

胸熱なイングヴェイのインタビュー記事
自分もたとえ何をまわりからいわれたとしても熱を込めてやろうと思わされた。自分は特に周りから何もいわれてないけど。
https://realsound.jp/2021/07/post-825201.html

やっぱ例外放つようにしたほうがいい気がしてきた。文字の読み込みに失敗するという状況は相当に例外的な状況でありわざわざ JSON パーサーが考慮することではない気がする。

趣味で作っている JSON パーサー、現実的なことを考えると文字を一文字読み取る処理は失敗する可能性があるので、Iterator Char を渡すインターフェースから Iterator (Result :e Char) を渡すインターフェースにするという工事をしてた。
ロジック部分はモナドを使って実装しているのだけど、このレベルの仕様変更をしてもロジック部分に一切手を加える必要がなかった。
モナドすごいのでは。

https://github.com/tojoqk/json/commit/418fdd6b4b9f33bb9db2da3ee8a48c7ed7910ba0

車輪の再発明だとは思うけど、JSON の Zipper を定義することで反復で簡単に JSON を構築できることに気づいた瞬間はとても嬉しかった。こういった体験のために趣味として再発明するのは楽しい。

いま作っている Coalton による JSON パーサの実装、公開する関数のドキュメンテーション文字列を書いてリファレンスを生成するところまでできた。
スタックオーバーフローしない程度の品質の JSON パーサが実装できたので来週あたりにブログを書きたい。

https://github.com/tojoqk/json/blob/main/docs/reference.md