問題タブ [church]

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

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

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

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

またはとして

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

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

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

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

SML で教会の数字を作成する課題があります。私は周りを見回しましたが、私が間違っていることを見つけることができません。目標は、int を取り、教会の数字を返す関数を作成することです。これは、データ型 'a 数字 = Num of ('a -> 'a) -> 'a -> 'a (私の先生によって事前定義されています) として定義されます。 . 次に、教会の数字を取り、int を返す 2 番目の関数を作成します。

コードを含む以前の投稿を見ました：

しかし、これは機能せず、値の制限のために一般化されていないエラー型変数がダミー型にインスタンス化されます。

コードを使用したとき：

（ゼロを定義するため）そして次に

（反復関数または再帰関数を設定する前に、ゼロをインクリメントできるかどうかをテストするためだけに）、同じエラーが発生しました。私はこの問題に何時間も費やしましたが、教会の数字を出すことができませんでした. 誰かが私を正しい方向に向けることができますか?

私は自分の教会のAndroidアプリに取り組んでおり、説教をしたいと思っています。私たちが説教をアップロードする会社は、それに対するポッドキャストフィードを自動的に作成します。基本的に、私はアプリ内のポッドキャストを一覧表示する方法を探しています。1つのポッドキャストにハードコーディングしてほしい。私はオンラインで調べましたが、実際には何も見つかりません。ポッドキャスト部分のコーディング方法がわかりません。ほとんどの場合、実際の再生はセカンダリアプリに渡すことができます。

私はSwift 3でChurch Numeralsを実装しようとしています.現在、私は持っています:

私の関数numToChurchのこの行で：

「非エスケープ パラメータ 'f' を閉じると、エスケープできる可能性があります」というコンパイル時エラーが発生し続けます。応急処置として、推奨される変更を受け入れて @escaping を含めました。

しかし、変更を行った後でも、同じエラーが表示され続け、「f:」の後に別の @escaping を追加することをお勧めします。これは、関数パラメーターを @escaping としてマークして、関数型プログラミングのためにパラメーターを保存またはキャプチャできることをコンパイラーに伝えることに関係していることを理解しています。しかし、なぜこのエラーが発生し続けるのかわかりません。

元のエスケープしない質問が解決されました

Swiftの続きで教会のエンコーディングを理解するのに役立ちます: