TojoQK

マストドン: @[email protected]

[TojoQK @tojoqk]

最近の個人的な Racket の推し機能は 2dcond です！condの軸を２つにすることによってごちゃごちゃしたブラックジャックの勝敗判定が簡潔になりました！
https://t.co/tRwbFnHUan
https://t.co/tYPfdzJxJj

[TojoQK @tojoqk]

ここ最近ずっと作っていた graph-executor という Typed Racket のライブラリの README.md がついに書けた。
グラフで表現された一つの状態遷移モデルに対して、実行、可視化、モデル検査ができる。

https://t.co/3cOMaD2QkE

#Racket

[TojoQK @tojoqk]

このときからだいぶ変わってる。現在は Day 型は抽象化されて Cursor になっているし、年の構造を閏年のルールに従った時計仕掛けにし、日付の足し算も実装したのでだいぶ別物になっている。

[TojoQK @tojoqk]

グレゴリオ歴の日付を形式的に扱うためのAgdaのライブラリの開発が一区切りついたのでGitHubに公開した。
型で閏年から月ごとに日数の違い、そして日付の隣接関係を扱えている。特に Day 型の構造がうまくできていて、「月末」を型として完全に表現できるようになっている。
https://t.co/l1JHyh6Etl

[TojoQK @tojoqk]

グレゴリオ歴の日付を形式的に扱うためのAgdaのライブラリの開発が一区切りついたのでGitHubに公開した。
型で閏年から月ごとに日数の違い、そして日付の隣接関係を扱えている。特に Day 型の構造がうまくできていて、「月末」を型として完全に表現できるようになっている。
https://t.co/l1JHyh6Etl

[TojoQK @tojoqk]

TypeScript、UnsoundTypeScriptに改名した方がいい

[TojoQK @tojoqk]

TypeScriptで万能型変換関数を実装しました
https://t.co/YxL40a2kP7

[TojoQK @tojoqk]

万能型変換関数

const convert = <T, S>(value: T, witness: S): S => {
const obj1 = { a: witness } satisfies { a: S };
const obj2 = { a: value } satisfies { a: T };
const empty = (): {} => obj2;
const obj = { ...obj1, ...empty() } satisfies { a: S };
return obj.a;
};

[TojoQK @tojoqk]

本当に素晴らしい動画だった。サポート切れで動かなくなってしまう瀕死のパソコンを Linux Mint で蘇らせる最高の手引きだと思う。
https://t.co/gHCelM6cOE

[TojoQK @tojoqk]

Switch の当落騒ぎをみるために X を開いたらちょうど今日が X の登録記念日だったらしい。私が登録したのは X ではなくて Twitter だったはずだけど。

Xに登録した日を覚えていますか？ #MyXAnniversary

[Free Software Foundation (FSF) @[email protected] @fsf]

#GNUArtanis, a web application frame written in Guile Scheme, has been released! To learn more about GNU Artanis, visit: https://t.co/s4fghEmacG #GNUOperatingSystem

[TojoQK @tojoqk]

趣味プログラミングとして、Typed Racket でLuhnアルゴリズムを実装したのでそのことについて記事を書きました。

Typed RacketでLuhnアルゴリムを実装した
https://t.co/Al5YfDzM8M

[TojoQK @tojoqk]

@gengar68 たしかにその通りですね。処理中に GC に時間がかかっただけですし、そもそも非末尾再帰版でGCの時間がかかってないのは拡張された分のスタックのメモリ領域が回収されないだけなのでかなり間違ってそうです。深く考えずに適当に書いてしまいすみません。。。

[TojoQK @tojoqk]

@gengar68 強引に末尾再帰にするテクニックの方を紹介してそれをしなくてよいとする説明のほうが良かったのかもしれません。

[TojoQK @tojoqk]

@gengar68 すみません s/生地/記事/ です

[TojoQK @tojoqk]

@gengar68 map の例を抽象化すると再帰的なデータ構造を順番を維持する扱う操作をしたい場合は他も当てはまるので例として極端ではないと思います。
(reverse!の副作用が閉じないのがmap固有になってしまっているのは認めます)
「議論したい方」のために7章を書いた形です。

[TojoQK @tojoqk]

@gengar68 7章で空間計算量/メモリ使用量についてに触れていなかったのは問題だったので追記しました（4章では空間使用量について変わらないことが分かるように書いています）。8章については深い再帰のサポートが言語機能の問題だという話であり、現状のSchemeの仕様ついての主張ではありません。

[TojoQK @tojoqk]

個人ホームページ訪問 Advent Calendar 2024 の 24 日目の記事を投稿しました!

Emacsで個人サイト制作
https://t.co/xZv6qsVaVT

[TojoQK @tojoqk]

おそらく過去に何度も作られたものだと思うのですが、ネストしたS式の参照と更新(set-car!とかをしない)を簡単にするためのR7RSのライブラリを作りました。
Lens でもいいのですが、自分が求めているインターフェースとはなんか違うためそのラッパーみたいな感じのものです。
https://t.co/d4MczWTmfw

[TojoQK @tojoqk]

なんか慣れてしまって知ったときの気持ちを忘れてしまったんだけと、GNU は本当に GNU Guile を使ってる。世間からは冗談だと思われてるかもしれないんだけど GNU は本気だ。

[TojoQK @tojoqk]

GNU Guix では init システムに GNU Shepherd を採用していて、その実装に Guile Scheme が使われているのが特に最高だと思っている。
GNU Guile ってどこで使われてるのって聞かれたら手元でずっと動いているよと答えられる。

https://t.co/7dgzcieD5D