Tag: 原始types

尾部返回types语法样式应该成为新的C ++ 11程序的默认值？: C ++ 11支持一个新的函数语法： auto func_name(int x, int y) -> int; 目前这个函数将被声明为： int func_name(int x, int y); 新的风格似乎还没有被广泛采用（比如在gcc stl中）但是，在新的C ++ 11程序中是否应该使用这种新的风格，还是只在需要时使用？就个人而言，我更喜欢旧的风格，但一个混合风格的代码库看起来很丑。

EXECUTE权限在用户定义的表types上被拒绝？: 我有一个关于SQL Server 2008中的用户定义表types的问题。对于需要其中一个ASP.NET应用程序，我们在SQL Server 2008上定义了我们自己的表types，将它们用作存储过程中的参数（当在ASP.NET应用程序中执行sql命令时，我们将DataTable对象作为parameter passing给存储过程看这里的例子）问题是，当我们从ASP.NET运行Sql命令（执行存储过程）时，我们得到一个错误： EXECUTE权限在对象“ourTableType”，数据库“ourDatabase”，模式“ourSchema”上被拒绝。为什么？为什么我们需要为用户定义的表types设置权限？为什么仅仅在使用它的存储过程上设置权限是不够的？如果我们必须设置它，为什么没有EXECUTE权限types设置属性窗口什么（我只能看到Control ， References ，取得Take Ownership ， View Definition ）？我也不明白的是，在属性窗口中设置权限Control解决了问题，存储过程运行没有问题。

使用UUID作为Django模型中的主键（通用关系影响）: 出于多种原因^，我想在我的一些Django模型中使用UUID作为主键。如果我这样做，我仍然可以使用外部应用程序，如“contrib.comments”，“Django-voting”或“Django-tagging”，通过ContentType使用generics关系？以“django-voting”为例，Vote模型如下所示： class Vote(models.Model): user = models.ForeignKey(User) content_type = models.ForeignKey(ContentType) object_id = models.PositiveIntegerField() object = generic.GenericForeignKey('content_type', 'object_id') vote = models.SmallIntegerField(choices=SCORES) 这个应用程序似乎假设被投票的模型的主键是一个整数。内置的评论应用程序似乎能够处理非整数PK，但： class BaseCommentAbstractModel(models.Model): content_type = models.ForeignKey(ContentType, verbose_name=_('content type'), related_name="content_type_set_for_%(class)s") object_pk = models.TextField(_('object ID')) content_object = generic.GenericForeignKey(ct_field="content_type", fk_field="object_pk") 这是“整数PK假设”的问题是第三方应用程序的常见情况，这将使使用UUID痛苦？或者，我可能会误读这种情况吗？有没有办法在Django中使用UUID作为主键而不会造成太大麻烦？ ^一些原因：隐藏对象计数，防止url“ID爬行”，使用多个服务器创build非冲突的对象，…

什么是skolems？: Eeek！ GHCi在我的代码中find了Skolems！ … Couldn't match type `k0' with `b' because type variable `b' would escape its scope This (rigid, skolem) type variable is bound by the type signature for groupBy :: Ord b => (a -> b) -> Set a -> Set (b, [a]) The following variables have types that mention k0 … 他们是什么？他们想要什么与我的程序？ […]

decltype行为的基本原理是什么？: 正如我在C ++ 11中所理解的， decltype(expression)用于推导给定expression式的完全相同types。但是当expression式本身被放入括号中时，则推导types是左值对expression式types的引用。例如： int x; decltype(x) y = x; 相当于int y = x; 但， int x; decltype((x)) y = x; 相当于int& y = x; 。分别 decltype(auto) f1() { int x = 0; return x; // decltype(x) is int, so f1 returns int } 但 decltype(auto) f2() { int x = […]

为什么SQL Server抛出将int转换为数据types数值的算术溢出错误？: 在运行此代码时， SQL Server Management Studio引发了一个错误： declare @percentage numeric(3,2) set @percentage = cast(15 as numeric(3,2)) 但是当我改变数字声明 declare @percentage numeric(4,2) set @percentage = cast(15 as numeric(4,2)) 一切顺利。数字数据types是否有限制？

为什么Haskell代数数据types“closures”？: 纠正我，如果我错了，但它似乎像Haskell中的代数数据types在许多情况下，你会使用面向对象语言的类和inheritance有用。但是有一个很大的区别：一旦声明了一个代数数据types，就不能在其他地方扩展。这是“closures”。在OO中，你可以扩展已经定义的类。例如： data Maybe a = Nothing | Just a 没有办法，我可以以某种方式添加另一个选项，这种types稍后没有修改此声明。那么这个系统有什么好处呢？看来OO的方式会更具可扩展性。

添加ML风格的模块到Haskell有什么主要的理论困难？: 众所周知，Haskell风格的types类和ML风格的模块为指定接口提供了不同的机制。他们（可能）的权力是相等的，但实际上每个人都有自己的利益和弊端。因为在语言特性方面我是一个包容性的人，所以我的问题是：在Haskell中joinML风格的模块有什么主要的理论困难？我感兴趣的答复如下：什么样的现有types系统function与ML风格模块交互不良？（一个糟糕的交互的例子是GADT和函数依赖，尽pipefundeps在技术上等同于关联的types！）为了编译ML风格的模块，编译器最后必须放弃哪些东西？ ML风格模块如何与types推断进行交互？相关阅读：罗伯特·哈珀的post引发了这个问题讨论Haskell Reddit