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

このままニコニコ動画が復活できなかった場合もニコニコのコメント特許の効力は維持されてこの世にコメントが右から左に流れる動画サイトが存在しない状況が続くのだろうか。

モノイドや群の演算子を <> にすると Scheme の SRFI-26 の cut の　<> にかぶるから困るなあと思っていたのだけど、よく考えたらモジュールシステムを活用してプログラミングをしていて、名前を変えるのが前提みたいな考えで進めていたので <> で全然問題なかった。

mod7:<> みたいな感じになる。op だと微妙な気がしていたので <> が使えるようになってよかった。

ruby のターミナルから抜けるとき `(exit)` と書いて抜けていたのだけど、これ偶然機能しているやつで Ruby からすると謎の括弧を書いていることに気づいた。

R7RS-small で書けるところは R7RS-small で書いていこうとも思い始めている。

Chicken Scheme でモノイドとかの代数的構造を楽に扱えないのが気になったので、module の functor 機能でこのあたりを扱うライブリを作ってる。
今回は functor があるから Chicken Scheme を選んだ。

https://github.com/tojoqk/algebraic-structures?tab=readme-ov-file

平日の日中こそ Mastodon のアカウント停止すべきんだよな。今日仕事終わったら設定するか….

にもかかわらずプログラミング側で安全を保証するようなプログラミング言語はプログラミングオタクしかやらないという現実もある。

別にプログラミングが好きでプログラマになったわけではない人がほとんどであり、そういった場面でコーディングを安全にするにはプログラミング言語側の支援が充実してた方がいい。

趣味ではしてるけど仕事ではしていないという現実に気づいた。仕事の方がプログラミングの質は低いので、プログラミング言語のサポートの価値が高まるんだ。

まあでもメソッド名と被ることは普通にありそう。

いや、type はメソッドと衝突したわけではないから違う話か。

Ruby on Rails の ActiveRecord で type というカラムで衝突するので同じみの話だ。まああれは単一テーブル継承の設定の方を変更すれば回避できるけど。
ほんとしょうもない。

あ、でも nil が飛んでいたことに起因した method missing だから、まあ動的型付きが原因のエラーか。。。

なーにが method missing じゃ。ないなら計算始めるな。

趣味開発ではだんだん動的型付きを受容してきたのだけど、お仕事では直近でも静的検証がないせいで痛い目にあったということがあり、ちょっとどうにかならんのかと思う。
というかメソッドがないエラーは型以前の問題なのではないかと。Scheme でも Lisp でも関数が定義されていないのは静的に検証できるのだが。

flyspell-prog-mode というのがあるけど、これはスペルチェックを文字列とコメントに限定するものか。
個人的には変数名の方のチェックを徹底したいので通常の方をグローバルに有効にして使うのでよさそう。

https://www.gnu.org/software/emacs/manual/html_node/emacs/Spelling.html

仕事の pc では flycheck-aspell 入れたけど趣味では flyspell のみでいいかな。

あと今日は Guix で aspell の辞書参照するのにてこずってた。Guix を使っていることでインストールしただけで使えるというわけではないものがそこそこあり、困りポイントがある。

今回は ASPELL_DICT_DIR にパスを書いてなのとかなったけどもっといい方法あるかもしれない。

全部みたければ ispell って打てば言い訳だし。。。

なるほどなあ。flyspell はカーソルが通過したところについてスペルチェックをしてくれる感じであり全部はだしてくれないのか。
flycheck-aspell の README に書いてあった通りの問題があるなあ。
でも巨大なファイルを開いたときの問題などを考えるとこれでいいのかもしれないという気もする。