[B! ai] プログラミング自動化の果てに
https://b.hatena.ne.jp/entry/s/aoai-ai-coding.mizchi.workers.dev/

31ページから、"LLMとプログラミング言語の相性"ってあって、型と形式検証になってる＞＜