我已经编写了两次相同的函数,分别使用列表和向量。函数查找一个元素并返回集合中的下一个元素,如果找到的元素位于末尾,则将其换行nil
列表版本
(def syms'(\\v))
(定义下一个元素-[coll元素]
(循环[coll rest coll]
(续)
(空?coll rest)无
(=(第一列)元素)(第n列第1列(第一列))
:else(重复出现(rest coll rest(())))
(defn向左旋转[sym]
(下一个元素-符号符号符号)
矢量版本
(定义符号[\\v])
(
标签: Types
primitive-types
我想说我对这一点很陌生,但有人能解释一下关于数据类型的基本知识吗,更具体地说是整数、字符、布尔值、字符串和浮点数。哪种编程语言?对于Java,您可以在课程和Sun的Java教程中找到一个很好的介绍和概述。毫无疑问,有人会提供这些类型的详细介绍,但是您可以简单地阅读以下内容:-
维基百科上的似乎是一个很好的起点。类型或数据类型说明您可以在变量中存储什么类型的信息
这就像你假设你的口袋里有一个数据类型为“money”的钱包,因此你可以在那里存储“money”,但不能存储“key”
示例数据类型:
我有一些代码看起来像这样
public void ResetControls(Control controlOnPage)
{
if (controlOnPage is TextBox)
{
ResetTextBoxControl(controlOnPage);
}
if (controlOnPage is MediaPicker)
{
((MediaPicker)controlOnPage).Media = null;
我正在尝试编写Unity的自动模拟扩展
虽然使用Windsor子依赖解析程序和Rhinomock要容易得多,但业务迫使我使用Unity和Moq
我还没有找到使用Moq的现有解决方案,我已经找到了原因。
Moq不能仅从一个类型参数生成模拟,这使得Unity扩展很困难,如果我尝试使用IUnity装饰器,我在这里遇到了一个障碍:
public T Resolve<T>()
{
T instance;
try
{
instance = _contain
我在《真实世界哈斯克尔》一书中找到了这样的代码,第68页
我的问题是:数据构造函数只做了什么工作?当我删除它时,我会收到如下错误消息
(in ghci)
......
<Main *> nodeAreSame (Node 3 Empty Empty) (Node 3 Empty Empty))
<interactive>:1:16:
No instance for (Num (Maybe a))
......
那么这里的关键点是什么?这是否意味着当我在
1) 我有一个开放联盟,定义如下:
type 'a choice = [> `One | `Other ] as 'a
然后,我尝试定义一个类型选择列表:
type choice_list = choice list
这是行不通的。如何定义一个或多个组件为开放联合体的类型
2) 如果我放弃创建选择列表类型,而只使用选择列表,当我尝试使用选择列表编写接口/签名语句时
val choice_handler : choice list -> int
编译器抱怨type'a choic
我从来没有真正用契约式设计语言编程过,我当然不希望这篇文章成为一场关于动态与静态类型系统的战争
读了一段时间后,我的问题是标题中的一个:一个类型系统可以“捕获”的所有东西,也可以根据合同进行设计吗?
在一些网站上,我读到了诸如“合同是类固醇类型”之类的东西,以及类似的声明。但它真的是一个真正的超集吗
或者换言之,一个有契约的动态语言能比一个没有契约的静态类型语言具有相同且更多的验证(同样,在运行时)吗
谢谢 我不是合同专家,但我认为这基本上是正确的。通常,契约允许您编写强制执行任意复杂行为的动态
我是SML的新手,我想确保我真正了解基本知识。SML中的类型和数据类型有什么区别,何时使用哪种类型?SML中的数据类型可以有多个类型,例如
datatype a = SomeType | SomeOtherType
您可以在类型检查时使用它们,例如
fun doThings (var : a) : bool =
case var of
(SomeType) => true
(SomeOtherType) => false
type声明只是为现有
标签: Types
F#
treenodediscriminated-union
我正在尝试使用判别联合创建树节点数据类型
但是,编译器给了我一个错误,说“此声明中不允许使用匿名类型变量”
错误的原因是什么
type TreeNode = | TreeNode of int * (Some (TreeNode)) * (Some(TreeNode))
问题在于,Some是'T option类型的构造函数之一(因此在编写表达式时可以使用它来创建选项值)
在有区别的联合的类型定义中,您需要使用类型名称-如果您希望左分支和右分支中的每个分支都可能缺失,则类型为TreeNode o
在swift中,您可以使用类似以下内容检查对象是否属于特定类型
let object: AnyObject = someOtherObject
if object is SKNode {
//is SKNode
}
在这种情况下,SKShapeNode和SKSpriteNode也会满足这个条件,因为它们是SKNode的子类
检测对象是否属于特定类型而不是该类型的子类的标准方法是什么?这不是操作符的工作方式。如果这样做,您将得到一个编译错误
is运算符用于检查特定类型的对象是否属于给定的子
我的tablesorter列包含如下数据[20823、C420837、9823927、47-123、C47293]以及非类型的空格时出现了一个问题
问题是,当我尝试对它们进行排序(asc或desc)时,我的表排序将所有数字类型组合在一起,然后我的其余数据将按另一列中的字段按字母顺序排序。我希望所有的数据与所有的非类型一起排序,要么在顶部,要么在下面,而不是在整个空间中。如果您能帮助我们了解如何对这些数据进行自定义排序,我们将不胜感激
编辑:我添加了一个自定义解析器
$.tablesorter.a
我正在使用OCaml StringMap.add函数,如下所示:
let rec makecount l = function
[] -> mymap
| s::tl ->
if (not (StringMap.mem s mymap)) then
StringMap.add s 1 makecount(tl)
else
StringMap.add s ((StringMap.find s mymap) + 1) ma
我正在创建一个模块来访问MySQL数据库。由于SQLProvider缺少所需的功能,而且所说的功能实际上非常简单,所以我决定基于通常的ADO.NET SqlConnection推出自己的功能
为了减少API的使用,我使用了一些
下面显示了问题的核心部分
let internal connectionFor ta =
let conn = new DynamicSqlConnection(connectionStringFor ta)
conn.Open()
conn
l
在这本书中,它写道:
1935年,25岁的Gentzen15引入了两项新技术,而不是一项
逻辑自然演绎和序贯演算公式
成为形成逻辑的两大体系
直到今天。他展示了如何规范化证明以确保
它们并不是“迂回的”,这是一个新的证据,证明了
希尔伯特系统。最重要的是,与符号的使用相匹配∃
对于Peano,Gentzen引入的存在量化
介绍了符号∀ 表示普遍量化。他写道
暗示⊃ B(如果A成立,那么B成立),作为A&B的连词
(A和B都成立),析取作为∨ B(至少A或B中的一个
持有)
什么是迂回证据?你能举
在阅读真实世界的OCaml书籍时,我遇到了以下类型声明(第6章:变体):
我认为RGB和灰色变体可以进一步限制。例如,RGB元组中的每个int只能具有0-5的值
在Erlang中,我会这样做:
-type rgbint() :: 0 | 1 | 2 | 3 | 4 | 5.
-type rgb() :: {rgb_int(), rgb_int(), rgb_int().
然而,当我在OCaml(utop)中尝试此功能时,它抱怨:
# type rgbint = 0 | 1 | 2 | 3 |
我有以下代码:
type Document = number | string | Array<Document>;
显然,不允许循环引用。但是,我仍然需要这种结构。解决方法是什么?这里有一种方法:
class Doc {
val: number | string | Doc[];
}
let doc1: Doc = { val: 42 };
let doc2: Doc = { val: "the answer" };
let doc3: Doc = { val: [doc1
我对我定义的两个结构有问题:
mutable struct QMDDnode{T}
next::QMDDnode{T}
ref::Int
v::Int
renormFactor::Int
ident::Bool
diag::Bool
block::Bool
symm::Bool
c01::Bool
computeSpecialMatricesFlag::Bool
e::Array{T} # type QMDDedge
QMDDnode()=(x=n
我有以下问题:我正在用ML处理A.Appel的编译器,我已经编写了以下简单的结构
signature Tiger_Tokens =
sig
type linenum;
type token;
val ADD : linenum*linenum -> token;
val INT : string*linenum*linenum -> token;
val EOF : linenum*linenum -> token;
end
stru
如果我有一个包含以下内容的实现(.re)文件
module IntMap =
Map.Make {
type t = int;
let compare = compare;
};
type foo = IntMap.t string;
如何将foo的签名添加到接口(.rei)文件?与OCaml的类似
module IntMap=Map.S,类型key=int
类型foo=string IntMap.t
我原以为是这样的
module IntMap =
Map.S
我试着编译我的lexer.fsl parser.fsy ast.fs,为了生成一个可以从文件中读取的.exe文件来使用它,我使用我的ubuntu终端,并尝试直接用
fsyacc parser.fsy&&fslex lexer.fsl
但对我不起作用,但我不知道如何使用它们直接从终端编译文件,尝试fslex lexer.fsl时的错误是:
unrecognized argument: --exename:fslex
fslex <filename>
-o <string>:
我正在尝试用OCaml实现一个纸牌游戏
type rank = Three | Four | Five | Six;;
(我简化了)我的问题是:
是否可以从一个列组(例如四个)访问下一个/上一个列组?(五/三)
我测试了一些东西,发现我们可以比较不同的等级。所以知道了顺序的存在,也许一个等级的递增过程是可能的
(如果没有解决方案,我可以使用一个大匹配的函数,并告诉每个列组返回什么,但如果存在最快的解决方案…您可以使用它定义枚举类型,以便轻松访问基础整数值
更新
我从未使用过ppx_派生,所以我
我想使用public方法public setZA()设置类X的私有变量A
属于Z类
我只是陷入了这个问题。
不知道如何设置值并获取它
错误:此处不允许使用'void'类型完整错误是什么?Start.java:6:错误:此处不允许使用'void'类型z1.setZA(z1.getZA().setA(11))^setA返回一个Void类型,然后您试图将该Void传递到setZA。不过我不能推荐一个修复方案,因为我不完全确定您在那里尝试做什么。非常感谢您,先生。我将试图解释,X类的A是私有的。我在类Z
Facebook的流量是否有其他类型的检查器
另外,我不知道如何在这个问题上展开讨论,搜索和谷歌也没有提出任何问题。就编写带有类型注释的普通老JavaScript代码而言,从技术上讲,流是唯一的选择
然而,有许多语言可以编译成JavaScript,如、、和
其中,TypeScript几乎与JavaScript相同,只是它需要使用.ts和.tsx文件扩展名,而不是.js和.jsx。TypeScript也是主要的备选方案,您可以使用现有的构建过程。还有purescript、js++、dart和rea
我正在尝试将字符串转换为罗马数字类型列表。但我不明白seq.map是如何工作的
更改charromdig中的类型
let charRomDig c:RomDig =
match c with
| "I" -> I
| "V" -> V
| "X" -> X
| _ -> I
let toUpper (s:string) =
s.ToUpper()
let strToRom (str:s
Scott Wlaschin有一个关于这方面的很棒的教程
其中包括以下代码:
type Result<'a> =
| Success of 'a
| Failure of string
type Parser<'a> = Parser of (string -> Result<'a * string>)
类型结果)
我知道结果类型由'a参数化,并且用解析器构造的对象包含一个从字符串到结果而不是结果的函数,也许可以更好地解释这一点
我必须做一个销售的UML设计类图。创建类时,其中一个类(产品)将项目的图像作为其属性之一。我必须指出可见性、属性和数据类型。我应该为图像使用哪种数据类型?例如,我有如下属性:
productId:int
产品名称:字符串
产品价格:十进制
产品图片:
映像没有基本类型,您可以为此创建自己的类映像
除此之外,您使用的基本体类型名称不是预定义的,可能您希望按以下顺序排列:
整数
串
真实的
(c.f.的第21章)UML没有规定您需要使用哪些基本类型或数据类型。
它确实定义了一组可重用的基本类型
我得到以下错误
错误[E0283]:“warp::filter::and_then::and then”需要类型批注`
->src/http.rs:12:4
|
9 |让我们创建_user=warp::post
-----考虑给予“CeaTyAuthor”显式类型“WARP::Fase::ANDI:TH::ANDE”,使用指定的类型参数
...
12 |和|然后|用户:超级::用户::用户|异步移动{
|^^^^^^^^^无法推断类型
|
=注意:无法满足`\:reject::sealed::C
有人见过这种数据格式吗?我得到了大量的记录要从一个平面文件中导入,该文件包含某种压缩二进制格式的数字字段。我从上下文中知道它们代表数字,我有一些现有的翻译/解码,足以告诉我如何转换。最低顺序字节表示最低有效位,可能有符号编码。这里是解码的数字,然后是编码的字节和相应的位模式
0, 0c, 0000 1100
1, 1c, 0001 1100
2, b1, 1011 0001
3, 14, 0001 0100
4, 3c, 0011 1100
5, 2a, 0010 1010
6, 25, 001
标签: Types
timestampvarcharsqldatatypes
我的数据集包含一列,其中包含varchar数据类型中的日期和时间,如下所示:
04/23/2009 11:34:01
前面提到的列的数据类型是varchar,我想问一下如何将数据类型更改为timestamp。我将向表中添加一个目标类型的新的可空列
您可以尝试在对数据进行NAIEV分析的基础上填充列数据库
然后,您可以运行SELECT将原始日期字符串与新日期字符串进行比较,但也可以使用输出格式设置程序函数,使字符串保持一致。然后让SQL使用HAVING子句比较这两个值
一旦有了能够转换现有数据的解
我有一个自定义类型,我想在定义自定义类型的位置放置一个值,就像使用标准类型一样。我知道这不是一个清晰的描述,所以我可以为MyInt定义一个值,第一个程序将编译,但第二个程序不会
谢谢,
约翰
将编译
program test
type :: MyType
integer MyInt
end type MyType
integer :: MyInt = 2
type(MyType) :: a
a%MyInt = 3
write(*,*) a%MyInt, MyInt
end prog
我正在比较两个表HDSTD19和HDSTD146
SELECT D146_PREF_DATE,D19_DIARY_DTE FROM
HDSTD19,HDSTD146 WHERE D19_CONT_NO='M400252' D19_CONT_NO=D146_CONT_NO
WITH UR;
这里我想添加一个条件,在这里我可以放置D146\u PREF\u DATE=D19\u DIARY\u DTE
但D19_DIARY_date具有格式为YYYYDDMM的数据类型integer,D14
我如何获得下面的行进行编译
UIView.setAnimationCurve(userInfo[UIKeyboardAnimationCurveUserInfoKey].integerValue)
现在,它给出了编译错误:
'NSNumber' is not a subtype of 'UIViewAnimationCurve'
当integerValue被声明为Int时,为什么编译器认为userInfo[uikeyboardanimationcurveUserInfo].integerVa
我尝试用字符串值(名称)标识结构。
reflect.TypeOf返回Type
但是类型断言需要一个类型
如何将类型转换为类型
或者有什么处理的建议
我想你要找的是一个类型开关。
类型断言在语法上采用括号中的类型,而不是表达式。所以这是一个语法错误
您似乎试图使用运行时计算的值执行类型断言。这有意义吗?让我们考虑一下类型断言是什么
类型断言由两部分组成:
编译时:它使结果表达式具有所需的编译时类型。表达式x.(T)具有编译时类型T。这使您可以使用类型T来填充表达式,而使用类型x可能无法完成此操作
我在看报纸
在“使用重写和统一”一节中,他们提到了一种情况,其中一种目标来自:
(过滤器p(a∷ as)| p a)≡ (一)∷ as)| p a)
到
(过滤器p(a∷ rs)| r)≡ (一)∷ rs)| r)
在添加带有子句的之后
在编写Agda代码时,我看到类似的符号出现在目标和错误消息中
我想知道,在这个符号中,是否意味着在|的右边有一个变量?这在任何地方都有记录吗?如果您查看过滤器的定义,您会看到如下条款
... | true = a ∷ (filter p as)
这是什么
假设我有这样一个函数:
def a_function(data: Tuple[Tuple[str, ...], ...]) -> Mapping[Tuple[str, ...], int]:
pass
有没有办法通过类型注释表明Tuple[str,…]将与通过data参数传入的Tuple[str,…]相同
换句话说,传入的元组将包含一个同质元组的同质列表,所有元组看起来都像('fred','smith'),('ananya','cooper'),返回的dict看起来像{('fre
标签: Types
software-designbitmask
在我的问题中,我有一组不同的类型和这些类型的Holder(或者容器,如果您喜欢该术语)类。每个Holder都可以与任何类型的元素关联,但具有任意限制
问题是类型的结构可能非常复杂,我可以有一些不同行为的子类型,如A1、A2、A3、B1、B2
例如,我可以有一个类Car和一个子类型Convertible,另一个类helposer和一个Apache子类型,并使容器能够仅与这两个特定类型关联。汽车和直升机都将派生自同一父类(车辆,如下示例)
这本身并不是一个很难解决的问题,但我想让它足够灵活和可维护。
我有一个spark dataframe列,它包含一个复杂的数据结构(基本上是数组和结构的分层混合)。
现在我想构建一个udf映射器函数,它逐行获取一个实例,并返回一个相同类型结构的实例。
我必须注册udf的类型。是否有任何方法可以引用已知列的类型结构,或者告诉函数它返回其输入类型?
谢谢你的帮助
我想这样使用我的udf。修改后的列应该包含相同类型的项
mydata.select(col("items"), myudf("items"))
为此,我创建了一个python函数,pythonical
在作业中,我有两种用户定义的类型。类型a使用INT of INT,类型b使用INT of INT。据我所知,这意味着这两种类型都可以接受int作为该类型的一部分。有没有办法在a型和b型之间转换?我试过像这样打字
let typeA = INT 5
let typeB = Int 5
let cast = INT(typeB)
但这会引发类型不匹配错误 OCaml是一种强类型语言,因此通常无法从一种类型“类型转换”到另一种类型
但是,您可以编写一个将一种类型转换为另一种类型的函数。例如,有一个名
我在OCaml中编写了一个merge_排序函数,它接受一个比较函数和两个排序列表,并将它们合并在一起。我试图理解为什么这个函数的类型是
('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list
而不是
('a -> 'a -> bool) -> 'a list
因为它只返回一个列表。下面是我的merge_sorted函数代码
let rec merge_sorted lt a b =
ma
在Base、Core、Core.Compiler等中,是否存在将类型应用程序转换为函数应用程序的现有方法?换句话说,以下表达式中的lambda的无点替换:
julia> ((T, U) -> Union{T, U})(Int, Bool)
Union{Bool, Int64}
我预料
Base.Fix1(Core.apply_type, Union)(Int, Bool)
但不幸的是,Fix1没有varargs方法。伪运算符只是创建匿名函数的一种方法。
也许您需要一个非匿名函数来
我试图理解为什么Smalltalk有时被称为“动态类型化”而不是“非类型化”,我也读了很多书,这似乎很有道理
Smalltalk中没有变量、参数和方法返回的类型注释-那么您会将对象的类型(如果您说对象的类型是它的类)与什么进行比较
另外,动态类型与动态类型检查不相同?所以,如果Smalltalk是动态类型化的,这意味着Smalltalk在内部确实为变量、参数和方法返回在运行时提供了类型?是吗?在某些编程语言社区中,“动态类型”被广泛用于表示“动态检查”。类似地,在更注重理论的圈子里,它被广泛认为
我已经浏览了很多关于stackoverflow的帖子,但是没有谈到这个问题。
我最近从SL4迁移到了SL5,这反过来又将wcf ria升级到了v1sp2
注意:现在引用的所有二进制文件都是v5.0.5.0,但System.ServiceModel.DomainServices.Client(web).dll仍然是2.0.5.0版(使用RIA获得)
在为我的wcf生成服务引用之后,服务无法重用被引用程序集中的类型—它的重新生成类型导致引用不明确
使用svcutil命令测试包含类型的二进制文件要求的
是的,我是Libgdx新手,对java还是半新手,我正在学习Steigerts教程,我意识到它有点过时了,但无论如何,我正在尝试制作desktoplauncher,而这个导入将不起作用
导入com.badlogic.gdx.backends.lwjgl.LwjglApplication
它说它不能解析为一种类型使用gdx设置ui
运行它(java-jar)。它将自动为您生成所有libgdx项目。然后将它们导入到您的工作区中
而且,libgdx的增长非常快。如果你注意到一个教程已经过时了,不要一直
我正在努力学习Ada,但是资源是很难的。我一直在读关于这个问题的书,但所有的解释对我来说都很难理解。我经常看到这样的代码
type Stream_Element is mod 2 ** Standard'Storage_Unit;
这有什么用?我找到了一个解释:
Ada还允许您定义模块化类型。这些类型是无符号的,并且具有“环绕”
语义学。超出普通类型结尾的递增会导致异常,但递增
超出模块化类型的末尾,将环绕到零。此外,运营商没有,以及,
或者,和xor可用于模块化类型以进行位操作。图11演示了
这是我们的后续问题
我想知道什么时候这种结构可能更具表现力。在我看来,我们总是可以这样表达:
f : forall {A} -> {x y : A} -> x == y -> "some type"
f refl = instance of "some type" for p == refl
这里,Agda将对给定的示例进行路径归纳,该示例与该问题中的c:(x:A)->c refl相同:
pathInd : forall {A} -> (C : {x y : A} -&
我实际上是一名计算机科学的法国学生,我正在学习一门叫做高级编程的课程。为了本课程的目的,我需要用OCaml开发一个游戏…等等。。。但我面临着一个我无法独自解决的问题
正如您可以看到的,我创建了一个名为LySebug的函数(我认为它是ListEnter的扩展。该函数返回与谓词一致的元素列表
问题是“模因位置”。我有一个类型错误,但我不明白为什么,因为类型objet也是一种位置类型。所以,如果有人能告诉我什么是错的,以及如何避免它。我会非常满意的
顺便说一句,对不起我的英语。我尽了最大努力:/
ty
我有一个简单的组件,其中有一个字符串字段的输入:
import {Component, Input} from 'angular2/core';
@Component({
selector: 'mundo-input',
template: `
<input class="form-control" [(ngModel)]="zeit" />
`
})
export class MundoInputComponent {
@In
C提供关键字typedef,它允许您别名另一种类型:
typedef无符号整数uint;
这基本上使uint成为unsigned int的别名。这也适用于更复杂的类型和结构。Rust有类似的语言特征吗?如果是,如何处理生锈的TypeDef?是。你可以简单地写
type MyInt = i32;
这些都是名称级别的别名,也就是说,对于您随后使用的同一类型,使用哪个名称是绝对无关紧要的。它们是完全可以互换的。@E_net4谢谢你。你也可以查一下。运行时成本为零,它使您能够在现有类型上实现trai
标签: Types
proofagdatheorem-proving
我有一段agda代码,格式如下:
Terminates : I believe the below snippet models your problem accurately:
module _ where
open import Data.Maybe
open import Data.Product
open import Relation.Binary.PropositionalEquality
open import Data.Unit
open import Data.Maybe.
我的目标是确定最低低点的条形位置,因为最高高点[回望]
我不知道为什么不可能将hb的值插入lowestbar(),尽管我的感觉是highestbar()正在创建一个lowestbar()无法接受的变量类型
据我所知,hb=-highestbar(high,lookback)只返回一个int,它是指定的(source,length)的偏移量
我还通过绘图在数据窗口中验证了这一点
plotchar(hb, title="hb",char="")`
plotc
上一页 1 2 3 4 5 6 ...
下一页 最后一页 共 47 页