早く、頭ん中ほじくり出してプログラム生成してくれ

「まだ静的型付けに消耗してるの？今は型なし言語で少数チームの時代だよ？」
vs
「まだ実装に消耗してるの？今は静的型から実装自動生成の時代だよ？」

多分フロントメインで着手する頃にはだいぶ変わってるかもだが、こういうフロント持つ言語作りたみ。ま、とりあえずはフロントの機能は落としてバックエンドメインで作っていく予定だけど

なんか蒸し暑くなってきた

そんなのがあるんだなあ

時代は 64bit、仮想メモリ空間が 1TB 以下のやつに用はない ()

serde_json のせいで純粋な serialize ライブラリになれなかった serde さん。JSON parser としてお世話になった (良い子は真似しちゃダメなやつ)

でも最近は copilot が全部 derive してくれる

rust-analyzer と derive は確かに便利

確かにたまに Rust 推しの人結構いる

正しい使い方だ

Fediverse リアクション絵文字ライセンス、誰かまとめてなかったっけ。ブックマークしとけばよかった

ま、現状の型システムは色々な研究の果てにあるものなのでよくできてると思うけど、言語屋としては型システムが一番バランスがいいみたいな思考停止はしたくないよな

たまに生えてる、Ruby とか JavaScript の何受け取って何するか全く分からんキメラ関数な

ま、JavaScript で満足ならそれでもいいんじゃないですかね。型がついてても実装読みに行かなきゃいけないことはあるしね

ただ、型があることで書き方を制限されると、割と補完がつきやすいようにしか書けないというのはあって、そこはプログラム書きたいマン・ライブラリ利用マンからすれば単に気持ちよさが阻害されてるだけのように感じるかもだが、結構恩恵受けてるのではというのは思う。逆にたまにある TypeScript で無理やり型つけてる definitely typed のやつは微妙だよな感ある。あれは、何の役に立ってるんだ

ま、真面目な話、静的解析がそれなりに強ければそこまで型いらんと個人的には思うが、型があることにより体験が変わることは結構ある。後、言語実装やとしては、パフォーマンス出すにはそれなりに静的情報が欲しいというのはある。TypeScript は知らん

高階論理妥当性の決定不能性、うっ...

型が邪魔なんじゃない、実装が邪魔なんだよなあ

なぜ実装に型がつくという発想でいるのか。型から実装が作られてくれ

Twitter は型の話題でいっぱい。みんな実装好きだな

今日のお仕事終わり

急に涼しくなった

https://ff.mizunashi.work を 1.0.4-beta2 に上げた

Firefish 1.0.4-beta2 の deb 作った
https://github.com/mizunashi-mana/firefish-dist-pkg/releases/tag/v1.0.4%2Bbeta2-d2023090619-release

ただ、そうなるとやっぱりフロントで統一的なデザインは崩れていきがちなんだよな

中核作って、フロント、バック両方向から進めていって、中核できたら機能増やしていくのがやっぱいいんかな？

言語フロント、静的解析の決定可能性や、実行時オブジェクト表現によって調整が必要になり、そこで諸々統一性を失うことになりがちだが、じゃあ実行ランタイムから作るといいかというと逆にフロントに載せたい機能によってはかなり出戻りが発生することがあって微妙

今日の仕事終わり

syntax directed にしないという手もあるけど

言語のフロントデザイン、大体判定の決定不可能性を受けて、統一性が後から崩れがち

今日の仕事終わり

山奥です

山奥に行ってきた