Vitalik: 新しい高度なプログラミング言語は、定義と理論を簡単に読みやすくする

Vitalikは、新しいタイプの高度なプログラミング言語を試す価値のあるプラットフォームXで述べています リーンまたはホルとしてコンパイルされた言語, 定義の作成に焦点を当て、人間が読みやすい理論, 証拠ではなく, 読者は、AIの出力が認定されたときに証明されている正確なクレームを理解する必要があるため。