找出lambda演算/haskell类型的一些例子

假设函数获取两个不同类型的变量作为其输入（例如，一个变量在C语言中是int，一个变量在C语言中是char），并返回一个在

int

中的变量

如果此函数编码为Haskell或lambda演算代码，那么函数的类型是什么

因此，假设函数的类型为

Int->（Char->Char）->Int

。这意味着什么？这是否意味着它接收int变量作为输入，并运行

（Char->Char）

函数，输出

int

变量？

一种

int->（Char->Char）->int

类型的函数将接受

int

和

Char->Char

类型的函数作为输入，并输出

int

函数本身不必实际使用其输入。比如说,

meetoosFunction :: Int -> (Char -> Char) -> Int
meetoosFunction _ _ = 42

*Main Data.Char> meetoosFunction 1 toUpper
42

Int->（Char->Char）->Int

类型意味着函数接受

Int

和

Char->Char

类型的函数作为输入，并输出

Int

函数本身不必实际使用其输入。比如说,

meetoosFunction :: Int -> (Char -> Char) -> Int
meetoosFunction _ _ = 42

*Main Data.Char> meetoosFunction 1 toUpper
42

---

metoosFunction:：Int->Char->Int“…并运行（Char->Char）和…”的函数，如果您想学习Haskell，请按程序停止思考。您不需要“运行”函数，而是对某些输入的结果进行评估。如果您想学习Haskell，请停止按程序思考。您不需要“运行”函数，而是对某些输入的结果进行评估。