ghci

5熱

3答えて

私は数独を変えてそれがまだ有効であるかどうかを調べるために小道具を書こうとしています。しかし、 "oneof"関数を正しく使用する方法がわかりません。あなたは私にいくつかのヒントをくれますか？ここで prop_candidates :: Sudoku -> Bool prop_candidates su = isSudoku newSu && isOkay newSu where

9熱

2答えて

ghciの永続コンソール履歴

6.12.2では、これは私のために働いたと思います。しかし、今は6.12.3（一般的なunixバイナリ）の新しいボックスに入っています。明らかにいくつかの設定がありません。 ghciのコンソール履歴が1つのセッション（つまりghciの実行）内にありますが、これまでのようにセッション間でこの履歴は保存されずに再読み込みされません。 ghciがreadline、editline、またはhaskelin

2熱

1答えて

blakにpropを書くのに助けが必要です:: Sudoku→[Pos]（Haskell）

私はこのスレッドを見つけましたHaskell List Comprehension今、この関数のすべてのセルは空白ですが、コンパイルしようとすると次のエラーメッセージが表示されます。 {- Property that states that all cells in the blanks list are actually blank -} prop_blank_pos :: Sudoku

1熱

2答えて

は、Haskellで関数の候補を書く手助けが必要です

こんにちはthisスレッドをこのスレッドを処理しています。また、thisスレッドがintrestのものかもしれません。数独 data Sudoku = Sudoku { rows :: [[Maybe Int]] } deriving (Show, Eq) を与えられ、位置（type Pos = (Int, Int)）は、あなたが数独の行で、たとえば、そこに書くことができますどのような数

1熱

2答えて

ghci（Haskell）で関数 "置換"を試行できませんでした

"置換"しようとするとエラーが発生し、Haskell標準ライブラリのData.Listの関数を実行しようとしています。私はここで何が欠けていますか？ありがとう。 Prelude> map (\b-> b*b) [1,2,3] [1,4,9] Prelude> permutations "abc" <interactive>:1:0: Not in scope: `permutations'