小编chr*_*eyn的帖子

有没有办法在终端"打印"一个字符串,用户可以编辑这个字符串并按Enter确认并将其传回程序？

我为我的Haskell项目构建了初始代码库,我cabal init 用Hspec编写了几个测试.在cabal test它上编译和运行这些测试,如预期,并给出失败/传递的消息.

现在我加入了一个quickCheck测试,即使测试失败,终端输出也无法识别quickCheck测试.

但在dist/test/dir中我可以看到测试日志 *** Failed! ...

有没有办法在测试工作流程中"包含"quickCheck测试.因此,我不必在每次测试运行后查看测试日志.

import Test.Hspec
import Test.QuickCheck

spec :: Spec
spec = do
    describe "myTest" $ do
        it "Something something" $ do
            myTest "" `shouldBe` False
            quickCheckWith stdArgs { maxSuccess = 1000 } prop_myTest -- <== ?

Haskell的pure功能是一样的return吗？

如果Monad已经是Applicative的一个实例,我可以创建一个Monad实例,对吧？所以我想知道Applicative的 pure每次都可以与Monad互换return吗？有没有一个例子,他们不一样？

data HelloType a = HelloType { getValue :: a } deriving (Show, Eq)

instance Functor HelloType where
    fmap f (HelloType y) = HelloType (f y)

instance Applicative HelloType where
    (<*>) (HelloType f) (HelloType x) = HelloType (f x)
    pure = HelloType

instance Monad HelloType where
    (>>=) (HelloType x) f = f x
    -- return = pure
    return = HelloType

plus3 :: (Num a) => Maybe a -> HelloType (Maybe a) …

我检查,doesFileExist filePath但我怎么能handle <- openFile filePath ReadMode只在文件存在时使用

或者,当文件不存在时,如何获取默认字符串？

getFileContent filePath = do
    handle <- openFile filePath ReadMode
    content <- hGetContents handle
    return content

main = do
    blacklistExists <- doesFileExist "./blacklist.txt"
    let fileContent = if not blacklistExists
            then ""
            else getFileContent "./blacklist.txt"

    putStrLn fileContent

如果我运行以下 common lisp 代码：

(print "A")
(print "B")
(print "C - No closing bracket"

sbcl --script ./test.lisp

打印A和B。之后错误就像预期的那样出现。