类型
2022-3-2 5:2
本文档描述了Go 1.18中通过字典和GCShape模板的泛型实现。它提供了比Gcshape设计文档中描述的更具体和最新的信息
泛型的编译器实现（在类型检查之后）主要关注于创建泛型函数和方法的实例化，这些函数和方法将使用具有具体类型的参数执行。为了避免为具有不同类型参数的泛型函数/方法的每次调用创建不同的函数实例化（......
2022-2-17 12:12
正如我之前所说，PyFL是我们其他人的函数式编程。（可在pyflang.com上找到。）
PyFL现在有类型检查功能——没有类型声明。相反，类型是通过在类型域上评估程序而生成的。
在PyFL中，所有普通人觉得困难或完全奇怪的事情都消失了：单子、强制咖喱、后置或前缀符号、模式匹配等，而不是函数应用的中缀符号和f（x，y......
2022-2-17 2:50
本PEP介绍了一种简单直观的方法来注释返回类实例的方法。这与PEP 484中指定的TypeVar basedapproach的行为相同，但更简洁，更容易理解。
一个常见的用例是编写一个方法，通常通过返回self来返回sameclass的实例。
类形状：def set_scale（self，scale:float）：s......
2021-8-10 6:43
Rust 是围绕“零成本抽象”的概念构建的。这个想法是，您可以编写人性化的高级代码，编译器将为您提供至少与您自己编写的任何优化的低级代码一样好的免费性能。通过零成本抽象，您不再需要在可维护性和性能之间进行权衡。不幸的是，很难确保零成本抽象是真正的零成本，而 Rust 在实践中往往无法满足这个崇高的理想。在这篇文章中，......
2021-7-29 23:37
最近我正在做一些检索结构数据成员类型的工作。当我探索、研究和测试想法时，我发现了这颗珍珠：template<int N> struct tag{};template<typename T, int N>struct loophole_t {friend auto loophole(tag<......
2021-7-29 22:2
morloc 是一种函数式编程语言，其中的函数是从外国语言中导入的，并统一在一个通用类型系统下。编译器生成跨语言组合函数所需的代码，并指导数据验证、类型/格式转换、数据缓存、分布式计算和文件读取/写入等日常任务的自动化。最终目标是将 morloc 开发成一种查询语言，该语言从无限的函数库和函数组合中返回优化的程序。如......
2021-7-27 2:49
Go 中的 map[string]interface{} 是什么，为什么它如此有用？我们如何在程序中处理字符串到接口的映射{}？接口{}到底是什么？让我们与著名的围棋老师约翰·阿伦德尔（John Arundel，又名 @bitfield）一起找出答案，他可能是最友好和最有帮助的围棋入门系列丛书 For the Lov......
2021-7-25 13:16
几年来，我一直在设计和实施一种功能性教学语言，特别是在离散数学课程的背景下使用。这个想法是让学生在他们的计算机科学教育早期接触一些函数式和静态类型的编程，并为他们提供一种有趣而具体的方式来了解他们在离散数学课程中学到的概念与计算之间的联系。我不是第一个想到结合 FP + 离散数学的人，但我认为有机会使用专门为此目的而......
2021-7-22 21:53
要开始使用测试版，您可以通过 NuGet 获取它，或者使用带有以下命令的 npm：在 JavaScript 中，我们经常需要以不同的方式探测变量，以查看它是否具有我们可以使用的更具体的类型。 TypeScript 理解这些检查并将它们称为类型保护。类型检查器利用称为控制流分析的东西来推断每种语言构造中的类型，而不是在......
2021-6-26 15:53
从历史上看，我已经努力找到一个简洁的，简单的方法来解释练习类型驱动的设计意味着什么。太多，当有人问我“你是怎么想起这种方法的？”我发现我不能给他们一个令人满意的答案。我知道它不仅仅是在愿景中来找我 - 我有一个迭代的设计过程，不需要采取薄薄的空气中的“正确”的方法，但我并没有成功地向他人沟通该过程。
然而，大约一个......
2021-6-24 7:42
跳转到导航跳跃以搜索数学逻辑和计算机科学，同型型理论（Hott / hɒt /）是指直觉类型理论的各种发展，基于类型的解释为直觉的对象（摘要）同型理论适用。
除了其他工作方面，包括统一和高度分类模型的典型理论;使用类型理论作为抽象同型理论和更高类别理论的逻辑（或内部语言）;在一个理论基础内的数学发展（包括先前现有的......
2021-6-23 16:42
正如我们在ADA 2022支持的GNAT中所看到的那样，对ADA 2022的支持现在主要是为了每个人都可以利用。我们＆＃39;现在穿越手指，以便在2022年由ISO正式盖章。
在实践中，制作新的ISO的语言修订是一个漫长的过程，到目前为止每十年大概发生。在我们方面，遵循语言设计文化的一般演变，以及我们从我们的用户社......
2021-6-23 6:49
子类和组成之间的冲突与面向对象的编程一样古老。最新的语言（如Go或Rust）证明您不需要子类别以成功编写代码。但具体怎样？
任何跟随我的人都足以让我坚持在构成过度继承营地。但是，Python的设计是以某种方式设计的，无需子类别就无法编写惯例代码。当时有时候是，在第1主题的情况下，我对这篇文章的目标是思考问题。
我......
2021-6-14 17:16
今天，I＆＃39; M写关于除了检查代码属性之外的类型的类型。它会涉及一个好的动态打字，是的，＆＃39; s在rust.中有一些狂野的想法，所以系好安全带并准备好乘车！
该文章分为介绍，背景，包含主要内容的三个部分，以及结论。中间的三个部分每个都覆盖自己的想法，单独的动机。连接是运行时类型评估的方式。在那个方面，......
2021-6-14 6:26
Tim Besard在过去几个月里有几个Cuda.jl版本，许多错误修正和许多令人兴奋的新功能，以改善朱莉娅的GPU编程：CUArray现在支持的Isbits Onions，Cuda.jl可以发出与nvidia一起使用的调试信息工具和编译器的更改使其更容易使用最新版本的CUDA Toolkit。
工会是表示一种或......
2021-6-8 3:9
在一个意义上，真相矿山只是另一个索引。百分之一的图书馆专门选择了图书馆和＃39; S的内容是类似的方式 - 而Yatima已经爬上了进化树，跳房子跳过了，走了大道，为历史offleshers，Geeiss和Citizens的大道。之前的半个兆瓦，ve＆＃39; d vum通过真核细胞;每种蛋白质，每个核苷酸都通过细胞......
2021-5-13 5:57
“类型有助于您推理效果”，我们宣布。他们这样做！除非他们没有。 “只是遵循类型！”我们坚持。但有时这些类型带你沿着花园道路。
当校验器很开心但行为都错了时，很难找到你犯了错误的转弯。在这篇文章中，我将分享这种现象的真实例子，并提供一些关于如何避免它的提示。
应用类型类提供了将“纯”值升至应用数据类型的功能：
......
2021-5-12 23:28
相信它与否，除了苹果手表之外，还有值得拥有的智能手表。如果在2021年在手腕上获得重要（或不那么重要）通知，声音对您有吸引力，有很棒的消息：大多数智能手表现在可以为您做到这一点。并且在谈到样式，形状因素和更专用的可穿戴目的时，您可以选择。
有智能手表强调风格和经典钟表美学，其他帮助您在特定运动中培训竞争的其他人，并......
2021-5-11 2:42
由地下构建，以支持逐步打字并提供响应增量检查。 具有数百万条Python的大码条上的表演。 旨在通过在您的终端中以交互方式销售型错误来帮助提高代码质量和开发速度，或者在您喜欢的编辑器中生活。 遵循PEP 484,526,612中引入的键入标准，并正在积极开发和不断提高。 PYRE船用PYSA，一种安全的静态分析......
2021-5-7 10:46
奥斯卡斯斯宾塞最近呈现谷物，这是一个新的强大的高级语言，可以编译为webassembly。谷物包括功能编程特征（例如，类型推断，模式匹配，闭包），同时允许变形变量。谷物还有一个标准库，具有复合数据结构（选项，堆栈，结果）和系统调用（例如，I / O，过程处理）。
在WebasseMbly Summit 2021的......
2021-4-26 10:40
可点击的符号BK本页官方RFC文档「此页面上的Internet official官方RFC文件」
其他符号🗑️很大程度上已弃用＆＃39; 18最低版本要求🚧需要留下生锈（或不完整）🛑故意错误的示例或陷阱🝖略微深度，很少使用或高级🔥有卓越的效用？缺少好的链接或解释💬自以为是
Fira Code Ligatu......
2021-4-19 22:11
这个概念在＃9097中得到解决，这是连同关闭的。而不是重新打开，让我采取另一种方法。
当＆amp; s {}被添加到语言中作为一种方法来构建指向综合文字的指针，它就没有感受到我。分配是半隐藏的，神奇的。但我已经习惯了，当然现在经常使用它。
但它仍然困扰着我一些，因为它是一个特殊的案例。为什么它只适用于复合文字？有......
2021-4-16 0:52
您已经听说过C ++的类型擦除。您可能知道std ::函数是模式的经典用法。但是C ++中的类型擦除是什么？它有效地尝试实现鸭键入，这是Python这样的语言常见的。
＃请注意，Bar1或Bar2class Bar1：def dosomething（）：print（＆＃34; bar1＆＃34;）class bar......
2021-4-14 6:15
在本文中，我将描述生锈返回类型多态性（A.K.A.通用返回），这是我最近发现的功能，并且我一直很感兴趣。
我在编程语言中第一次看到这个功能，乍一看，它似乎是某种内置编译器魔法，仅在标准库中可用。实际上，它是一般性的功能，您可以每天使用您自己的代码。
请记住，我仍然是一个初学者的生锈，所以我的描述可能不是最准确的，......
2021-4-10 1:28
这是一种发明，完全改变了世界，迎来了大规模的社会变革，曾经考虑过的宗教，曾经考虑过的宗教，并使西方的佛教出现可能。它是可移动的类型，其故事是众所周知的，广泛重复 - 但经常不完整。
“少一些记录少，我们现在不会像他一样崇拜古腾堡圣经，”历史学家约翰曼写了关于15世纪的德国打印机Johannes Gutenberg。......
2021-4-8 21:5
新一代低级编程语言的崛起，如Rust，Go和Zig导致了C及其原始类型系统陷入了一些荒唐。尽管如此，具有足够的创造力，可以在C中实现令人惊讶的复杂结果。一个这样的结果是通用数据结构。这篇帖子评论用于在C中实现通用数据结构的两种技术：不用利地使用原始内存和指针投射，并安全地使用通过宏生成代码。 1
我们将实现的......
2021-4-7 3:11
要使用测试版开始，您可以通过Nuget获取它，或使用以下命令使用NPM：
在JavaScript中，API将在存储之前转换在存储之前传递的值非常常见。这通常会发生气体和定居者。例如，让我们想象一下，我们有一个带有Setter的类，始终将值转换为一个数字，然后在私有字段中保存它。
班级{＃size = 0......
2021-4-1 20:6
在我们谈论泛型的地方之前，我们首先必须谈谈他们所在的位置，以及他们如何到达那里。本文档将主要关注我们现在到达的泛型，以及为什么为为现在的泛型方式设置基础的手段，我们现在将影响我们尝试构建的“更好”的泛型。
特别是，我们强调，擦除实际上是在2004年向Java添加仿制机的明智和务实的选择 - 以及让我们选择通过擦除选......
2021-4-1 19:49
我最近读到了戈兰尼尔兔洞（Via），Andran进入了声明部分的方式：
所以这是一个有趣的事实，Go有多种“类型”的零。特殊地，有键入和没有型号的无变量。
你们中的一些人现在读到了你的键盘（CF），这也是我的第一次反应。努力谈论谈论某人有时会感到有时没有型号，因为Go＆＃39;当你将它与其他一些功能结合起来时，有......