almide

同じく LLM 向けをうたう言語のなかで、AI が何度か手を入れた後もコンパイルとテストが通り続けるかどうかを設計の指標に置いた静的型付け言語です。