1回答
在我正在进行的形式化工作中，我需要将单元类型从Agda标准库提升到像Set a这样的多态类型。record Unit {l} : Set l where它是宇宙多态的。
浏览 12提问于2017-02-23得票数 4
回答已采纳
5回答
数据类型是一段代码吗？换句话说，它是软件吗？我说的是基本的数据类型，如整数、字符等。如果是这样的话，这是否表明OOP编程中的对象是数据类型的扩展？也就是说，程序员是否在创建对象时将数据类型提升到了另一个层次？
浏览 2提问于2009-12-21得票数 1
1回答
我有一个rake规则转换文件，它也需要依赖于:environment (meta-)任务。然而，我总是遇到错误。该规则如下：rule ".md" => ->(f){ source_for_md(f) } do |t|end这将导致错误：
Don't know h
浏览 1提问于2016-07-08得票数 2
回答已采纳
1回答
显然，在使用IR Builder时，我可以构建无效的IR，例如，通过添加两个类型不兼容的值，如i32和float。有没有一种工具可以根据指令的语义自动提升值(或更好的用户)？如果输入参数的一个类型是float，另一个是double，它将提升到更高的浮点精度。
如果没有，我假设我将不得不进行所有类型转换才能构建有效的IR。
浏览 0提问于2013-05-11得票数 1
3回答
一种类型与多种类型
、、、
作为该实体从一种状态转换到另一种状态的实例，它们获得某些属性/属性，但失去其他属性/属性。现在，如果您设计一个类/类型来表示这样的实体，那么一种设计选择就是引入一种包罗万象的类类型，它包含了整个生命周期中实体的所有可能属性的超集。另一种选择是引入某种类型层次结构，其中使用不同的类型表示感兴趣的实体，每种类型都表示特定状态下的实体。现在我的问题是：
一般说来，如何决定
浏览 7提问于2016-05-23得票数 0
1回答
用乘法实现加法
、、、、
现在，我想知道是否有任何方法只使用更高级别的运算来实现加法，例如，具体而言，乘法、指数、对数等(减法除外)。这是通过将这些操作(可能是按位运算符作为助手)结合在一起的一些算法实现的，还是添加作为公理的基本操作，因此除了其定义之外，不能以其他方式再现？
谢谢。
浏览 3提问于2016-09-14得票数 11
1回答
在C 1999注86中，向6.5.4 5(我的粗体)发言如果表达式的值以比强制转换命名的类型(6.3.1.8)所要求的更高的精度或范围表示，则为，
因为如果没有cast，a和b都被提升到int，这比short命名的类型(假设short是16位，int是32位)更高的
浏览 2提问于2020-11-09得票数 5
回答已采纳
我正在尝试运行一个查询，该查询将提取位于层次结构中某个Manager下面的员工列表。我试着把它提升到更高的层次： (e.Manager is not null and e.Manager.Manager.Id = :managerId
浏览 0提问于2018-02-21得票数 2
回答已采纳
我只想在Hashtbls上有一个通用的简单函数，所以我写了如下： H.iter (fun _key _v -> ()) htbl53 | H.iter (fun _key _v -> ()) htblError: This expression has type 'a but an expression was expecte
浏览 14提问于2022-08-03得票数 2
回答已采纳
1回答
种类有什么用吗？
、、
在Haskell中，种类(类型的类型)允许一些有用的东西，例如类型构造函数。我的问题是，拥有不同种类(类型的类型)会有什么好处吗?还是没有什么是他们所能做的，而仅仅是种类和类型就很难做到？
浏览 1提问于2014-03-08得票数 4
回答已采纳
给出类似的ADTDataKinds扩展允许我们将其提升为类型和类型/类型构造函数。K :: BOX'B :: 'Bool -> K'C :: * -> K
浏览 7提问于2015-06-11得票数 9
回答已采纳
1回答
我把等级等级提升到3.EX，Category 1 Category 1.1.1
Category 1.1.2但是我想在更高的层次上进行(没有css，如果可能的话，还可以使用php hack)。
浏览 5提问于2014-06-16得票数 0
1回答
我有两个用户类型类: CoordinateLeaderModel和CommunityMemberModel
每个对象都包含一个名为“createFromJson(.)”的静态方法对于每个模型来说都是独一无二的我想知道是否有一种方法可以将静态方法放在层次结构的更高的位置，以便如果我创建另一个像"AdminModel“这样的用户类型，我将记住创建一个静态的"createFromJson()”方法。
浏览 0提问于2018-03-02得票数 1
1回答
您可以在后台使用CTTelephonyCenterAddObserver和CFNotificationCenterAddObserver接收各种系统范围的通知，例如：
不过，我还没有找到一种在后台获得触摸通知的方法我很乐意得到低层次的触摸信息(例如。x，y坐标和触摸类型)，但更高层次的信息(例如。按下键，按回键等)会更好！
浏览 14提问于2013-03-21得票数 8
回答已采纳
2回答
我有一个类，我希望模板参数B具有默认类型。问题是默认类型是一个复杂的表达式，这取决于A的类型。
下面的代码说明了这种情况，但显然没有编译，因为模板表达式中不知道defaultB类型。
浏览 1提问于2015-04-16得票数 1
我希望，如果可能的话，使用一种应用程序服务技术来实现这些服务，这种技术可以扩展到多线程核心-- 24线程--这些天在普通的中程服务器上是标准的。另外，我希望输入是静态的，因为我认为静态类型可以防止某些类型的bug，这也是针对Python、Node.js、PHP的。
我还想在Linux上服务。还有一些更深层次的框架，它们的开销比我想的要多-- J2EE、ASP.NET等等(在动态世界中，有Cake.PHP、Rails、Django等等)。arg1 =2& arg2 2=xyzzy映射到我编写的foo类型</e
浏览 0提问于2011-01-02得票数 0
我试图扩展我对Google的使用，并遇到一些问题。当我进入IAM & Admin -> IAM并选择我的组织时，我会得到一个错误：“您没有足够的权限查看此页面”。稍微低一点：“您缺少以下所需的权限: resourcemanager.organizations.getIamPolicy”。由于这个问题，我也不能从基本的支持升级到任何付费的支持，所以我真的不能从谷歌的任何人那里得到任何帮助。
浏览 5提问于2022-07-12得票数 1
回答已采纳
2回答
我成功地获得了该模板并将其用于ARM部署，但我期待的是一种将arm模板存储到GitHub中的方法(对于我的dev逻辑应用程序)，并使用它提升到更高的环境，就像Azure数据工厂如何使用一样。不幸的是，我找不到一种方法来对Logicapp和GitHub进行升级，我们能做到吗？任何信息都非常感谢。
浏览 10提问于2022-01-08得票数 0
2回答
在Haskell中，类型构造函数IO是一个带有return语句的monad，该语句将任何表达式提升到其IO版本。没有什么可以阻止我们将已经是IO的操作提升到它的IO版本--给我们一种表单IO (IO a)的类型。
浏览 2提问于2018-01-10得票数 3
回答已采纳
3回答
类型理论:类型类型
、、、、
我读过很多关于类型、高级类型等有趣的东西。默认情况下，Haskell支持两种类型：
我已经了解了，我想我理解这个想法。
浏览 6提问于2011-10-13得票数 26
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
