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

署名めっちゃ集まってるな…

メール来てたのかな

FSF の準会員なのに知らなかった……

とりあえず、ACL2 で書いたプログラムを Guile から読めるようにする謎プロジェクトを進めることにした。

とりあえず、あらゆる競技プログラミングのサイトは Gerbil Scheme を採用してコンパイルしてから実行してほしいと思った。

GNU Guile は GNU の公式の拡張言語だし、GNU Guile を盛り上げていくほうがいい気もする。標準の Scheme からあまり外れたことをしないのも GNU Guile のいいところだし、自分は Scheme で性能が求められるプログラムを書く予定ないしべつにいい気も……。

おそらく Racket を使っててこの作者が不満に思ったであろう部分を全力で「改善」した感じも見られる。思想が違う。

うーん、どうしても Gerbil Scheme を使いたくなってしまう。強すぎる。

あふれでるハッカー感がすごい。魅力的な機能てんこ盛りで Scheme 間で移植性のあるコードを書かせる気ないなこれ。

An Introduction to Gerbil | Gerbil Schemehttps://cons.io/guide/intro.html#using-gerbil

bch で Vultr に入金した。やはり、bch で購入する体験はなかなか良いね。買ったときよりも安くなってるので損してるけど……。

マストドンのの固定トゥート、自由ソフトウェアの記事だけ残して他は外した。

頑張って書こうとすると一生記事を書かなくなってしまうので、備忘録的なことを書いていこうと思う。

久しぶりに新しい記事を書いた。今回の内容は git.tojo.tokyo を構築した話。更新頻度を上げていきたい。https://www.tojo.tokyo/git-tojo-tokyo.html

ライブラリに GPLv3 を使いやすいというのは、他のプログラミング言語ではあまり見られない GNU Guile の特徴なのではないだろうか。

Guix に登録されている GNU Guile のライブラリのリストを見るとライセンスが GPLv3 のライブラリが圧倒的に多数派だ。この GPLv3 による囲い込みが行われているのを見てから他の Scheme の処理系に引っ越す気はちょっと起きなくなる。

guile-json というライブラリが GPLv3 で書かれているの強い。Guile で JSON 操作するのに既存のライブラリを使おうとしたら GPLv3 になる。

あと、GNU Guile だとライブラリが GPLv3 で書かれることがよくあるという強烈な文化があるのであまり他に引っ越したくない。ほかの言語でライブラリに GPL を採用する勇気はない。

性能を考えると Gerbil Scheme に引っ越したい気持ちもあるけど、GNU が好きだし、Package Manager として GNU Guix を使っていくという方向性にも賛成なのでこれからも Guile を使っていきたい。

SKK の辞書はプログラムになりそう。

コードとデータの境界の話だ。