Wado開発記録 ~ agentic codingによるプログラミング言語の設計と実装 ~

gfx.hatenablog.com これの続きです。 4ヶ月くらい100% agentic codingで新規のプログラミング言語 & 処理系(Wado; ワドゥ)を設計・実装してきて、ある程度明確になってきたことがあるので、雑多でMECEでもないですが、現時点での記録を残します。 Claude …

Wado言語で個人的に気に入っているところ: import, assert, effect

wado-lang.org Wado言語の開発はずっと続けていて、最近は3-4日くらいで(Wadoの開発のために契約した)Claude Code Max 20x のweekly limitに達してしまってちょっと物足りないくらいです。 まあとにかく、けっこう面白い機能が揃ってきたので紹介します。 …

個人で静的型付け言語のコンパイラをフルスクラッチで作れる時代が来た!

今年に入ってからふと思いつきで新しいプログラミング言語 "Wado" (ワドゥ)を設計しつつagentic codingで実装したところ、なんと3週間ほどで基礎的なところができちゃいました。実装的にはまだ本当に基礎的なところで、B-Tree Mapを実装できる程度です*1。 …

Pythonのhttpx (async) はサービスに支障が出るほど遅い、ただしコネクションプールを切ると速くなるかも

httpxはものすごく遅いから使うべきでないかもしれない…という話を書こうと思ったんですが、検証してみたら、確かにaiohttpよりは2倍以上遅いんですが、設定次第で多少はマシかもしれない、という結論です。 前提として、async modeです。いまどきのAPI serv…

マンションを買った

去年、マンションを買った(2024年8月) 築30年くらいの中古のマンション 70平米弱くらい 35年ローン 今年はローンの金利があがって月々の支払いが結構増えた…これ以上金利は上がらないでほしい… 全然知らなかったのだが、家を買うと5%の手数料がかかる 手数…

sqldefで column / table / index のrenameができるようにしました

github.com sqldefは、宣言的スキーマ管理(declarative schema management)のためのツールです。 atlas とか ridgepole とか、あるいは古くは GitDDL(あるいはGitDDLのバックエンドである SQL::Translator::Diff)のように、「理想的なDDL」を書いておく…

「プログラマの抱いている名前についての誤謬」に関する誤謬

プログラマの抱いている名前についての誤謬 こういうよく知られた翻訳エントリがあって、主張しているのはだいたい次のようなことです。 名前とはその人のアイデンティティの中核をなすものだから、システムは「その人が主張する名前」を尊重するべきである …

Agentic coding革命が "成った" 世界で……

今年に入ってすぐくらいから、coding agentを活用した、いわゆる vibe coding を行うようになりました。 vibe codingとは、おおむね「自然言語でcoding agentに指示をしてプロダクトを作る」という開発スタイルのことを指すとみていいようです*1。 これはま…

『JavaScriptプログラマーのためのTypeScript厳選ガイド』を執筆しました

JavaScriptプログラマーのためのTypeScript厳選ガイド という本を書きました。JavaScript中級者でTypeScript初心者のプログラマーに向けたTypeScriptの入門書です。 これまで何度かTypeScriptの記事を書いてきました。 TypeScript再入門 ― 「がんばらないTyp…

Starleyに転職しました

FastlyからStarleyに転職しました。Starleyは音声会話型おしゃべりAIアプリ「Cotomo」(コトモ)を開発している会社です。 cotomo.ai StarleyはFastlyとは打って変わってB2Cのスタートアップです。今回の転職ではせっかくなので生成AIに多少なりとも関わりたい…

WindowsマシンをゲーミングPCとして買った

15年ぶりくらいにWindowsマシンを買いました。ゲーミングPC目的です。いまのところ、聖剣伝説Visions of Manaを快適にプレイできてます。 GALLERIA XA7R-R46T WSL2のおかげで開発機としても普通に使えていい感じです。長らく仕事ではUbuntuの入ったmini PCに…

『Rustで作るプログラミング言語』を読んで、かねてから構想していた自作言語を形にした

Rustで作るプログラミング言語という書籍が先日発売されました。簡単なプログラミング言語を作ってバイトコードに変換して実行したりネイティブコードに変換して実行してみよう、という本で、大変面白く読みました。最終的にまあまあ本格的な言語になるので…

デイリーポータルZの新着記事をBlueskyに投稿するbotを作った

デイリーポータルZの新着記事をBlueskyに投稿するbotを作りました。 github.com デイリーポータルZは2024年1月1日から独立した会社になるようですが、状況から察するに実態としては消滅まで秒読みと思われます。インターネットからデイリーポータルZが無くな…

SMBCのOliveカードでオンライン決済が拒否されたら「クレジットモード専用カード番号」を試すとよい

2023年から三井住友銀行にオリーブアカウントなるものができて、これのクレジットカードが「クレジットモード」「デビットモード」「Vポイント払いモード」を切り替えて使えるという触れ込みです。このほか、オリーブ化するとSMBCからの振り込み手数料が無料…

家計口座用の家計簿アプリをマネーフォワードMEからZaimに乗り換えた

追記(2023/11/29): 2023/11/1からまたZaimでアメリカン・エキスプレスとの連携ができなくなりました: (11/2 掲載)アメリカン・エキスプレスの連携不具合について:よくある質問|家計簿アプリ Zaim。マネーフォワードではできているようです。困惑の極み……