我有签名 val input : ipv4:('a -> unit Lwt.t) ->如果我使用Cstruct.t类型实现表达式，例如， ...Cstruct.t -> Mirage_protocols.Ethernet.proto * 'a) ->
t -> Cstruct.t -> unit Lwt.t 我不明白为什么Cstruct.t和&
浏览 27提问于2020-04-15得票数 1
2回答
很奇怪，这段ocaml代码片段是由toplevel很好地键入的。看看结构，如果g的类型是int->int，如toplevel所示，结构的h x = g x部分将不能获得类型统一。
浏览 4提问于2012-06-20得票数 6
回答已采纳
2回答
OCaml显式类型签名
、、、
在Haskell中，显式声明函数的类型签名被认为是一个很好的实践，尽管它(通常)可以被推断出来。在OCaml中，这似乎是不可能的。(虽然我可以制作只提供签名的type模块。)
如果是，为什么？OCaml的类型系统似乎与Haskell并没有那么大的不同。
浏览 2提问于2011-05-14得票数 38
回答已采纳
我试图在OCaml中模拟一个接口，并使用“类型”结构。我有两种类型：type fooConBar = {a:string; b:int; bar:char};;let fsb = {a="a"; b=3};;
...but被告知未定义条形图字段。由此看来，与我在匹配fooSansBar签名时传递的值相反，系统认为我正在尝试创建一个f
浏览 0提问于2009-03-21得票数 9
我最近发现了Haskell的名为“模块签名”的特性。据我所知，它们被放在.hsig文件中，并以signature关键字开头，而不是module。这样文件的示例语法可能如下所示empty :: Str然而，我无法想象人们将如何以及为什么要使用它们它们强烈地让我想起了在OCaml ()中看到的模块系统，它也有模块签名和单独的实现，但我不能确定这两个概念有多接近。这有什么关系吗？
浏览 0提问于2019-03-09得票数 5
对于此特定方法，linter抱怨此实现与基本方法的实现之间的签名不匹配。在许多其他方法中，即使存在不匹配，我也没有看到它抱怨，有什么问题吗？为什么匹配签名是好的呢？ ?
浏览 1137提问于2020-04-21得票数 0
回答已采纳
1回答
在OCaml中，假设给出了一个类型：是否有特定于OCaml的内置(给定'a myTypeA myTypeB类型的值x )来获得'a myTypeA类型的值y(基本上取消构造该类型并移除myTypeB)？我在找一个有签名的函数：
val deconstruct : 'a myTypeA myTypeB -> 'a myTypeA
浏览 0提问于2018-02-27得票数 0
回答已采纳
1回答
list -> 'a list val bind : 'a -> 'a environment -> 'a environment
我不明白的是，为什么更具体的类型不包括在更通用的类型中
浏览 6提问于2014-03-02得票数 0
5回答
我正在阅读OCaml和wiki，上面写着：我理解为什么，但我想，为什么这在OCaml (和FP)中如此特殊？在Java中，如何导致运行时类型不匹配？例如：int b = a + 1;Java if (i &
浏览 0提问于2015-03-30得票数 3
回答已采纳
在操作"+“的f#中，函数签名是但是，当我像下面这样编写代码时，它是有效的在OCaml中"+“与”+“是不同的。5 + 5 //int->int->int它更完美，更严格，而不是f#，为什么f#要做这种
浏览 6提问于2020-02-24得票数 0
我正在尝试使用，它要求在它称为"atd文件“中定义要转换为JSON的OCaml对象的类型。: ('a, 'b) bucketlist array; initial_size: int; 编译器会弹出一个：我来了，它看起来对我有帮助，但是我不
浏览 4提问于2015-03-11得票数 1
回答已采纳
鉴于这一职能：...不幸的是，我需要传递给Apply的Apply的签名不匹配string, error) {}
func GetIdentifier(prompt string) (utils.ID, error) {}
但是如果我尝试，编译器(go1.18)为什么会抱怨呢编译器IncompatibleAssign不能使用GetAddress (提示
浏览 13提问于2022-08-16得票数 0
1回答
我们有签名：(<*>) :: Applicative f => f (a -> b) -> f a:: Applicative f => f (a -> b) -> f a -> f b我认为^部件应该按其类型匹配为什么返回类型</em
浏览 0提问于2019-09-07得票数 3
回答已采纳
可能重复：
}
上面提到的代码行会导致编译错误，因为正在对foo进行强制转换的函数类型的返回类型与函数foo的返回类型不匹配。但是我认为函数的返回类型</e
浏览 3提问于2012-12-03得票数 2
回答已采纳
但是我得到了这个错误
private void txtSearch_KeyDown
浏览 1提问于2015-06-19得票数 0
回答已采纳
因此，我有以下代码，它提供了一个类型不匹配的编译器错误，我不知道为什么：member this.TheTest() = Console.WriteLine("foo")
为什么类型不
浏览 7提问于2014-03-21得票数 3
回答已采纳
当方法签名不匹配时，会引发错误ORA-06550 (堆栈中还提到了PLS-00306)。我的问题
ORA类型的消息和PLS类型的消息之间有什么区别？不能像抓ORA类型的消息那样捕获PLS<em
浏览 4提问于2014-05-08得票数 1
回答已采纳
我一直在读一些开发人员的故事，他们说，一旦他们能够用Haskell、Ocaml、Elm甚至Rust等语言编写FP程序，就可以在没有错误的情况下编译，他们很确定这些程序能够正常工作。他们通常说，这主要是由于这些FP语言的类型系统。那么，FP语言(如Haskell、Elm等)的类型系统与Java、Delphi和C#等语言的类型系统有什么不同呢？我熟悉后者，并且知道当函数签名和参数类型不匹配时编译器如何捕获错误，但是FP语言的类型<
浏览 0提问于2017-04-19得票数 19
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
