- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
一个 OCaml 模块通常包含至少一个抽象类型,其惯用名称是 t
。此外,通常有一个函数可以构造该类型的值。
这个的常用/惯用名称是什么?
StdLib 在这里不一致。例如:
Array.make
和一个已弃用的函数 Array.create
。那么该函数应该命名为 make
吗?Buffer.create
但没有Buffer.make
。那么该函数应该命名为 create
吗?最佳答案
有些人发现这种模块设计方式使 OCaml 编程更容易,但这不是强制性的 OCaml 编程风格,我认为它没有正式名称。我个人称其为“1-data-type-per-1-module”风格。 (我写了a blog post about this,但它是日文的。我希望一些自动翻译器能给你一些有用的信息......)
定义一个专用于一种数据类型的模块并固定类型的名称 t
有一些值:
模块名称解释了它的类型和值是什么,因此您不需要在内部重复类型名称:Buffer.add_string
而不是 add_string_to_buffer
,和 Buffer.create
而不是 create_buffer
。您还可以避免在打开本地模块的情况下键入相同的模块名称:
let f () =
let open Buffer in
let b = create 10 in (* instead of Buffer.create *)
add_string b "hello"; (* instead of Buffer.add_string *)
contents b (* instead of Buffer.contents *)
如果 ML 仿函数采用具有数据类型的参数模块,我们约定该类型应称为 t
。数据类型为 t
的模块很容易应用于这些仿函数,而无需重命名类型。
对于Array.create
和Array.make
,我觉得这是为了遵循String.create
和String的区别.制作
。
String.create
是创建一个未初始化内容的字符串。创建的字符串包含随机字节。String.make
是创建一个用给定的 char
填充的字符串。我们有很长时间的 Array.create
来创建一个数组,其内容由给定的值填充。此行为对应于 String.make
而不是 String.create
。这就是为什么它现在重命名为 Array.make
,而 Array.create
已过时。
我们不能在 OCaml 中使用 Array.create
与 String.create
相同的行为。与字符串不同,数组不能在没有初始化的情况下创建,因为随机字节通常可能不代表内容的有效 OCaml 值,这会导致程序崩溃。
在此之后,我个人使用 X.create
作为函数来创建一个不需要初始值来填充它的 X.t
。如果需要填充内容,我会使用 X.make
。
关于ocaml - "constructors"的 OCaml 命名约定是什么?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/29363460/
我想在我的单元测试中模拟一个遗留对象。这是构造函数: public Class LegacyClass{ public LegacyClass(Object... obj) {
此处说明https://developer.mozilla.org/en/JavaScript/Reference/Global_Objects/Function函数对象实例的构造函数属性“指定创建对
有没有办法从子类中的构造函数分配在父类(super class)中声明的实例变量?我已经习惯使用 BUILD() 作为构造函数,但我想知道这是否是个好主意。 IE: use v6; clas
鉴于以下情况: type AStruct struct { m_Map map[int]bool } 在这种情况下,AStruct的实例在AStruct.m_Map初始化之前不能使用: m_M
我是 Android 新手,我正在尝试学习如何使用 Gson 解析 API 调用。我已经阅读了一些内容,我正在尝试遵循这个示例:http://www.javacodegeeks.com/2011/01
我正在阅读 this文章,我不知道下面这行是做什么的。即使我删除了这一行,我也看不出有什么不同。 this.constructor.prototype.constructor.apply(this,A
这个问题已经有答案了: JsonMappingException: No suitable constructor found for type [simple type, class ]: can
我正在处理我的第一个 Flutter 项目,我正在构建一个登录页面,我创建了一个变量来存储一个 TextFormFieldController,但我收到了上面的错误,因为我删除了构造函数。当我返回这个
假设我们有以下主要和次要构造函数: open class Animal(val name:String){ internal constructor(message:InputStream): t
为什么默认复制构造函数不调用 monster 的基构造函数,但是当我在 troll 中包含一个用户定义的复制构造函数时,它会调用父级(即: 怪物) 构造函数? 我认为它的工作原理如下:创建基础对象,然
这个问题在这里已经有了答案: Is there a difference between foo(void) and foo() in C++ or C? (4 个答案) 关闭 8 年前。 我注意到
我将 T4MVC 与 MVC2 一起使用。 我有以下构建 block : 一个简单的实体接口(interface),它定义了每个 POCO 实体必须有一个 long Id属性(property): p
以下代码返回一个错误: “构造函数调用必须是构造函数中的第一个语句。” 我不明白。我的代码中的构造函数是第一条语句。我究竟做错了什么? public class labelsAndIcons exte
我是 kotlin 的新手,对它包含的所有有用的语法糖和功能感到惊讶。 但是每当我声明一个构造函数时,我都必须独立地将我的所有字段设为私有(private)。 class Result(private
作为主题,相关代码为: #include class ABC { public: ABC() { std::cout<< "default con
在 Haxe 中,我创建了一个名为 的类。我的类 喜欢: class MyClass { var score: String; public function new (score:
不确定为什么会这样,尝试删除所有 new 实例,从 const ect 切换到 let。可以运行站点,但是当我通过 html 表单运行发布请求时,在“const user = new UserSche
我是 Javascript 的新手,我正在尝试深入挖掘并理解继承、构造函数和原型(prototype)链。所以,我创建了一个构造函数, var a = function(){this.integer=
我知道 JavaScript 中的函数有双重生命,第一个是函数(作为创建实例的第一类事物),第二个是普通对象。 但是我很惊讶地看到下面控制台的输出。 function A() { consol
这个问题在这里已经有了答案: Why can't I access a property of an integer with a single dot? (5 个答案) 关闭 5 年前。 为什么
我是一名优秀的程序员,十分优秀!