腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
圈层
工具
MCP广场
文章/答案/技术大牛
搜索
搜索
关闭
发布
文章
问答
(7471)
视频
沙龙
6
回答
如
何在
OCAML
中
跳过
带有
List.Map
的
术语
?
假设我有一些这样
的
代码:有没有办法做到这一点?如果是这样的话,是怎么做
的
? 我希望既能处理符合某些条件
的
项,又能忽略不符合条件
的
项。因此,List.filter似乎不是解决方案。
浏览 0
提问于2010-07-08
得票数 11
回答已采纳
1
回答
如何对包含整数
的
列表
中
的
每个元素应用算法操作?
、
、
.对于该列表
中
的
每个元素,使用相同
的
整数-> x* x)。否则,如果int列表
的
列表
中
的
任何列表
中
的
元素
的
和是偶数,则它将执行加法函数b‘(add.具有相同
的
整数-> x+ x),在该列表
中
的
每个元素上。因此,
带有
输入
的
函数调用将如下所示:..。我用
Ocaml
编写了
浏览 0
提问于2020-04-09
得票数 0
1
回答
打印Coq
术语
的
内部表示法
、
如何打印Coq
中
术语
的
内部
OCaml
表示(公开数据构造器,
如
Lambda,App,Rel等……)?
浏览 0
提问于2014-03-08
得票数 2
1
回答
列表筛选器然后在
OCaml
中
显示列表映射
、
、
如
何在
OCaml
中
的
列表映射之前应用列表筛选器?In_channel.read_lines infile ) with| Some body -> |>
List.map
, " ^ addr_case city ^ " " ^ region)utop给了我: “此表达式具有类型字符串
浏览 0
提问于2018-09-12
得票数 1
回答已采纳
2
回答
F#
中
的
类型定义和类型推断
option, _ list>) = |> Map.map (fun key list -> listMap<decimal option,Sales list> Map<decimal option,Quote list> 我本以为我能够将这两种类型
的
映射传递给函数,但是编译器似乎推断出只有Map<decimal option
浏览 23
提问于2016-09-13
得票数 3
1
回答
查找数组
的
所有可能子数组
、
、
我理解像阶乘这样
的
简单递归问题是如何工作
的
,我甚至可以手工跟踪这些问题。但是当谈到回溯问题时,我太迷茫了。我一直在努力。例如,假设我有一个
带有
[1,2,3,4]
的
数组,我
的
目标值是5。我正在试图找到所有可能
的
组合,这些组合等于我
的
目标值。有人能建议如何处理这个问题吗?我并不是
浏览 0
提问于2014-09-12
得票数 5
回答已采纳
3
回答
如
何在
List.map
中使用
OCaml
我在
OCaml
中有一个列表,返回[[7; 5]; [7; 3; 2]]。我知道在List中有很多
OCaml
函数。我想打印出每个值,在它们之间加上一个加号,就像Python或Ruby
中
的
那样。在Python
中
,我使用print('+'.join(map(str,lst)))来完成这个操作,其中lst是列表,str是转换成字符串。我如
何在
OCaml
中
做到这一点?但是,解释器给了我一个未绑定
的
值num。prime_par
浏览 2
提问于2017-02-09
得票数 1
回答已采纳
1
回答
如
何在
ocaml
中
实现
List.map
的
并发版本?
我正在尝试用
Ocaml
实现
List.map
函数
的
并发版本。我知道在模块Async.Std.Deferred.List中有一个类似的函数,但在这里我只是试图自己攻击它。
浏览 0
提问于2014-11-02
得票数 1
3
回答
Ocaml
中
函数定义
的
怪异过滤器
、
、
很抱歉提出这个问题,但我有一个函数定义: | 0 -> 0我知道f是x,y
的
函数,但为什么它给出: 0如果y= 01如果y=
浏览 3
提问于2022-02-12
得票数 1
2
回答
删除
Ocaml
中
的
变量
我以前找不到人问这个问题:如果没有,那么如
何在
OCaml
中
管理变量?
浏览 3
提问于2022-03-02
得票数 -1
回答已采纳
3
回答
OCaml
‘下划线类型’(例如‘_a’)是否引入了运行时类型错误/可靠性冲突
的
可能性?
、
我读了一些关于Standard
中
的
值限制
的
文章,并尝试将这个示例翻译到
OCaml
,看看它会做什么。看起来,
OCaml
在SML由于值限制而拒绝程序
的
上下文中生成这些类型。r2)- val r: 'a option ref = ref NONE; in ex
浏览 7
提问于2016-07-05
得票数 11
回答已采纳
1
回答
其中
的
谓词和差异列表是什么?
我正在做,不能完全理解这个问题中
的
一些
术语
。 有人将二叉树表示为以下类型
的
字符串(参见示例):"a(b(d,e),c(,f(g,))“。编写一个
OCaml
函数,它生成这个字符串表示,如果树是像往常一样给出
的
( Empty或Node(x,l,r)项)。 然后编写一个函数来做这个逆运算;例如,给定字符串表示,以通常
的
形式构造树。最后,介绍了可以双向使用
的
combine the two
浏览 1
提问于2014-02-25
得票数 1
回答已采纳
2
回答
列表缓存行为
、
、
、
在机器级别上,链接列表是一对头部值和指向尾
的
指针。 我听说链接列表(在命令式语言中)由于缓存丢失、内存开销和指针追逐而趋于缓慢。我很好奇
OCaml
的
垃圾收集器或内存管理系统是否避免了这些问题,以及它们在内部使用了哪些可能与其他语言中
的
链接列表不同
的
技术或优化。
浏览 14
提问于2022-08-03
得票数 3
回答已采纳
1
回答
如
何在
OCaml
中
做好编译管理?
、
我正在学习
OCaml
中
更复杂
的
编译。这是一个关于所有外部库
的
更实际
的
问题。我
的
意思是,在Java
中
,我们通常只是将lib复制到某个地方,然后将库
的
路径包
浏览 1
提问于2013-04-24
得票数 5
3
回答
stdlib
List.map
中
的
“计算过程
中
的
堆栈溢出”
、
、
. ** 17.)) 1 |>
List.map
(fun x -> x * 2);;let rec map f = function | a::l -> let r = f a in r :: map f l 我对
Ocaml
非常陌
浏览 9
提问于2016-06-23
得票数 3
回答已采纳
2
回答
从
OCaml
中
的
语法
中
删除无法访问
的
规则
、
我是
Ocaml
的
新手,对于家庭作业,我必须编写一个函数filter_reachable,它接受一个语法,并返回一个简化
的
语法,去掉了不可达
的
规则。我唯一被允许使用
的
模块是Pervasives和List模块,没有其他模块。 我
的
想法是首先列出所有可达
的
非终端。那么,如果规则
的
非终端部分在所有可达非终端
的
列表
中
,则该规则是可达
的
。然后将所有可达
的
规则放入一个新列表
中
,
浏览 0
提问于2011-10-03
得票数 2
1
回答
为什么函数参数在
Ocaml
中
不能是多态
的
?
、
、
、
如果我有以下功能,请说:它被类型检查器拒绝,我真的不明白为什么类型检查拒绝它。因为f可以是一个多态函数(例如id),类型检查器应该允许它。有人能解释一下吗?
浏览 5
提问于2015-02-06
得票数 2
回答已采纳
2
回答
列出Bolt CMS
中
的
分类学
术语
如
何在
Bolt
中
列出分类法
中
的
所有
术语
?不是应用于记录
的
术语
,而是所有现有的
术语
(
如
标签云或类别列表sidemenu)?
浏览 4
提问于2015-01-13
得票数 3
回答已采纳
0
回答
包含现有类别/
术语
的
wp_insert_post
、
、
、
我使用wp_insert_post并连接到add_action('wp', 'function_name'),将帖子从一个CPT插入到另一个CPT 如
何在
创建时成功插入
带有
术语
/类别(例如“类型1")
的
新帖子主要目的是有一个友好
的
网址,
如
domain_name/cat1/cat2/post_name
浏览 1
提问于2017-11-30
得票数 0
1
回答
移除签名标签后令人费解
的
类型不匹配
注:这个问题实际上有两个重要方面: (我希望通过对这两个问题
的
回答,我将能够弄清楚为什么
OCaml
需要这里
的
标签来确定函数
的
类型是否与其接口匹配。)注:为了使用标准库
的
List.map
和Lis
浏览 1
提问于2014-11-10
得票数 1
点击加载更多
相关
资讯
React Hooks踩坑分享
苹果编码术语宣布更新
一文解决现代编程语言选择困难:响应式编程
IBM、微软成立内部小组,删除产品中的“偏见性”词汇
关于以太坊新语言Vyper的最全介绍与解读
热门
标签
更多标签
云服务器
ICP备案
云直播
腾讯会议
实时音视频
活动推荐
运营活动
广告
关闭
领券