脚注にHaxeの話を書きすぎてしまった
RAII があれば GC 要らないみたいな意見を見ることも多いし、Rust に GC が欲しいみたいな話は揉めがちだし、高速で先進的で楽な言語というカテゴリーは今はニッチなのかな
エムスリー内でのOCaml熱、どれだけ浸透するのか楽しみだな
昔、biocamlというのがあった。
Gleamでもええやん
Haxe も久しぶりに触りたい欲出てきたな
OCamlに先に成功状態・失敗状態・許される操作を型として定義し、AI にはその枠内で実装させ、型不一致や分岐漏れはコンパイラに検出させる、ある種のハーネスをOCamlとコンパイラに負担させてる考え
“プログラミングを安全に分かりやすく記述する奥義は、代数的データ型を宣言して、それのパターンマッチにより分岐を網羅して記述すること。AIも書き間違えないし、人が読むときも分かりやすく”
ブコメ「Gleamでもええやん」→ 残念だけど、Gleam (BEAM) は起動が遅くて、あまりCLIコマンド向けでは無いと思う（ついでに、計算速度も速くはなく……）。
OCamlはエンコーディングが基本Latin1だったので日本語の扱いが大変だった気がしたが、治ったのだろうか？
CLIツール開発言語として OCaml を使ってみている - エムスリーテックブログ
脚注にHaxeの話を書きすぎてしまった
RAII があれば GC 要らないみたいな意見を見ることも多いし、Rust に GC が欲しいみたいな話は揉めがちだし、高速で先進的で楽な言語というカテゴリーは今はニッチなのかな
エムスリー内でのOCaml熱、どれだけ浸透するのか楽しみだな
昔、biocamlというのがあった。
Gleamでもええやん
Haxe も久しぶりに触りたい欲出てきたな
OCamlに先に成功状態・失敗状態・許される操作を型として定義し、AI にはその枠内で実装させ、型不一致や分岐漏れはコンパイラに検出させる、ある種のハーネスをOCamlとコンパイラに負担させてる考え
“プログラミングを安全に分かりやすく記述する奥義は、代数的データ型を宣言して、それのパターンマッチにより分岐を網羅して記述すること。AIも書き間違えないし、人が読むときも分かりやすく”
ブコメ「Gleamでもええやん」→ 残念だけど、Gleam (BEAM) は起動が遅くて、あまりCLIコマンド向けでは無いと思う（ついでに、計算速度も速くはなく……）。
OCamlはエンコーディングが基本Latin1だったので日本語の扱いが大変だった気がしたが、治ったのだろうか？