Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
如何在 OCaml 编译器中遍历类型化抽象语法树
我正在尝试转储 OCaml 项目中所有标识符的类型信息 基本上与遍历类型化抽象语法树相同 https github com ocaml ocaml blob trunk typing typedtree mli https github c
compilerconstruction
ocaml
abstractsyntaxtree
ocamlbuild
是否可以从 .NET 调用 OCaml?
是否可以将 OCaml 与 NET 代码一起使用 我想像 C 一样调用它 或者也许有一座桥梁 你有没有考虑过CSML http www lexifi com csml 您需要用其接口描述语言编写一些内容 然后应该能够从 NET 调用 OCa
c
NET
ocaml
OCaml 编译器检查向量长度
我想知道是否可以在 OCaml 中进行编译时检查以确保数组的长度正确 对于我的问题 我想在进行分段向量减法之前验证两个 GPU 1 dim 向量的长度相同 let init value 1 let length 10 000 000 let
ocaml
抑制 OCaml 中的详尽匹配警告
我在修复 OCaml 编译器向我发出的警告时遇到问题 基本上我正在解析一个可以由以下内容组成的表达式Bool Int and Float 我有一个符号表 用于跟踪用其类型声明的所有符号 type ast type Bool Int Floa
functionalprogramming
patternmatching
ocaml
warnings
ocaml 命令行找不到“topfind”
我已经安装了顶级 并且有 OCAML TOPLEVEL PATH 设置 export OCAML TOPLEVEL PATH Users smcho opam system lib toplevel 我检查该目录是否存在 并且有一个文件to
ocaml
opam
ocamltoplevel
如何在Ocaml中快速将树结构打印成字符串?
假设我在 OCaml 中有一个 树 形式的数学表达式 它被表示为如下的代数类型 type expr Number of int Plus of expr expr 嗯 这是一个very简化的定义 但足以描述问题 我想将其转换为逆波兰表示法的
performance
string
ocaml
如何使用类型级函数动态创建静态类型?
在 TypeScript 中 有类型级 功能允许根据给定创建新类型literal 类型 规格 see 映射类型 https www staging typescript org docs handbook advanced types ht
c
typescript
scala
Haskell
ocaml
使用模块设置Ocaml
我正在创建一个使用语法的程序 并查看该语法是否为 LL 1 我想使用Set模块 但我不知道如何进行 当然 set元素的类型将是char 你能帮忙吗 这个答案假设您已经知道如何确定语法是否为 LL 1 并且只是在寻求有关 Objective
set
ocaml
以运行时可选择的精度打印浮点数
这类似于这个问题 https stackoverflow com questions 10406493 ocaml printf sprintf但不完全相同 我天真地尝试过这个 let s prec string of int prec f
printf
ocaml
Ocaml 中查找树深度的尾递归函数
我有一个类型tree定义如下 type a tree Leaf of a Node of a a tree a tree 我有一个函数可以找到树的深度 如下所示 let rec depth function Leaf x gt 0 Node
Tree
functionalprogramming
ocaml
binarytree
for 循环中的分号单个表达式
为什么最后有一个分号Proc num stack slots i lt 0在下面的代码中 我认为分号是 OCaml 中的分隔符 我们是否可以始终为块的最后一个表达式添加一个可选的分号 for i 0 to Proc num register
syntax
ocaml
使用 OCaml GADT 编写解释器
我正在用 OCaml 编写一个小型解释器 并使用 GADT 来输入我的表达式 type value Bool bool gt bool value Int int gt int value Symbol string gt string v
ocaml
interpreter
typesystems
gadt
为什么 `id id` 不是 OCaml 中的值?
我仍在尝试理解 OCaml 中的值限制 并且我正在通读赖特的论文 https cs au dk hosc local LaSC 8 4 pp343 355 pdf 其中指出 fun x gt x fun y gt y 不是一个语法值 同时它
如何在 F# 中编写函子在 OCaml 中执行的操作的代码?
我有很多用 OCaml 编写的程序 其中一些使用函子 现在 我正在考虑用 F 编写和重写部分代码 以受益于 OCaml 不具备的一些优点 我担心的一件事是在 F 中编写函子在 OCaml 中执行的操作的代码 例如 我们如何模仿这个例子来自
F
ocaml
functor
为什么用函数式语言编写编译器更容易? [关闭]
Closed 这个问题是基于意见的 help closed questions 目前不接受答案 我想这个问题很久了 但在 Google 上找不到答案 在 Stackoverflow 上也找不到类似的问题 如果有重复的 我很抱歉 很多人似乎都
compilerconstruction
Haskell
ocaml
functionalprogramming
打印堆栈跟踪
我有一个非常短的测试文件 let print backtrace try raise Not found with Not found gt Printexc print backtrace stdout let f print backt
Exception
ocaml
stacktrace
ocaml电池编译:未绑定模块Toploop
Build mode shared ocamlbuild no links syntax otarget byte otarget src batteries help cmo META shared otarget Finished 0
ocaml
ocamlbatteries
如何制作一个互动节目?
我正在学习 Ocaml 我需要创建一个可以通过以下方式与用户交互的程序 Program Welcome User command1 arg1 arg2 program The answer is User command2 arg prog
input
functionalprogramming
ocaml
interactive
通过预处理器禁用或启用代码
在 C 中我会写 bool positive int a ifdef DEBUG cout lt lt Checking the number lt lt a lt lt n endif return a gt 0 在 OCaml 中我可以
ocaml
preprocessor
在 Printf 模块中输入
在文件中打印模块 不太明白其中的机制 a out channel unit format 我想我在实践中经常使用它 例如 以下函数在编译时可以很好地键入 type t x int y int let print chan out chann
types
ocaml
«
1 ...
5
6
7
8
9
10
11
»