Scribble at 2023-09-18 08:32:30 Last modified: unmodified
Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. To learn quickly about the language and its features, you can jump right to the official Catala tutorial. You can join the Catala community on Zulip!
こういう試験的なプログラムを何の説明もなく Hacker News とかに投稿されても困るよな。コメントでも「これなんなんだよ」って書かれてるけど、チュートリアルにすらなんにも説明がない。なんだか OCaml のライブラリみたいなことは書いてあるけど、OCaml を VM にした言語なのかな、ちょうど Java に対する Scala みたいに動作する。そうじゃないのかな。インストール手順にしても OCaml のパッケージ・マネージャである opam を使って取り込むみたいなことしか書いてないし、とにかくこれは他人にリリースするような段階のものじゃないと思うぜ。友達同士で「あれ」とか言って使ってるならともかく。フランスではこれで通用するのかもしれないが、これでアメリカの VC から金をせびろうなんてやつが来たら、たぶん玄関から蹴り出されるだろう。