there : ∀ {n} {i} {x y} {xs : Vec A n}这是针对Vec的，但我找不到适用于List的类似示例。
浏览 6提问于2019-11-03得票数 1
1回答
是否有一些标准的Haskell库定义了这样的数据类型 | Ende
这是一个列表，其终止元素包含指定类型的值？或者，从不同的角度来看，ListWithEnd e a非常接近。
浏览 2提问于2015-03-30得票数 12
回答已采纳
定义您自己的Racket函数，该函数复制标准库中映射的功能。您不能使用内置映射函数作为辅助函数。
输入:一个函数名(一个函数的参数)和一个与该函数兼容的相同数据类型的元素列表。输出:对每个元素应用相同功能的原始元素的新列表。
浏览 1提问于2016-06-30得票数 0
1回答
我目前有一个类地面，用来制作所有积木的物体，这些积木构成了我正在制作的游戏的地面。跟踪这个有点大的块列表的最佳方法是什么？我知道如何在python中跟踪对象，但我最近转到了C++，并且我不确定如何着手设置某种易于迭代的列表。
浏览 0提问于2013-03-01得票数 0
回答已采纳
3回答
在C中是否有类似于列表的标准实现？我在标准库里找不到任何东西。
您是否推荐c库来实现标准的数据类型，如列表、地图等？我正在寻找一个苗条的单文件解决方案。
浏览 6提问于2012-03-14得票数 6
我有这个功能当列表中的所有元素相等时，返回True，否则返回False。例如：sameElts [2,2] = True有人能解释在Eq a =>类型中对代码片段sameElts的需求吗我假设它强制类型为一个数字列表，因此要使用等于运算符。
浏览 2提问于2016-05-23得票数 3
回答已采纳
我一直有一个恼人的问题，我有一个int，我想看看这个int在集合中是否有等价性。如果是的话，我不希望它出现在我的"nset“值中。但是，当我尝试这样做时，这看起来非常简单，它的作用就像项目没有被正确地过滤一样。0]]) print()
任何解释都会很棒，因为我已经看过文档，它表明这是我想要做的方法
浏览 3提问于2019-09-25得票数 0
回答已采纳
1回答
以元组列表形式存储的图。元组顶点的第一个元素，与其连接的第二个元组顶点.想要connect:t=Srting**的头名-顶点A可以连接顶点这样[(1,2)，(2，[])]，但是我想要连接so [(1,2)，(2,1)]。result++[item])头名-顶点，我想要connect*
浏览 1提问于2013-07-31得票数 0
1回答
我想在MarkLogic中查询索引的架构定义。执行此操作的查询是什么？
我所说的Schema，比如Elasticsearch Schema，带有字段类型、分析等。请考虑我的问题，就像我在问如何在Oracle中查看列类型和列名一样。如何在MarkLogic中做同样的事情？有什么例子吗？
浏览 5提问于2017-08-27得票数 0
1回答
std::merge在其输入列表中保留相等元素的顺序。它是保证第一个列表中的元素先于第二个列表中的相等元素，还是这个保证只适用于单个输入列表中的相同元素？List1有一个元素，A。List2有一个元素，B。比较器认为A和B是相等的。如果我是std::merge(li
浏览 3提问于2015-12-17得票数 5
回答已采纳
大家好，HL7开发人员，
当我浏览HL7标准的最新标准发行版(release 2014)时，出现了一个关于个人/患者姓名的XML表示的问题。此版本的标准使用其R2 (新模式、更改的数据类型)。根据标准XSD第2.20.2节)，人名应该由(CD1/Edition2014/infrastructure/itsxml/datatypes_its_xml.h
浏览 1提问于2014-11-27得票数 1
2回答
在过去，我使用节点实现了一个链接列表。列表中的迭代器到底是什么？它们是节点指针吗？对于向量，基本上有指向元素类型的指针，数据结构构建在给定类型的底层动态数组上。
对于列表，它似乎只是一个节点序列，节点数组。那么迭代器是节点指针，而不是指向节点数据类型的</e
浏览 4提问于2013-11-09得票数 1
回答已采纳
原则上，为迭代器编写一个包装器是非常容易的，它允许任意向前看，并且一些问题已经被专门用来解决这个问题(例如)。然而，考虑到几乎每一个重要的文件解析都会从这样的工具中获益，对标准库的疏忽似乎太明显了；是否真的没有允许窥视的内置或标准库机制？具体来说，我通常需要查看跨函数调用的功能:子函数应该能够检查任意数量的即将出现的元素
浏览 2提问于2019-03-05得票数 0
回答已采纳
在OCaml中，对于list，我们总是使用first::rest。从列表中取出第一个元素，或者在列表前面插入一个元素是很方便的。
但是为什么OCaml没有rest::last呢？如果没有List的函数，我们就不能轻松地获取列表的最后一个元素或在列表的末尾插入一个元素。
浏览 0提问于2013-02-02得票数 2
回答已采纳
1回答
列数据类型
、、
我有一个应用程序，它必须在运行时为不同的任务加载各种H2数据库文件，并且必须能够验证加载的DB是否符合预定义的模式。我的意思是查询信息模式以检查是否存在特定的表，以及这些表是否包含正确定义的列(例如，数据类型、长度、索引等)。我的问题是关于h2的内部数据类型以及它们如何映射到INFORMATION_SCHEMA
浏览 0提问于2012-09-05得票数 0
回答已采纳
我在我的项目中创建了用户定义的数据类型。现在，我将在Windwos Azure上部署我的项目。迁移到Windows Azure
浏览 2提问于2013-06-11得票数 5
回答已采纳
与当前standard中的所有内容不同，是否有任何特定的原因使int、char、.、main()等离开它。(别说+，-，%，.因为它们不是特定于语言的)std::int std::main(std::int argc, std::char *argv[]) //Sample C++ code (incorrect with current standards though)}
标准化是否</e
浏览 7提问于2020-03-09得票数 11
回答已采纳
我有一个java应用程序，我在其中解析数据并将其更新到我的Cassandra 3.0数据库中。到目前为止，我一直很成功，直到我的列使用了用户定义的类型。我的尝试是： + "elements = elements + [{name: ?elements是my Cassandra 3.0数据库中
浏览 10提问于2017-08-24得票数 4
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
