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

なるほどなあ。弥助の誇張問題はいまに始まった話ではなく、ロックリー・トーマス氏の本から始まる息の長い問題だということまで分かった。これは根深い。。。

アニメやゲームの「この物語はフィクションです」っていう注意書き、昔はそんなん当たり前だろって思ってたけど、重要なんだなあとなっている。

さすがに一企業の利益のために弥助のについての歴史認識が歪められる可能性があるのは厳しいので署名した。宣教師によって奴隷として日本に連れてきて信長には重宝されたものの本能寺の変の後は行方知れずで、この弥助の人生は過去に西洋の悪行がもたらした結果の一つだ。これを弥助は日本で侍となって活躍していたという歴史に曲げてそれを歴史的事実かのように主張するのはさすがに許せん。

アサシンクリードシャドウズの発売中止を求めます
https://www.change.org/p/%E3%82%A2%E3%82%B5%E3%82%B7%E3%83%B3%E3%82%AF%E3%83%AA%E3%83%BC%E3%83%89%E3%82%B7%E3%83%A3%E3%83%89%E3%82%A6%E3%82%BA%E3%81%AE%E7%99%BA%E5%A3%B2%E4%B8%AD%E6%AD%A2%E3%82%92%E6%B1%82%E3%82%81%E3%81%BE%E3%81%99

会社の偉い人に熱く Lisp を語った結果、Racket で業務効率的な意味で重要なスクリプトが組まれて数年間の間動くという事態を間接的に引き起こしたことが一度ある。コードはその偉い人が書いた。最初は簡易ツール的なものだったのが業務上重要になりすぎた結果いまは Ruby に書き直されてしまった。

Racket で頑張って functor を実装していたのは型をつける必要があったからで型がない場合は同じことをするのにももっと動的なアプローチを選択してもいいのではというのはある。

module 機能の functor はマクロを使って現実的なレベルの努力で実装できることが分かり、これを理由に Chicken Scheme を使う必要がなさそうなので、一番好きな GNU Guile で Algebraic structure のライブラリつくろう。

R7RS-large 全然追いかけていない。展開時に評価できるマクロってどれが優勢なんだろ。。。

Scheme ではマクロシステムの分断があるのでどこでも動くようにするのは実際は厳しいが。

モジュール機能を再発明することで R7RS 互換で動くものをつくろうと思い立っていたアイデアを5年前の自分既に達成してくれていたのは感謝。

やっぱこれ type-class じゃなくて functor だな。なんで5年前の私は type-class って言い張ってたんだろう恥ずかしくないのだろうか。というもうこれ5年前にやってたことなのか。恐ろしいな。。。

syntax-case でかかているので型の記述けせばこれ GNU Guile で動きそうだな。

たぶん、実質的にはモジュールの functor と機能と同じものを作っているだけなのにそれを type-class と喧伝している感じなんかなこれ。

でも define-values に展開するのは今考えていたのと同じだったので、当時の自分も似た考えで何かをしていて、今の自分もなんか似たものを作りたがっているということがわかった。

define-syntax の中に書いてある define-syntax のなかでさらに define-syntax しとるがなんもわからん。

ひゃー、define-syntax の中に define-syntax が書いてある。これはやばい。
https://github.com/tojoqk/type-class/blob/master/type-class.rkt

昔なんか実装していたこれはいったい何だったのか。なんかうまくいっていた記憶あるので似たアプローチの型なしバージョンでいいのではないかとなっている。
https://github.com/tojoqk/type-class/blob/master/monad.rkt

Chicken Scheme の module で代数的構造を表現するのはうまくいったけど本当にこれでいいのかとなっている。R7RS でうまくやるベストな方法を考えた方がいい気がする。

人生の多くの割合が仕事に占められているわけなので真面目に考えたほうがいいのかもしれない。そもそもITをやめてまったく別のことをするというのもある。そういう文脈で自分の問題解決のためにコンピュータを使う方がよさそう。

ウェブのおもしろい部分はほぼライブラリやフレームワークにとられているわけで、それらを動かす雑用係として必要とされているだけ。いくら続けてもこの仕事が楽しくなるとは思えない。お金のためにこの仕事をただ続けるというだけの人生。本当にそんなんでいいんだろうか。

@t_sin ウェブは仕事が多いというただそれだけの点で大きいだけだと思っています。