ghci

3熱

1答えて

GHCiは多態性アクションに使用するMonad型クラスのインスタンスをどのように選択しますか？

私はハスケルに新しいので、これはノブの質問かもしれません。私が行ったときreturn 10 >>= return GHCiは10を示しています。 return 10のタイプを:tにチェックすると、それはちょうどreturn 10 :: (Monad m, Num a) => m aと表示され、私はtypeOf return 10とエラーが発生します。私が理解する限り、>>=の特定のインスタンス

1熱

1答えて

Haskellのパターンコードがエラーで失敗しています「関数内の非網羅的なパターン」

ghciを使用しています。私は、リスト内のすべての要素を2倍にする単純な関数を持っています。私はそれが二重のリストの要素だが、最終的には以下のエラーで失敗するパターンマッチングを試みたとき： *Main> let double [] = [] *Main> let double (x:xs) = (2*x) : double xs *Main> double [10,2,0,5] [20,4

0熱

3答えて

ハスケル：エラーGHCiの

でカスタムタイプを使用しているために、stack ghciを実行しようとしたとき、私は次のタイプに怒鳴る succeed :: a -> Parser a succeed v = \inp -> [(v,inp)] として type Parser a = String -> [(a,String)] とパーサを操作するためにいくつかの機能を宣言しました上記の関数をテストするためにsucc

1熱

2答えて

HASKELL ---私は、この作品を知っているGHCiの

で "やる" 構文の中に "う" の使用： do name <- getLine; let nameTag = "Hello, my name is " ++ name in putStrLn nameTag だけでなく、コードのこの作品GHCiのにロードされたとき： hey = do name <- getLine let nameTag = "Hello, my nam

1熱

2答えて

色でghciプロンプトを設定する

ghciプロンプトで端末の色を使用しようとしています。だから私はghciを開いてしようとする：私はこれらのコードはechoと-eフラグではbashによって解釈されていることを知っている Prelude> :set prompt '\[\033[1haskell > \033[0m\]' '\[\033[1\]haskell> \[\033[0m\] ' 。しかし、ghciでこれをどうすれば

3熱

1答えて

WindowsのGHCIとのHaskell外部関数インタフェース

まず、Windows 10 64bitとHaskell Platform 8.0.1を使用するように指定します。次のコードを使用して、WindowsでHaskellのFFIを使用しようとしています。 import Control.Monad import Data.Char import Foreign.C getCh :: IO Char getCh = liftM (chr . f

2熱

1答えて

'Text.Regex.Posix'の名前が変更されましたか？

私はこのquestionと同じ問題があります。しかし、両方の答えはモジュールText.Regex.Posixに依存しています。私はそれをインポートしようとすると、私は <no location info>: Could not find module ‘Text.Regex.Posix’ Perhaps you meant Text.Regex.Base (from

1熱

1答えて

ghcii.shの上向き矢印はコマンド履歴をスクロールしません

私はghcii.shとcygwin（windows 10）を使用しています。上向きの矢印は、コマンド履歴をスクロールせずにカーソルを1行上に移動します。どのようにして後者をするのですか？

8熱

1答えて

ghciで綺麗に印刷

ghciに特定のタイプのshowではなくカスタム印刷機能を使用させる方法はありますか？より一般的な質問：インタラクティブモードでライブラリをできるだけ使用可能にするための一般的なガイドラインは何ですか？ありがとう。

4熱

2答えて

あいまいなタイプは `の使用に起因する」変数` A0'

私が取得していますGHCiのfactorPairs 18で関数を呼び出すと、私は与えられた数 factorPairs:: (RealFrac a, Floating a, Integral a) => a -> [(a, a)] factorPairs n = map(\x -> (x, div n x)) [y | y <- [1..(ceiling $ sqrt n)], n `rem` y