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

そうなのか……。Roswell は良いという噂は聞くんだけど自分は使ったことないんだよな……。sbcl をインストールして Emacs の SLIME から動かせたら個人的には十分という問題があって導入する気持ちにならなかった。

これな……。Lisper は基本 Emacs しか使わない説あってつらい。Common Lisp の一部界隈では lem が流行っているっぽいけど。

このプログラムのいいところは、プレイヤーがディーラーよりも不利だと一目で分かることです (違

2dcond が目立ちすぎて、Typed Racket の型要素が薄れてしまっている感……。

あった、以前 Typed Racket について学ぶために作った Black Jack のプログラム。https://github.com/tojoqk/blackjack/blob/master/blackjack.rkt

@cmplstofB はい、これはプログラムです。

Racket のプログラムを探そうとしてエゴサしてたら 2dcond を見つけた。2dcond は強いのでおすすめ。

> 最近の個人的な Racket の推し機能は 2dcond です！condの軸を２つにすることによってごちゃごちゃしたブラックジャックの勝敗判定が簡潔になりました！> https://github.com/tojoqk/blackjack/pull/2/commits/3615c636e95b09e2b3331485cda461ed2c06851a> https://docs.racket-lang.org/2d/index.html

https://twitter.com/tojoqk/status/1127909058168537089?s=20

排中律と二重否定除去をTyped Racketで実装する -- TojoQKhttps://www.tojo.tokyo/typed-racket-and-excluded-middle.html

昔こんな記事を書いたのを思い出した。

一生懸命型を付けようとしている勢力があり、その成果として Typed Racket がある。

チキンカレー

コンビニに行ったらチキンカレーが売ってたのでつい買ってしまった。

Chicken Scheme の curry 手続きを調べようとして chicken curry で検索したらチキンカレーの情報ばかり出てきたことを思い出した。

いま私が作ってる定理証明支援系はちょうどS式のよさを引き出してると思う。手動(いつか自動に…)でS式を書き換えていって真に置き換えることを目指すやつなんだけど、S式のプログラムによる扱いやすさと人から見たときの分かりやすさが両立してて素晴らしい。特に目で見て人が木と理解できる構文なので書き換えたい式の位置を指定するのが簡単なのです。

私が Lisp に触れたときにはすでに普通に見える時代だったのでちょっと残念……

S式を受け入れる人と受け入れない人で分かれるのはどうしてなのか。構文の良さとはいったいなんなのだろうか……。

やはり Lisp には何か壁がありそう。他のプログラミング言語と大きな違いがあるとしたら構文と cons セル(Clojure にはない)くらいかな。この二つを除けば現代では割と普通のプログラミング言語だと思ってるんだけどほかに何かあるだろうか。

小さい頃、頭の中でゲームをしていたはずでその頃もアファンタジアだったのかかなり疑わしい。実は先天的なものではなくて後天的なアファンタジアなのかもしれない。

心の目と心の耳と心の舌と心の鼻と心の体と心の心がない

50人に1人程度の割合でアファンタジアの人がいるらしいのでたぶんこのトゥートを目にする人のうち数人はアファンタジアなんだよな……。

画像でも言葉でもない概念的なものを頭の中で操作できるんだけどこれがなんなのかよく分からない。