問題タブ [church-pl]

プログラミング言語Churchを使ったことのある人はいますか? 誰でも実用的なアプリケーションを推奨できますか? 私はそれを発見したばかりで、AI と機械学習における長年の問題に対処しているように思えますが、私は懐疑的です。私はそれについて聞いたことがありませんでしたが、それが実際に数年前から出回っていることを知って驚きました。紙のChurch: a language for Generative models で発表されました。

教会のプログラミング言語を Windows で動かした人はいますか? ここの指示に従いましたが、チュートリアルの例を明確な方法で実行できませんでした。私は ikarus を使用しましたが、明確な方法があれば PLT スキーム (現在は Racket) を使用することに非常に満足しています。

たとえば、私は実行できますが

インストール手順の最後に、次を含むファイルを実行できません

これは、 「MIT-Church 入門」セクションの最初の例です。

またはとして

ヘッダーを悪用してテストスイートのように見せれば、この特定の例のようなものを実行できることがわかりましたが、これはそのセクションのその他の例のいくつかには当てはまりません。

通常、私は自分の側のライブラリ パスが間違っているのではないかと疑っていますが、エコーは良好に見えます。

そして、前述のように、テスト ケースが実行されます。

Wiki にインストールするためのトーク ページでこの質問をしましたが、いずれかのフォーラムの結果がクロスポストされることがわかります。