相关疑难解决方法(0)

类型为Num([Char] - > t)=> t的奇怪Haskell表达式

在GHCi做一些练习时,我输入并获得以下内容>

ghci> (1 "one")

<interactive>:187:1:
  No instance for (Num ([Char] -> a0)) arising from a use of ‘it’
  In a stmt of an interactive GHCi command: print it
Run Code Online (Sandbox Code Playgroud)

这是一个错误,但如果我问GHCi表达式的类型,它不会给出任何错误:

ghci> :type (1 "one")
(1 "one") :: Num ([Char] -> t) => t
Run Code Online (Sandbox Code Playgroud)

是什么意思(1 "one")

为什么这个表达式会出错,但是GHCi告诉它输入是否正确?

是什么意思Num ([Char] -> t) => t

谢谢.

haskell type-inference literals ghci

10
推荐指数
1
解决办法
358
查看次数

Haskell中的x <*> y <$> z

我正在尝试理解一些Haskell源代码,我有时会遇到这种结构:

x <*> y <$> z
Run Code Online (Sandbox Code Playgroud)

例如

(+) <*> (+1) <$> a
Run Code Online (Sandbox Code Playgroud)

有人可以向我解释这个结构吗?我得到它转换为fmap a (+ a + 1),但我无法建立连接

haskell functor applicative

5
推荐指数
1
解决办法
174
查看次数

标签 统计

haskell ×2

applicative ×1

functor ×1

ghci ×1

literals ×1

type-inference ×1