問題タブ [haskell]

rs最初の where セクションの定義の何が問題になっていますか?

私はちょうど Haskell を学んでいますが、その構文規則は私を混乱させます。エラーメッセージは

私はこのコード スニペットを書きました。これlenは末尾再帰だと思いますが、スタック オーバーフローは依然として発生します。なにが問題ですか？

モナドから学ぶためのクリエイティブな使い方を探しています。AI などでモナドが使用されていることをどこかで読んだことがありますが、モナドの初心者であるため、その方法がわかりません。

ソース コードと使用例へのリンクを含めてください。標準モナドはありません。

次のようなタイプの関数がある場合

この関数をnotでラップするmake関数が欲しいです。

たとえば、このような関数を作る

コンビネータを次のように作成できます

しかし、方法がわかりません。

私は何を間違っていますか？

そして、ボーナスの質問は、より多くのパラメーターと最も少ないパラメーターを使用して関数に対してこれを行う方法です。

私は次の関数を書きました..そしてWinHugsを使って実行しました

私の出力：

とにかく、すべてのリダクションを出力する方法はありますか..それで、WinHugs 内で行われているコア評価を知ることができますか?

関数型プログラミングでは、末尾再帰になるように「ループ」コードを最適化することが重要な場合がよくあります。ただし、末尾再帰アルゴリズムは通常、基本ケースを設定する関数と実際のループを実装する関数の 2 つの関数に分割されます。(アカデミックではありますが) 良い例は、reverse 関数です。

「reverse_helper」は、実際には適切でわかりやすい名前ではありません。ただし、「reverse_recursive_part」はぎこちないだけです。

このようなヘルパー関数にどの命名規則を使用しますか?

Haskell 用の利用可能な REST API ライブラリはありますか?

Google gdata クライアントにはプライマリが必要ですが、おそらく他の目的にも使用するでしょう。

HTTP ライブラリがあることは知っていますが、json エンコーディング/デコーディングなどをサポートする、より高レベルのものが必要です...

Haskellでのパターンマッチングの効率に興味があります。パターンマッチングがネストされたif/caseステートメントよりも優れているという単純なケースは何ですか？

ご協力いただきありがとうございます。

バグではないと思いますが、なぜうまくいかないのか少し不思議です。おまけの質問は、なぜ変数 e に言及しているのかということです。変数 e はありません。

どうやら ghci 6.8 で問題なく動作するようです。私は 6.10.1 を使用しています。

編集:コードを最小化しました。6.8と6.10の両方で同じ結果になると思います

それをコンパイルしようとしています：

次の例を使用するチュートリアルを読んでいます (多少一般化します)。

私の質問は、それらが取得されたタプルの外で名前でx参照できるように見えるという事実にあります。bar私の推測が正しければ、これは他の言語でパラメータリストを分解するように見えるでしょう。(つまり、次のことを行う必要はありませんでした:)

私はこの行動について正しいですか？私が読んでいるチュートリアル/本でまだ言及されているのを見たことがありません。誰かがこの件に関する詳細情報を教えてもらえますか?

編集：何か（リスト、配列など）を同様の方法で分解できますか、それともタプルでのみこれを行うことができますか?