問題タブ [haskell]

式に含まれる変数の値のリストが与えられた場合、どのように式を評価できますか?

例：

たとえば、2 つの式 e1 と e2 を追加したい

私はそれが次のようなものになると推測しています

たとえば、次のように機能するように toString (Var x)= "x"

Haskell が動的または静的スコープを使用しているかどうかを把握しようとしています。たとえば、次のように定義するとわかります。

次に、関数を定義します

2 つの異なる「x」がありますが、それは動的にスコープされているということですか? そうでない場合、どのスコープが使用され、その理由は?

また、Haskell 変数にエイリアス (同じメモリ位置/値の別の名前) を付けることはできますか?

ありがとう。

haskell レポートから:

y がゼロ以外の場合、quot、rem、div、および mod クラス メソッドは次の法則を満たします。

quotはゼロに向かって切り捨てられた整数除算であり、 の結果はdiv 負の無限大に向かって切り捨てられます。

例えば：

結果がどのように切り捨てられるかの違いが問題になる例は何ですか?

私は Haskell で少し錆びており、立ち直ろうとしています。私が F# で楽しんでいることの 1 つは、Visual Studio と統合された F# Interactive シェルです。実質的に何でも (関数とクラスの定義を含む) 評価し、F# をシェルとして使用できます。Haskellに同等のものはありますか? を使用するghciと、関数定義を評価できません。それをどのように回避しますか？

私の現在の好みの設定は、Emacs を haskell-mode で使用し、インタラクティブな ghi インタープリターを開くことです。しかし、ファイルの領域だけを評価する方法はありますか?

少し初心者の Haskell の質問ですが、Haskell のチュートリアルの例でこの例に出くわしました。「リストの最後の要素を見つける」には、次のようないくつかの明白なバージョンがあります

しかし、提示された代替バージョンを理解できません:

したがって、id 関数のアプリケーションが何をしているかを理解しようとして、ghci で試しました。

これは次のようにバインドします。

そして、このようではありません：

しかし、私はこれを理解していません。(const id)のようなものに変換する必要があります

これは、最初の要素の ID を返すだけの関数を返すべきではありませんか? または、関数の順序付け (const id) は、const とはどのように異なる動作をしますか?

Haskell 関連のものを読んでいると、「結び目を結ぶ」という表現に出くわすことがあります。

それで、この概念の説明を理解するのに適切で、基本的で、簡単なものはありますか?

Windows XP コンピュータに GHC 6.8.3 と wxHaskell-0.10.3 をインストールします。ソースからビルドするのではなく、バイナリディストリビューションとして両方をインストールします。次のコマンドでサンプルをビルドします。

ghc --make Paint.hs

ビルドされたのと同じコンピューター (GHC と wxHaskell がインストールされている) で動作しますが、別のコンピューターに転送すると失敗します (どちらもインストールされていません)。「アプリケーション エラー」ボックスが表示され、「アプリケーションを正しく初期化できませんでした (0xc0150002)。[OK] をクリックしてプログラムを終了します。」

必要な唯一の非システム dll は wxc-msw2.6.4-0.10.3.dll で、これをフォルダーにコピーしました。

その理由は何ですか？

Haskell の学習を始めたばかりで、書籍やチュートリアルを読むことと、Project Euler の問題を解決することを組み合わせています。次のコードを使用すると「C スタック オーバーフロー」エラーが発生するため、問題 27に固執しています。

euler.hs

コマンド ウィンドウ

このコマンドは、オイラー係数 1 と 41 (40 個の素数) を返します。

これは「Cスタックオーバーフロー」で失敗します（問題の定義にも記載されている係数-79と1601を取得したかった）：

エラーが発生する理由と解決方法を教えてください。ありがとうございました！

私はウィンハグを使っています。