問題タブ [ghci]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
haskell - Haskell: "_" のように、値が何であれ気にしないことを示すために使用できるものは他にありますか?
そこで、ヘキサポーン ゲームを作成し、ボードが勝利状態にある場合に True を返す関数を作成しようとしています。現時点では次のようになります。
したがって、これは、黒または白のピースが残っていない場合、または誰も移動できない場合に機能しますが、反対のポーンがボードの端に到達した場合は機能しません (ヘキサポーンで勝つ別の方法)。変数blackPiecesとwhitePiecesは座標のリスト、すなわち [(1,1),(2,1),(3,1)] で、サイズnのボード上でこれらのポーンがどこにあるかを示します (その白がターンする場合、ターンは true です)。
これらの条件をメソッドに追加したくなりましたが、コンパイラはそれを気に入りませんでした。
「 2番目の要素が1である(つまり、ボードの反対側に到達した)whitePiecesにタプルはありますか」と言う他の方法はありますか?
有益なコメントをお寄せいただきありがとうございます。
haskell - Applicative の ghci 特殊ケース?
ghci で:
これは、ghci が Applicative を実行し、結果を表示するということIO
ですか?
何も印刷しないpure ()
でください。pure (+1)
haskell - 型エラーを与える Haskell の型シノニム
次のような型シノニムを作成しようとしています。
このコードのコンパイル中に [トークン] を使用して結果を作成しようとすると、haskell が不平を言うため、問題が発生しています。
機能するコンストラクターで型シノニムを定義するにはどうすればよいですか?!
haskell - GHCi環境ダンプ
GHCiで基本的に状態ダンプを取得する方法はありますか? これは、次のリストを意味します。
- ロードされたすべての演算子とその優先順位、結合性、および署名。
- ロードされたすべてのクラス。
- 読み込まれたすべてのデータ、型、および newtype と、それらがどのクラスのインスタンスであるか。
- ロードされたすべての関数とその署名、および所属する場合は所属するクラス。
これが可能であると仮定すると、実行時、たとえば例外中にこれを行うことも可能ですか?
haskell - ghciで.hs拡張子のないrunhaskellスクリプトをロードするにはどうすればよいですか?
私は次のコードで名前が付けられたhaskellでスクリプトを書きましたtestscript
:
スクリプトを実行可能にした後、を使用して実行できます./testscript
。ただし、ghciを使用して(つまり、を使用して:l testscript
)スクリプトを読み込もうとすると、エラーが発生します。
名前をに変更testscript
してtestscript.hs
、もう一度ghciでロードしようとすると、エラーが発生します
シバンラインを削除すると正常に動作します。ただし.hs
、スクリプトに拡張機能を追加し、一番上の行を削除してから、.hs
拡張機能を削除し、ghciでスクリプトを試すたびにシバン行を追加するのは面倒です(これは、変更を加えるたびにかなり一般的です)それに)。これを行う簡単な方法はありますか?
Mac OSX10.6.8でghcバージョン7.0.3を使用しています
haskell - データ型のインスタンスShowを定義しようとしたときの無限ループ
データ型カードのモジュールがインストールされています。私はそれをクラスShowのインスタンスにしますが、ghciで問題が発生します:
ghciを開いて、次のように入力します。
私のデータ型はクラスShowのインスタンスではないようですが、なぜですか?
皆さんありがとう!できます!:)
haskell - IOタイプを表示
重要な要素としてIORefを含むデータ型があります。show
これは、型クラスのメンバーにするためのクリーンな方法がないことを意味します。print
このタイプのIOモナドに関数があるので、これはそれほど悪くはありません。しかし、GHCiでは、これらのいずれかを返すたびに、表示できないというエラーが発生するという点で煩わしいです。
とにかくIOモナドで動作するGHCiに、IOアクションを使用して結果を表示させる方法はありますか?そうでない場合、書くことへの悪影響はありますshow a = unsafePerformIO $ print a
か?
haskell - Haskell:$を使った関数適用
次のスニペットでは、Haskellで書いた2つのコラッツ関数を見ることができます。再帰的なアプリケーションでは、最初の例(collatz)で括弧を使用して、正しい優先順位を取得しました。
$で関数適用を学んだばかりなので、それを使って関数(collatz')を書き直そうとしました。ただし、次のエラーが発生します。
期待されるタイプ`[a]'を推測されるタイプ`a1->[a1]'と一致させることができませんでした`(:)'の2番目の引数、つまり` collatz'' `($)'の最初の引数、つまり`n:コラッツ''式の中で:n:コラッツ'$ n` div` 2
これがうまくいかなかったのは私には奇妙なことになりました。だから私はうまくいった同様の例を試しました:
誰かがそれを見て、私が間違っていることを教えてくれたら、私はそれを感謝します。
haskell - GHCiの複数行コマンド
ghciで複数行のコマンドを入力する際に問題が発生しました。
次の2行のコードはファイルから機能します。
しかし、ghciに入ると、エラーが発生します。
また、コードを中に入れてみました:{ ... :}
が、この例では機能していません。これは、行を1行に追加しているだけなので、そうではないはずです。
WinGHCiバージョン2011.2.0.1を使用しています
haskell - GHCiと手動署名の型推論
私がタイプするとき
GHCiに入ると、タイプは次のようになります。
ただし、次のファイルtype-test.hs
を作成すると
ghcとghciの両方が文句を言います:
FlexibleContextsが有効になっていないのに、なぜghciで(:tを使用して)このタイプを推測できるのですか?