2回答
OCaml显式类型签名
、、、
在Haskell中，显式声明函数的类型签名被认为是一个很好的实践，尽管它(通常)可以被推断出来。在OCaml中，这似乎是不可能的。(虽然我可以制作只提供签名的type模块。)
如果是，为什么？OCaml的类型</em
浏览 2提问于2011-05-14得票数 38
回答已采纳
许多语言允许显式地给出泛型函数的类型参数。例如，如果我们在Java或TypeScript中有一个具有以下签名的函数：…而一个类型的MyType，我们可以编写f<MyType>()来调用f，并将类型参数T显式地给出为MyTypeOCaml有这个特性吗？
如果答案是否定的--这是因为OCaml<em
浏览 31提问于2022-04-11得票数 0
回答已采纳
2回答
我开始学习函数式编程(，OCaml)，但我不理解关于fp的一个重要主题:签名(我不确定它是否是一个合适的名称)。当我键入某些内容并使用ocaml进行编译时，例如：val inc : int -> int = <fun>leta b)val something : (’a -> ’b -> ’c) -&
浏览 0提问于2010-11-17得票数 9
回答已采纳
3回答
我知道像Haskell这样的语言是静态类型的，并且有类型推断。但是，是否存在具有全局类型推断的非函数式语言，类似于具有类型推断和结构类型的C语言。
浏览 0提问于2012-10-27得票数 4
回答已采纳
我想知道是否有可能在OCaml中构建类似于多个分派的内容。为此，我尝试为multimethod的输入签名创建一个显式类型。此外，类型系统应该知道输出将使用哪个构造函数。也就是说，应该在函数调用时静态地知道输出是int num类型的。
这有可能吗？例如，到目前为止，我只能管理一个签名type a b. a num * b num -> a num函数<
浏览 4提问于2016-12-18得票数 10
回答已采纳
2回答
为什么Ocaml有可变的数组？据我所知，函数式编程是为了最小化副作用。可变(edit:)数组不是与这个想法相反吗？甚至连字符串在Ocaml中都是可变的，这在python中甚至不是这样的，或者OCaml不被认为是一种纯函数式语言？
浏览 22提问于2020-08-26得票数 1
回答已采纳
我是OCaml新手，很少有函数式编程的经验。我编写了以下函数 match l with | h::rest -> (reverse rest) @ h
它应该反转列表中的元素我不知道这个函数是否能工作，但问题是OCaml推断该函数为'a list list -> 'a list类型
浏览 2提问于2022-01-05得票数 1
回答已采纳
我是Scala新手，但在使用OCaml和其他一些ML家族函数式编程语言方面有一些经验。
我想知道如何定义OCaml样式类型的变体？
浏览 0提问于2016-11-19得票数 0
回答已采纳
4回答
在OCaml中扩展现有类型
、、、、
我最近一直在做一些OCaml编程，以学习这门语言并更好地了解函数式编程。最近，我开始认为我希望能够扩展现有的类型(无论是内置的-还是我自己的类型)，例如： And of bexp * bexp| Xor嘿，这些应该是代数数据类型，对吧？那么为什么不这样做呢：...but这不是有效<
浏览 0提问于2009-11-17得票数 20
回答已采纳
2回答
据我所知，本文讨论了OCaml目前的模块类型/签名系统的起源。作者建议对签名中的类型声明(允许单独编译)和显式类型声明(表示性)进行不透明的解释。试图将我自己的一些例子放在一起来演示OCaml模块签名符号试图解决的问题，我在两个文件中编写了以下代码：
在文件ordering.ml (
浏览 1提问于2012-03-23得票数 8
回答已采纳
2回答
我正在学习函数式编程，我不了解OCaml中的类型，也没有发现任何真正有用的东西。我有这样的代码： match (l1,l2) with | (_, []else (fun b x -> if b then x+2 else x*4);;
map2 (pick 7 9) [true;false]
浏览 0提问于2019-01-13得票数 0
回答已采纳
在C++中，递归模板和常量值作为模板参数允许执行有趣的代码生成和编译时执行示例，例如。
是否可以使用参数多态性、函数器或其他概念在OCaml中做类似的事情？
浏览 0提问于2011-10-08得票数 2
回答已采纳
我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCaml中类
浏览 3提问于2017-09-20得票数 3
回答已采纳
2回答
我一直在努力理解这一点，再努力工作会损害我和OCaml的关系，所以我想我会寻求帮助。我有一个来自的简单函数Stream.from try Some (input_line channel现在，为什么在OCaml中我做不到：相反，我不得不去做看着也没能让我得到任何东西。我注意到这种语法上的奇怪之
浏览 2提问于2015-04-01得票数 1
回答已采纳
我一直在读一些开发人员的故事，他们说，一旦他们能够用Haskell、Ocaml、Elm甚至Rust等语言编写FP程序，就可以在没有错误的情况下编译，他们很确定这些程序能够正常工作。他们通常说，这主要是由于这些FP语言的类型系统。那么，FP语言(如Haskell、Elm等)的类型系统与Java、Delphi和C#等语言的类型系统有什么不同呢？我熟悉后者，并且知道当函数签名和参数类型不
浏览 0提问于2017-04-19得票数 19
我试图找出泛型编程是否是一种函数编程特性，然后引入到Java、C++和C#中，还是后者从诸如Haskell、Lisp、OCaml等函数式编程语言中复制了它？谷歌给了我很多关于什么是通用编程，但不是它的起源。我所能看到的就是Ada很早就实现了。
你会把它归类为函数式编程技术吗？
浏览 0提问于2011-11-11得票数 7
回答已采纳
1回答
我试图在模块之间传递一个AST，我在主模块中写下了下一句话： let var = "value" in.
let tree = Parse.parse_tree ~file:input input_text|> M1.f1 |> M2.f2 关键是，在M2.f2中，我需要计算一个从Main模块接收参数的函数。以类似于“全局变量”的方式，比如在命令式编程中？我读到我需要在Main.ml中声明一个<e
浏览 19提问于2021-10-19得票数 0
首先，我通常用命令式语言编程，这使我很难解释某些事情。首先是没有args的函数，以及返回类型。示例是使列表扁平化的函数： [] -> []OCaml解释器如何知道：
我的
浏览 2提问于2013-12-11得票数 0
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
