Question

我很抱歉,我说不好。

见下文准则。

main = getChar

首先,将评估主要价值,其价值是“植被”,但汇编者并不了解“植物群”价值,因此汇编者将评价“植物群”以计算“植物群”价值,因此将实施“收获”。

实际上,一经测试上述代码。执行了“植被”。

见下文准则。

main = return (getChar, getChar)

首先,主要评价是回报(未界定、未界定)-> IO(未界定、未界定),这样预先定义将评价IO(未界定、未界定)印刷价值。两人中有一人将对慈善工作进行评价。

但是,在测试上述代码时,没有两部得到任何测试。没有对慈善机构进行评估。我不理解为什么没有评估两个收获季节。

Answer 1

你必须实际执行 mo行动,然后恢复执行结果。

func = do
    a <- getChar
    b <- getChar
    return  (a,b)

你目前正在做的是C声明:

void main(char &a, char &b)
{
    a = getchar;
    b = getchar;
}

而不是你真的想要:

void main(char &a, char &b)
{
    a = getchar();
    b = getchar();
}

Answer 2

“我想知道,为什么没有评估两个收获季节”。

首先,如逻辑或数学或陶瓷(而不是p))= 页: 1

我想知道,为什么对这两个老虎进行评价。

Conf,因为我没有评价他们。

你的主要职能是计算国际交易日志(IOa)的价值,然后评估国际交易日志内部的类型。在你的案件中,是(IO Char, IO Char)。由于Haskell语是非严格语言,评估理论公正意味着构造。这不包括对教学内容的评价。例如:

fst (42, 7 `quot` 0 :: Int)

will not abort with division by zero error. Hence we have:

(getChar, getChar)

is a tuple with 2 unevaluated values. But even if the values are evaluated, we have 2 values of type IO Char. Such a value can be seen as an action that, when executed in the IO monad, returns a Char.

因此,不仅没有评价你的图形成分,而且也没有在IO monad实施。

为了做到这一点,你可以把两项行动推向另一项行动:

executeBoth (a,b) = do
    ra <- a
    rb <- b
    return (ra, rb)

现在,检查执行类型你们都可以看到这一点。

友情链接