- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
使用GHC.TypeLits中的Sing
有任何开销吗? ?以程序为例:
{-# LANGUAGE DataKinds #-}
module Test (test) where
import GHC.TypeLits
test :: Integer
test = fromSing (sing :: Sing 5)
GHC生成核心代码:
Test.test1 :: GHC.Integer.Type.Integer
[GblId,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=IF_ARGS [] 100 0}]
Test.test1 = __integer 5
Test.test :: GHC.Integer.Type.Integer
[GblId,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=True)}]
Test.test =
Test.test1
`cast` (<GHC.TypeLits.NTCo:SingI> <GHC.TypeLits.Nat> <5> ; (<GHC.TypeLits.TFCo:R:SingNatn
<5>> ; <GHC.TypeLits.NTCo:R:SingNatn
<5>>)
:: GHC.TypeLits.SingI GHC.TypeLits.Nat 5
~#
GHC.Integer.Type.Integer)
此代码是否相当于 Test.test = __integer 5
并且值是否会在编译时计算?
最佳答案
是的,这相当于 Test.test = __integer 5
,cast
部分只是类型系统噪音(您可以在论文 "System F with Type Equality Coercions" 中了解它的含义)作者:Martin Sulzmann、Manuel M. T. Chakravarty、Simon Peyton Jones 和 Kevin Donnelly)。相关引用:
Cast expressions have no operational effect, but they serve to explain to the type system when a value of one type should be treated as another.
编辑:实际上,在 GHC 7.6 中,test = fromSing (sing::Sing 5)
的 assembly code 与 test = 5< 的代码不同
显然实际上有一些开销,但这个问题似乎在 HEAD 中得到了解决。
关于haskell - GHC TypeLit 开销,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/19020829/
我在 MS Dynamics CRM 中工作,我有一个包含我所有 TypeScript 的 WebResources 项目。我有插件 .net 库 dll,其中包含一些 POCO 对象,这些对象将通过
目前我所有的 TypeScript 类型都位于 Scripts/typings/Library 下。默认情况下,TypeLite 位于“脚本”下方。有没有办法指定输出目录,使其位于自定义库名称下?即S
我刚刚通过 NuGet 将 TypeLite 安装到我的项目中,但它不起作用,并且我尝试过的所有方法都没有帮助...这是安装后创建的文件: 这是我得到的错误: Seve
名称可以更改,如教程中所示: TypeScript.Definitions() .ForLoadedAssemblies() .WithFormatter((type, f) => "
当我的类在我的 Default.aspx.cs 文件中定义时,有人能告诉我我的 Scripts\TypeLite.tt 文件中究竟应该有什么吗? namespace typelite { pu
我将 TypeLITE 用于各种项目和一个简单的网站。我想使用 TypeLITE 从我的 C# 类生成 TypeScript 定义,但我不允许将 TypeLITE dll 添加到每个项目。 让这成为我
Typelite 是否可以生成 TypeScript 类而不是接口(interface)?像这样的东西: public class Person { public string FirstNa
我正试图围绕 GHC 扩展 KindSignatures和 DataKinds .看着Data.Modular包,我大致了解 newtype i `Mod` (n :: Nat) = Mod i de
使用 GHC.TypeLits ,我们可以写一个简单的类型级编号列表(或向量)。 > {-# LANGUAGE TypeOperators, KindSignatures, GADTs, DataKi
使用GHC.TypeLits中的Sing有任何开销吗? ?以程序为例: {-# LANGUAGE DataKinds #-} module Test (test) where import GHC.T
尝试设计一个类型驱动的 API,我一直在尝试使类似以下工作的东西(使用更复杂的代码/尝试,这被简化为阐明我正在寻找的内容所需的最低限度): {-# LANGUAGE DataKinds #-} {-#
我目前正在使用 TypeScript 中的 AngularJS 1.x 和 C# 中的 AspNet WebApi 后端构建客户端。 为了与后端通信,我使用了来自 Angular 的 $resourc
假设我有一些 C# DTO,我想使用 T4 模板和名为 TypeLite 的简洁小库将它们转换为 TypeScript 接口(interface) 在客户端,我有一些具体的 TypeScript 类(
所以我有很多 .Net 库/类,我想为其生成 typescript 定义。 typescript 很棒!我用简单的例子试了一下,它确实工作得很好。我面临的唯一问题是我拥有的组合不适用于它。这是它不起作
考虑 zip 的这个定义对于由 Peano 数字索引的通常向量长度: {-# language DataKinds #-} {-# language KindSignatures
我在玩 GHC.TypeLits 时遇到了问题.考虑以下 GADT: data Foo :: Nat -> * where SmallFoo :: (n Foo n BigFoo ::
刚刚安装了当前的 Haskell 平台 2012.2.0.0, which says it uses base-4.5.0.0 , 和 base-4.5.0.0 includes the GHC.Ty
我尝试使用 TypeLite 从现有的 POCO 类生成 TypeScript 数据对象类。导入 TypeLite NuGet 包时,我在 VS 2015 IDE 中收到一些错误消息,显然 NuGet
到目前为止,我假设 GHC 在编译时执行类型级函数(类型系列)。因此,应该在编译时发出由 TypeError 类型族触发的错误消息。 在下面的示例中,我在运行时遇到了类型错误。 {-# LANGUAG
使用 Peano 风格的类型级自然函数,编写绝对差异类型级函数(又名类型族)相当容易: {-# LANGUAGE DataKinds, StandaloneKindSignatures, TypeFa
我是一名优秀的程序员,十分优秀!