ml 相关问题

ML是一系列函数式编程语言，包括SML，OCaml和F＃。

我正在修改用OCaml编写的现有编译器。我已经为编译语言的AST添加了位置，但它导致了一堆错误，因为相等检查...

functional-programming polymorphism ocaml equality ml

回答 2 投票 1

我试图在SML中实现k-out-of-N，因此“pick（3，[1,2,3,4]）”将返回[[1,2,3]，[1,3,4]。 ..]（N个元素中的所有K大小的选择）我使用List.map，我认为它调用函数和...

sml smlnj ml

回答 1 投票 3

我最近在sml中做了很多练习，我在教科书中发现的一个问题是要求创建一个函数，将函数应用于列表中的奇数索引值。当试图......

list sml ml mosml

回答 1 投票 3

我的单独功能有问题。 Separate返回一个列表，该列表在列表l的每个k元素之后插入元素x（从列表的末尾开始计算）。例如，分开（1,0，[1,2,3,4]）......

sml ml mosml

回答 1 投票 0

我正在尝试翻译以下代码：（* elim：vname * term *（term * term）list * subst - > subst *）和elim（x，t，S，s）=如果发生xt然后提高UNIFY否则让val xt = ...

functional-programming ml

回答 1 投票 0

在Standard Ml中编写电源功能时遇到问题。我试图写一个名为exp的函数int - > int - > int。应用程序exp，对于非负e，应该返回b ^ e。为......

sml ml mosml

回答 3 投票 2