函数式编程中的签名/类型(OCaml)
函数式编程中的签名/类型（OCaml）是指在函数式编程语言中，函数的类型和参数类型的定义。在OCaml中，函数类型和参数类型的定义是通过类型推断和注解来实现的。
在OCaml中，函数类型的定义通常使用类型变量来表示，例如：
val add : int -> int -> int这个函数类型定义表示，add函数接受两个整数参数，并返回一个整数类型的值。
在OCaml中，函数参数类型的定义也是通过类型变量来表示的，例如：
val add : int -> int -> int这个函数参数类型定义表示，add函数接受两个整数参数，并返回一个整数类型的值。
在OCaml中，类型注解可以通过:符号来定义，例如：
let add (x:int) (y:int) : int = x + y这个函数定义中，add函数接受两个整数类型的参数x和y，并返回一个整数类型的值。
在OCaml中，类型推断可以自动推断函数的类型和参数类型，例如：
let add x y = x + y这个函数定义中，add函数接受两个整数类型的参数x和y，并返回一个整数类型的值。OCaml编译器会自动推断出add函数的类型和参数类型。
总之，函数式编程中的签名/类型（OCaml）是指函数的类型和参数类型的定义，可以通过类型注解和类型推断来实现。
相关·内容
2回答
函数编程中的签名/类型(OCaml)
functional-programming、ocaml、signature
我开始学习函数式编程(，OCaml)，但我不理解关于fp的一个重要主题:签名(我不确定它是否是一个合适的名称)。当我键入某些内容并使用ocaml进行编译时，例如：
# let inc x = x + 1 ;;
val inc : int -> int = <fun>
这是微不足道的，但我不知道，为什么：
let something f g a b = f a (g a b)
给出一个输出：
val something : (’a -> ’b -> ’c) -> (’a -> ’d -> ’b) -> ’a -> ’d -> ’c
浏览 0提问于2010-11-17得票数 9
回答已采纳
2回答
将我的代码从OCaml/F#映射到Scala --一些问题
scala、f#、ocaml
我正在业余时间学习Scala --作为一个学习练习，我将一些OCaml代码翻译成Scala。既然我是斯卡拉的新手，请给我一些建议.
但在问我问题之前-这是原始的OCaml代码：
let visited = Hashtbl.create 200000
let rec walk xx yy =
let addDigits number =
let rec sumInner n soFar =
match n with
| x when x<10 -> soFar+x
| x ->
浏览 4提问于2014-12-04得票数 1
回答已采纳
3回答
Scala函数定义和用法
scala、lambda
基于下面定义函数的示例，2和3在不同场景中的最佳用途是什么？
def sum(x: Int, y: Int): Int = { x+y }这是一个带有参数、返回类型和函数体的函数定义
val sum = (x: Int, y: Int) => { x+y } --这似乎是将lambda函数赋值给变量，为什么这里从来没有定义返回类型？
val sum: (Int, Int) => Int = (x,y) => { x+y } --这是将函数定义为类型？--我不明白这是如何工作的！
当调用所有3个函数时，都会产生相同的结果：
scala> sum(1,2
浏览 4提问于2014-03-30得票数 1
回答已采纳
3回答
剖析scala中的一个简单函数声明
scala
这个例子是从Scala开始的，但是对我来说解释得还不够好。
val f: Int => String = x => "Dude: "+x
我真的有两个问题：
1)第一个示例与下面的代码相同：
val f = (x:Int) => "Dude: "+x
2)如果是这样的话，有人可以详细说明一下，并分析一下第一个例子。String =x部分让我大吃一惊。我不知道该怎么读这份声明
浏览 3提问于2011-03-14得票数 2
回答已采纳
1回答
OCaml函数的类型
ocaml
我开始学习函数式编程(OCaml)，但我不理解关于函数式编程的一个重要主题:类型。
有人能给我解释一下这个解决方案吗？
这周有个测试，无法达到解析度。
let f a b c = a (a b c) 0;;
f: ('a -> int -> 'a) -> 'a -> int -> 'a
浏览 1提问于2014-06-18得票数 0
3回答
类型注释被推断的表达式类型覆盖
scala、types、ocaml
在scala编程语言中，如果我用更广泛的类型对表达式进行注释，并且提供了一个狭窄的值，那么我的程序就会被拒绝：
scala> def x[A](): A = 8
<console>:11: error: type mismatch;
found : Int(8)
required: A
def x[A]() = 8: A
而在ocaml中，当我做同样的操作时，程序被接受，但是表达式的类型注释被窄表达式的类型所覆盖。
utop # let x (): 'a = 8 ;;
val x : unit -> int = <fun>
这些类型
浏览 2提问于2020-10-06得票数 3
回答已采纳
2回答
绝对值函数Ocaml
ocaml
我正在看这个编程语言" ocaml“，我有一些麻烦，因为我读了ocaml的官方文档，但我不理解如何使用： ";“和”；“和"in”，特别是在函数的定义中。 这是我的代码： let abs_val value : int -> int =
let abs_ret = ref 0 ;
if value >= 0
then abs_ret := value
else abs_ret := -value ;
let return : int = abs_ret
;;
print_int abs_val -12 用"ocamlc“编译，它
浏览 39提问于2020-06-20得票数 0
2回答
OCaml :为什么比较运算符与类型无关，而算术运算符不是？
functional-programming、ocaml
我想知道为什么< operator支持int、string、bool或float，而+只支持int。
OCaml能识别要使用的底层算法吗？比较运算符与算术运算符有何不同？其他FP语言也是这样吗？
浏览 5提问于2015-10-29得票数 8
回答已采纳
1回答
理解Ocaml的结构
ocaml
我正在浏览网站：
根据Ocaml的结构，我有一个问题。更具体地说，我有一些问题是根据守则提出的：
let rec reduce (f:'a -> 'b -> 'b) (u:'b) (xs:'a list) : 'b =
match xs with
| [] -> u
| hd::tl -> f hd (reduce f u tl);;
f hd在最后一行做什么？(我知道reduce f u tl再次调用了函数本身。)
我的第二个问题是如何使用函数在Ocaml中实现另一个函数。关于守则：
let ti
浏览 1提问于2019-03-17得票数 0
回答已采纳
5回答
单元素元组和零元素元组有什么好处？
c#、f#、tuples、c#-7.0
C# 7.0引入了值元组以及对它们的一些语言级支持。他们 添加了支持 单元素元组和零元素元组；然而，我找不到任何场景，当它们可能有用的时候。 由 重载我可以创建任何类型的元组，但C# 7.0语法只允许至少两个元素： Microsoft (R) Roslyn C# Compiler version 2.8.3.62923
Loading context from 'CSharpInteractive.rsp'.
Type "#help" for more information.
> ValueTuple.Create()
[()]
> ValueT
浏览 93提问于2018-08-07得票数 20
回答已采纳
1回答
OCaml中箭头"->“的用途是什么？
ocaml
我最近一直在学习OCaml，到目前为止，编译器似乎使用了一个箭头来表示下一个类型是什么。例如，int -> int -> <fun>是一个返回整数的整数，它返回一个函数。
但是，我想知道是否可以在OCaml代码中本机使用它。此外，如果有人碰巧知道它的适当名称。谢谢。
浏览 7提问于2017-03-16得票数 4
回答已采纳
我在Swift中的函数式编程中看到了这个函数，但是我不明白这个函数的签名，这个函数的返回类型意味着什么？
func curry<A, B, C>(f: (A, B) -> C) -> A -> B -> C
{
return { x in { y in f(x, y) } }
}
编辑：
这个函数是这样使用的吗？
fun add(a: Int, b: Int) -> Int {
return a + b
}
let curriedAdd = curry(add)
//to add 1 and 2
let resultOf1Plu
浏览 2提问于2014-11-16得票数 2
回答已采纳
1回答
哪种语言的泛型是OCaml中类似于C++、Java或C#的泛型类和函数？
generics、ocaml、programming-languages、computer-science
我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。
类在OCaml中也可以有类型参数，参见中的“类参数和多态性”。
如果我是对的，在OCaml中，类可以显式参数化多态，而函数隐式参数多态？
为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCaml中类似于C++、Java或C#的泛型类和函数？因为OCaml的函数是隐式参数多态的，而不是显式的，而且C++、C#和C#中的泛型函数是显式参数多态的，这一点我说得对吗？
OCaml似乎有第三个泛型：。如果我是对的，泛型模块与OCaml中的泛型类和函数是不同的。我在这里的问题只是关于类和函数
浏览 3提问于2017-09-20得票数 3
回答已采纳
2回答
为什么OCaml有强制性的不同的浮点和int字面语法？
compiler-errors、ocaml、static-typing
OCaml对这两种语言都有不同的语法：
浮点操作与int操作。浮点操作以点：+.结尾。
浮点文字与整数文字。浮动文字以点：3.结尾。
# 3 + 3;;
- : int = 6
# 3. +. 3.;;
- : float = 6.
# 3. + 3;;
Error: This expression has type float but an expression was expected of type
int
我可以看到使用这些机制中的一种来消除歧义，但是为什么总是需要两个机制呢？例如，我可以看到这样一种情况，即在文字末尾有时需要.，而不是为什么3 +.
浏览 6提问于2020-10-07得票数 2
3回答
什么是全类型推断语言？以及这种语言的局限性？
types、programming-languages、functional-programming、type-inference、type-systems
据我所知，在编写函数或模块时不需要在源代码中编写类型注释的任何编程语言，如果代码块“类型正确”，编译器将推断类型并编译代码。还有更多吗？
有这样的语言吗？如果是，它的类型系统有什么限制吗？
更新1:为了让非常清楚，我问的是静态类型的、完全类型推断的编程语言，而不是动态类型的编程语言。
浏览 2提问于2012-05-05得票数 11
回答已采纳
1回答
例如,
(*) f是算术声明：+，-，*，/。X是int列表。Y是int。
rawr将f应用于具有y的x的每个元素，并返回累加值*)
让rawr x x y= ..。…………
rawr (*) 1;2;3 2应返回(1*2) + (2*2) + (3*2) = 12
rawr (+) 1;2;3 2应返回(1+2) + (2+2) + (3+2) = 12
我不需要编写rawr代码(这只是我想出的一个随机示例，以明确我的问题)，但我确实需要将其他函数或算术声明作为参数(特别是对于rec或折叠结构)。我一直在尝试不同的格式，但至今没有成功.有谁能告诉我如何以未指定的算术声明或函数作为参数？
谢谢
浏览 4提问于2014-09-21得票数 0
回答已采纳
2回答
函数式程序设计(OCaml)
types、functional-programming、ocaml、signature
我正在学习函数式编程，我不了解OCaml中的类型，也没有发现任何真正有用的东西。
我有这样的代码：
let rec map2 f l1 l2 =
match (l1,l2) with
([], _) -> []
| (_, []) -> []
| (x::l1s,y::l2s) -> (f x y) :: map2 f l1s l2s;;
let pick n m =
if n > m then (fun b x -> if b then x+1 else x*2)
浏览 0提问于2019-01-13得票数 0
回答已采纳
11回答
"int -> int -> int“这在F#中意味着什么？
f#、functional-programming、currying
我想知道这在F#中意味着什么。
“一个接受整数的函数，
，它返回一个函数，该函数接受一个整数并返回一个整数。
但我不太明白。
有人能解释得这么清楚吗？
更新
> let f1 x y = x+y ;;
val f1 : int -> int -> int
这是什么意思？
浏览 16提问于2010-02-01得票数 14
回答已采纳
1回答
在Scala中返回函数的其他替代方案中，竞逐的目的是什么？
scala、functional-programming、higher-order-functions、currying
我目前正在学习Scala课程，最近我被介绍了各种返回函数的技术。
例如，给定此函数和方法：
val simpleAddFunction = (x: Int, y: Int) => x + y
def simpleAddMethod(x: Int, y: Int) = x + y
我可以返回另一个函数，只需这样做：
val add7_v1 = (x: Int) => simpleAddFunction(x, 7)
val add7_v2 = simpleAddFunction(_: Int, 7)
val add7_v3 = (x: Int) => simpleAddMetho
浏览 2提问于2021-10-08得票数 1
回答已采纳
1回答
不能使用计算器推断实例
haskell、type-inference、hugs
我已经开始通过学习函数式编程的入门课程。有什么比真正尝试和测试代码更好的方法来尝试和理解东西呢？
唉，在第二页中，我遇到了以下情况：
data Expr = Val Int | Div Expr Expr
eval :: Expr -> Int
eval (Val n) = n
eval (Div x y) = eval x `div` eval y
当我试图运行它时会产生一个错误。我不太清楚为什么会这样。当我尝试
eval (Val 4) `div` eval (Val 2)
在repl-循环中，它工作得很好，但是
eval 4 `div` eva
浏览 4提问于2015-12-06得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频活动推荐
腾讯云开发者
