FunctionalDependencies在唯一标识的类型上不统一

文章/答案/技术大牛

发布

1回答

haskell、functional-dependencies、type-families

以下是MonadState的定义，但问题适用于使用FunctionalDependencies的任何此类类 class Monad m => MonadState s m | m -> s where假设我有一个使用s作为类型参数的数据类型和一个使用它的类型类： data StateType s = StateType class MonadState s m => FunDeps s m a whereMonadState s m

浏览 23提问于2020-04-13得票数 3

回答已采纳

1回答

Hindley-Milner可以返回多个错误吗？

haskell、type-inference、typechecking、type-theory、hindley-milner

我对类型推断还很陌生，我想知道是否有什么好的扩展或论文可以让HM允许出现多个错误。我可能遗漏了一些东西，但是如果存在统一错误，类型检查器可以在类型上下文“有毒”的情况下继续进行吗？

浏览 15提问于2021-01-24得票数 2

1回答

转换为datatype数据类型是静态的吗？

sql、sql-server

我试图从用户名中“计算”一个唯一的数字，以便在查询中隐藏来自其他人的用户名。我已经发现了unique式标识符数据类型，并且想知道这是否对每次查询都是静态的，即使在不同的机器上也是如此。但是，这显然会根据用户名的长度而变化。我不希望用户能够看到一个长的varbinary，并且假设(可能是正确的)它是拥有最长用户名的人。然后，我将这个var二进制转换为unique<

浏览 1提问于2016-07-11得票数 0

回答已采纳

1回答

GLSL统一布局绑定和纹理

opengl、glsl、shader、opengl-4

当制服使用布局绑定时，我有点困惑于怎样才是正确的方法来绑定纹理。uModel mat4 modelViewProjectionMatrix;要绑定我的第一个纹理编辑：还是采样器使用与其他制服的单独绑定？

浏览 0提问于2018-03-04得票数 2

回答已采纳

2回答

使用函数依赖的关联参数限制

haskell、types、functional-dependencies

对于给定的类型'a'，下面的函数f接受类型为'c‘的参数。对于不同的类型'a'，'c‘有不同的限制方式。具体地说，当'a‘是任何整数类型时，'c’应该被允许是任何'Real‘类型。一种尝试是：MultiParamTypeClasses,FunctionalDependen

浏览 2提问于2012-09-13得票数 2

回答已采纳

1回答

如何识别哪个回单属于哪个用户

ios、iphone、in-app-purchase、uniqueidentifier

我正在做一个application.In，我正在服务器上存储收据，每当我尝试存储在服务器上时，我需要每个用户的唯一标识，receipt.So是否有任何唯一的值进入苹果服务器响应，当我们发送收据到苹果的validation.Or时，是否有任何选项来统一标识每个用户的收据。

浏览 1提问于2014-02-05得票数 0

1回答

我不能统一进口资产

unity3d

统一显示“标识符唯一性违规：'Name:，Type:Mesh‘。这个导入程序生成多个名称/类型相同的对象。无法保证该资产的后续导入将正确地重新链接到这些目标。” 我不能从资产商店进口资产。

浏览 18提问于2022-10-24得票数 1

1回答

统一数组元素的变量类型

php、variable-types

经过几个小时的调试，我在我的一个脚本中发现了一个错误。为了在数据库中保存不同的事件类型，我为每个事件提供了一个唯一数据数组，可用于标识该事件。所以我基本上有一些代码，比如为每个事件生成唯一的密钥。现在，在某些情况下，$data数组中的值是一个整数，有时是一个字符串(取决于它来自哪里-数据库或URL)。这会导致json_encode()

浏览 1提问于2010-10-20得票数 1

回答已采纳

2回答

CFBundleIdentifier可定位吗？

ios、localization、cfbundleidentifier

我们可以本地化CFBundleIdentifier吗，我使用CFBundleIdentifier作为密钥来存储在Plist中的东西，如果CFBundleIdentifier是可本地化的，我将无法访问存储在Plist中的数据，我已经查看了苹果文档，根据我的理解，CFBundleIdentifier是不可本地化的，如果我错了，请纠正我。

浏览 5提问于2016-06-14得票数 0

回答已采纳

3回答

索引-统一标识符外键还是中间映射表？

sql-server、index、schema、uniqueidentifier

寻找一些专家的意见，这家伙-我不是一个贸易DBA，所以会感谢任何意见。不需要对模式的其余部分进行注释，因为它纯粹是为了说明我的问题而编造的。基本上，我正在为现有的系统开发一个新功能，无法更改现有的模式。因此，假设当前有一个Users表，它具有一个主键UserID，它的类型是unique标识符。我的问题是--从我对索引策略的理解来看，索引unique标识符列并不是一个好主意--那么有一个中间表来将这些

浏览 0提问于2011-08-31得票数 6

回答已采纳

1回答

为什么它被称为tokenURI而不是tokenURL？

contract-development、tokens

似乎tokenURI总是返回一个URL，那么为什么要选择名称呢？

浏览 0提问于2023-03-24得票数 6

回答已采纳

1回答

转换参数化类型(带推断参数)

haskell、polymorphism、typeclass、parameterized、abstract-data-type

我有一个数据类型，它包含一个“隐藏”(推断)类型和一个具体的值。现在，我尝试实现一个函数来更改这两个函数，但无法使其通过GHC。编辑{-# LANGUAGE MultiParamTypeClasses #-}{-# LANGUAGE FlexibleInst

浏览 4提问于2011-05-04得票数 0

回答已采纳

2回答

在使用MultiParamTypeClasses时，是否需要使用每个类函数中的每个类型

haskell

当我使用MultiParamTypeClasses时，我可以创建忽略一个类型参数(例如下面的"identity“)的类函数。instance Test Int Add where identity = 1main = do putStrLn (show (identit

浏览 1提问于2013-11-20得票数 5

回答已采纳

1回答

是否需要在每个会话中设置userId？

google-analytics、tracking

当使用Google中的用户id功能时，是否需要在每个会话中设置userId，以便将会话绑定到同一个用户？我看到有一个会话统一选项，它连接userId设置为同一会话之前的页面视图，但未能找到关于多个会话是否统一到同一个用户而不在每个会话中设置userId的文档。例如，一个新用户导航整个站点，然后提交一个表单，然后生成一个唯一的id并设置userId。第二天，相同的用户返回站点，而不执行任何唯一标识他

浏览 0提问于2019-09-12得票数 1

1回答

如何通过空投发送和接收自定义数据

ios、swift

我正在制作一个应用程序，我想要实现空投到，我希望这个应用程序能够发送一个自定义数据集通过空投到另一个iPhone有相同的应用程序安装。然后，我希望接收设备自动打开和处理数据。我如何实现这一点？

浏览 0提问于2018-12-12得票数 1

5回答

用于登录的用户名是否必须是唯一的？

web-development、website-design、performance、authentication、usability

假设一个非商业网站，用户用用户名登录，我需要强制用户名的统一性吗？该网站是一个用户可以上传和分享内容，并有可能匿名或不这样做。然而，它并不是一个主要的社交网站。

浏览 0提问于2010-11-04得票数 4

回答已采纳

1回答

获取Android电话联系人的跨设备唯一ID

android、kotlin、android-contacts

我需要在Android设备上查询我正在进行的项目中的联系人，我需要将它们保存在应用程序中的实例与电话簿中的联系人之间的一种方式。我发现每个联系人的 (它是对的引用)在设备之间可能会发生变化，所以如果切换到其他Android设备，ID将无效。如何才能为Android电话簿中

浏览 2提问于2019-09-26得票数 6

4回答

Microsoft SQL Server 2008 - 99%的非群集、非唯一索引上的碎片

sql-server、entity-framework-4

我有一个有几个索引的表(如下所定义)。其中一个索引(IX_external_guid_3)具有99%的碎片，而不管重建/重新组织索引。有谁知道是什么原因造成的，或者解决这个问题的最佳方法？我们使用EntityFramework4.0来查询这个问题，其他索引字段上的EF查询平均比external_guid_3字段快10倍，但是ADO.Net查询在这两个字段上的速度大致相同(尽管比对索引字段的表格 id(PK，int，nul

浏览 5提问于2010-12-21得票数 6

回答已采纳

8回答

哈希与数字id的比较

hash、web-applications

当创建一个web应用程序，该应用程序以某些方式显示一个重复实体的唯一标识符( YouTube上的视频，或者像我这样的站点上的图书部分)时，最好使用一个统一的长度标识符，如散列或数据库中项的唯一键(1、2除了透露一点，我认为是无关紧要的，关于你的应用程序内部的信息，为什么使用哈希比使用唯一<em

浏览 14提问于2008-10-13得票数 10

回答已采纳

2回答

Scala:有没有一种创建内联类型的方法？

scala、types、inline、type-systems、singleton-type

基本上，我想写这样的东西：val y :('k2.type, Int) = 'k2 -> 2这里只使用关键字作为示例，目标是能够为某些标识符/关键字/字符串提供文字和单例类型。这些类型最好在运行时被擦除/<em

浏览 2提问于2014-12-03得票数 7

回答已采纳

点击加载更多