Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
如何修复 OCaml 中的代码错误?
我是 OCaml 新手 刚刚找到了在线 OCaml 指南 http try ocamlpro com 到了第五课 我陷入了一些练习中 所以 问题来了 修复所有这些 let 表达式 以便最终获得预期结果 1 let xy let x x an
ocaml
OCaml“else”语法错误
我是第一次学习 OCaml 我遇到了一个非常模糊的 语法错误 的麻烦 定义函数时generateboxes像这样 let rec generateboxes a b if a add1 b then force newline print
ocaml
SyntaxError
ifstatement
使用 -rectypes 有哪些权衡?
我问了一个问题 为什么我尝试进行函数链接不起作用 使函数在完成一些工作后返回自身 答案是 要使函数返回自身 您需要启用递归类型 rectypes 这让我很困惑 为什么这个功能隐藏在编译器标志后面 必须有充分的理由不默认启用它 所以我的问题是
ocaml
recursivetype
在 OCaml 中实现类型方程生成器
type exp CONST of int VAR of var ADD of exp exp SUB of exp exp ISZERO of exp IF of exp exp exp LET of var exp exp PROC o
functionalprogramming
ocaml
typeequivalence
OCaml 会将多参数函数转换为柯里化函数还是反之亦然?
当我学习 OCaml 基础知识时 我被告知 OCaml 中的每个函数实际上都是一个只有一个参数的函数 多参数函数实际上是一个接受一个参数并返回一个函数 该函数接受下一个参数并返回 这是柯里化 我明白了 所以我的问题是 case 1 if I
ocaml
如何组合相等的序列元素(函数式编程)?
我想编写一个函数 它接受序列 并返回具有相同元素分组的序列 如 gt 我使用的是序列 而不是列表 但有些功能是相似的 我正在考虑使用的一些功能是map reduce tabulate filter append等 Reduce 接受一个关联
functionalprogramming
F
ocaml
SML
ocaml printf 函数:如果某些条件成立,则完全跳过格式化
摘自ocaml 在对象的方法中公开 printf 函数 因此可以独立回答 我有以下 简化的 ocaml 代码 用于记录器 type log level Error Warn Info let ord lvl match lvl with E
printf
ocaml
OCaml:为什么比较运算符与类型无关,而算术运算符则不然?
我想知道为什么 OCaml 可以识别要使用的底层算法吗 比较运算符与算术运算符有何不同 其他 FP 语言也一样吗 目前 OCaml 中不存在 有点多态性 的概念 技术名称是 ad hoc 多态性 你不能说 我接受整数和浮点数 但不接受其余的
functionalprogramming
ocaml
OCaml 类型推断算法如何工作?
我目前正在学习 OCaml 我很好奇 OCaml 如何进行类型推断 我知道这是通过一个称为统一的过程完成的 我尝试阅读已发表论文中的算法 但符号让我失望 谁能为我描述一下分步过程 实际上 可以说统一是算法的实现细节 类型系统只是一组规则 这
types
functionalprogramming
ocaml
如何在 OCaml 中使用断言?
我正在尝试学习 OCaml 但在断言语句方面遇到了问题 在解释器中我可以使用它 Zameers MacBook Air zmanji ocaml OCaml version 4 01 0 let x 1 val x int 1 assert
ocaml
assert
强制可选参数使用更广泛的类型,并具有更严格的默认值
有没有办法进行可选参数f足够灵活 有类型 a gt b 但仍将其默认为identity 鉴于identity有类型 a gt a 之前的一个问题 begins通过准确地陈述我的问题 我想定义一个接受可选参数的函数 该参数是 一个函数 a g
ocaml
N 元组与对
在 Ocaml 中 具有不同元数的元组具有不同的类型和值构造函数 let a 1 2 3 val a int int int 1 2 3 let b 1 2 3 val b int int int 1 2 3 请注意 第二个示例 b 比第一
F
ocaml
tuples
ML
查看复杂 OCaml 代码中的推断类型
我是一名 OCaml 新手 正在使用一些我没有编写的相当复杂 至少对我来说 的 OCaml 代码 如果我可以看到某些值的推断类型 那么对理解它会有很大帮助 就像我可以通过将鼠标悬停在任何值上来使用 F 和 Visual Studio 一样
types
ocaml
typeinference
我应该如何组织我的 OCaml 项目?
我知道这个问题很普遍 我什至不知道如何更好地问 我没有太多的经验C我只是希望我能在 OCaml 中做与 Java 类似的事情 例如 在Java 我通常创建一个项目 使用Eclipse或其他 IDE 那么我有一个src文件夹和一个bin文件夹
functionalprogramming
ocaml
字符串的 OCaml 函数参数模式匹配
我尝试传递一个字符串来获取反转的字符串 为什么我不能这样做 let rec reverse x match x with gt e s gt reverse s e 编译器说这是一个语法错误 我不能用吗 解构参数 原因是字符串不像列表那样表
ocaml
具有功能更新的数组最有效的实现是什么?
我需要一个具有尽可能快的功能更新的类似数组的数据结构 我见过一些不同的灵活数组实现 它们为我提供了此属性 Braun 随机访问列表 但我想知道是否有一个实现专门针对我们对追加或前置不感兴趣的情况进行优化 只是更新 让 克里斯托夫 菲利亚特
Haskell
datastructures
functionalprogramming
ocaml
immutability
在 F#/OCaml 中实现类快速排序函数的尾递归版本
是否可以实现快速排序算法的尾递归版本 通过延续模式 如果是的话 将如何实施 普通 未优化 版本 let rec quicksort list match list with gt element gt element pivot rest
F
functionalprogramming
ocaml
tailrecursion
如何在 OAML 中读取位图?
我想使用 OCAML 读取位图文件 从文件系统 并将像素 颜色 存储在具有位图维度的数组中 每个像素将占用数组中的一个单元格 我找到了这个功能Graphics dump image 图像 gt 颜色数组 数组但它不从文件中读取 影像影像应该
imageprocessing
Bitmap
ocaml
在 ocaml 中输入级别整数
有人可以给我关于在 OCaml 3 12 中制作类型级整数支持加法和减法运算的建议 建议吗 例如 如果我有这样表示的数字 type zero type a succ type pos1 zero succ type pos2 zero su
types
ocaml
gadt
将 OCaml 转换为 F#:类型化和类型推断之间的差异
研究中类型推断我发现 F 和 OCaml 之间的差异往往侧重于主格 vs 结构性的 类型系统 然后我发现函数式编程语言的显着特征其中将类型和类型推断列为不同的特征 由于特征文章说 OCaml 和 F 都使用达马斯 米尔纳我认为类型推断是一种
F
ocaml
typeinference
typing
«
1 ...
4
5
6
7
8
9
10
»