#类型
Untapped potential in Rust's type system(www.jakobmeier.ch)
2021-6-14 17:16
今天，I＆＃39; M写关于除了检查代码属性之外的类型的类型。它会涉及一个好的动态打字，是的，＆＃39; s在rust.中有一些狂野的想法，所以系好安全带并准备好乘车！
该文章分为介绍，背景，包含主要内容的三个部分，以及结论。中间的三个部分每个都覆盖自己的想法，单独的动机。连接是运行时类型评估的方式。在那个方面，......
Cuda.jl v3.3: union types, debug info, graph APIs(juliagpu.org)
2021-6-14 6:26Tim 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通过真核细胞;每种蛋白质，每个核苷酸都通过细胞......
Domain Modeling Made Functional with Scott Wlaschin(www.youtube.com)
2021-6-6 6:46
静态类型的功能编程语言鼓励一种非常不同的思考方式。 类型系统是你的朋友，不是烦恼，...
Type-guided development and garden paths(frasertweedale.github.io)
2021-5-13 5:57“类型有助于您推理效果”，我们宣布。他们这样做！除非他们没有。 “只是遵循类型！”我们坚持。但有时这些类型带你沿着花园道路。
当校验器很开心但行为都错了时，很难找到你犯了错误的转弯。在这篇文章中，我将分享这种现象的真实例子，并提供一些关于如何避免它的提示。
应用类型类提供了将“纯”值升至应用数据类型的功能：
......
The best smartwatches for every type of user(arstechnica.com)
2021-5-12 23:28
相信它与否，除了苹果手表之外，还有值得拥有的智能手表。如果在2021年在手腕上获得重要（或不那么重要）通知，声音对您有吸引力，有很棒的消息：大多数智能手表现在可以为您做到这一点。并且在谈到样式，形状因素和更专用的可穿戴目的时，您可以选择。
有智能手表强调风格和经典钟表美学，其他帮助您在特定运动中培训竞争的其他人，并......
Pyre: A performant type-checker for Python 3(pyre-check.org)
2021-5-11 2:42
由地下构建，以支持逐步打字并提供响应增量检查。 具有数百万条Python的大码条上的表演。 旨在通过在您的终端中以交互方式销售型错误来帮助提高代码质量和开发速度，或者在您喜欢的编辑器中生活。 遵循PEP 484,526,612中引入的键入标准，并正在积极开发和不断提高。 PYRE船用PYSA，一种安全的静态分析......
Grain: WebAssembly-First Programming Language(www.infoq.com)
2021-5-7 10:46
奥斯卡斯斯宾塞最近呈现谷物，这是一个新的强大的高级语言，可以编译为webassembly。谷物包括功能编程特征（例如，类型推断，模式匹配，闭包），同时允许变形变量。谷物还有一个标准库，具有复合数据结构（选项，堆栈，结果）和系统调用（例如，I / O，过程处理）。
在WebasseMbly Summit 2021的......
Rust Language Cheat Sheet(cheats.rs)
2021-4-26 10:40可点击的符号BK本页官方RFC文档「此页面上的Internet official官方RFC文件」
其他符号🗑️很大程度上已弃用＆＃39; 18最低版本要求🚧需要留下生锈（或不完整）🛑故意错误的示例或陷阱🝖略微深度，很少使用或高级🔥有卓越的效用？缺少好的链接或解释💬自以为是
Fira Code Ligatu......
2021-4-19 22:11
这个概念在＃9097中得到解决，这是连同关闭的。而不是重新打开，让我采取另一种方法。
当＆amp; s {}被添加到语言中作为一种方法来构建指向综合文字的指针，它就没有感受到我。分配是半隐藏的，神奇的。但我已经习惯了，当然现在经常使用它。
但它仍然困扰着我一些，因为它是一个特殊的案例。为什么它只适用于复合文字？有......
Type Erasure in C++ Explained(blog.the-pans.com)
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.通用返回），这是我最近发现的功能，并且我一直很感兴趣。
我在编程语言中第一次看到这个功能，乍一看，它似乎是某种内置编译器魔法，仅在标准库中可用。实际上，它是一般性的功能，您可以每天使用您自己的代码。
请记住，我仍然是一个初学者的生锈，所以我的描述可能不是最准确的，......
Type-safe generic data structures in C(iafisher.com)
2021-4-8 21:5新一代低级编程语言的崛起，如Rust，Go和Zig导致了C及其原始类型系统陷入了一些荒唐。尽管如此，具有足够的创造力，可以在C中实现令人惊讶的复杂结果。一个这样的结果是通用数据结构。这篇帖子评论用于在C中实现通用数据结构的两种技术：不用利地使用原始内存和指针投射，并安全地使用通过宏生成代码。 1
我们将实现的......
TypeScript 4.3 Beta(devblogs.microsoft.com)
2021-4-7 3:11
要使用测试版开始，您可以通过Nuget获取它，或使用以下命令使用NPM：
在JavaScript中，API将在存储之前转换在存储之前传递的值非常常见。这通常会发生气体和定居者。例如，让我们想象一下，我们有一个带有Setter的类，始终将值转换为一个数字，然后在私有字段中保存它。
班级{＃size = 0......
How we got the [Java] generics we have(cr.openjdk.java.net)
2021-4-1 20:6在我们谈论泛型的地方之前，我们首先必须谈谈他们所在的位置，以及他们如何到达那里。本文档将主要关注我们现在到达的泛型，以及为什么为为现在的泛型方式设置基础的手段，我们现在将影响我们尝试构建的“更好”的泛型。
特别是，我们强调，擦除实际上是在2004年向Java添加仿制机的明智和务实的选择 - 以及让我们选择通过擦除选......
Nil in Go is typed in theory and sort of untyped in practice(utcc.utoronto.ca)
2021-4-1 19:49我最近读到了戈兰尼尔兔洞（Via），Andran进入了声明部分的方式：
所以这是一个有趣的事实，Go有多种“类型”的零。特殊地，有键入和没有型号的无变量。
你们中的一些人现在读到了你的键盘（CF），这也是我的第一次反应。努力谈论谈论某人有时会感到有时没有型号，因为Go＆＃39;当你将它与其他一些功能结合起来时，有......
C# 9 top-level programs and target-typed expressions(developers.redhat.com)
2021-4-1 19:38
.NET 5（11月2020年11月发布）包括对C＃9的支持，是C＃编程语言的主要新版本。这一系列文章探讨了.NET的主要编程语言中的新功能。在第一篇文章中，我们将查看顶级语句和目标类型的新和条件表达式。这些功能使C＃减去冗长，可以在日常节目中使用。
在我们开始之前：去年，我们发布了一个关于C＃8的系列。您可以在......
Structural Subtyping: For those missing Go interfaces in Python(p99th.substack.com)
2021-3-30 0:3
欢迎来到第二版“车站旅行车装满了磁带”。这是一种深入潜入如何使用来自的协议定义在Python中实现结构亚型的深度。在此帖子中，将从附加的代码摘录为图像，因此确保将图像设置为显示。
如果某种类型在构建新功能或端点时，我们如何推广某种类型与不同类型兼容？对我来说，它曾经以建筑课为中心。通过全面地在特征上创建分层视图，在......
An Introduction to Typeclass Metaprogramming(lexi-lambda.github.io)
2021-3-26 19:55TypeClass Metaprogramming是一种强大的技术，可用于Haskell程序员，以自动生成静态类型信息的术语级代码。它已被习惯于几个流行的Haskell库（例如仆人生态系统）的巨大效果，并且它是用于通过GHC泛型实现通用编程的核心机制。尽管如此，存在很少的物质，阐述了这种技术，降级它仅仅为高级Hask......
The Swift Array Design (2014)(github.com)
2021-3-22 8:43
tt {背景颜色：＃f2f2f2; div.Content UL＆GT;李{背景：无;填充：0 0 0 0.5EM;列表样式图像：无;列表样式类型：光盘;}}：链接{颜色：＃ab6023;字体重量：正常}正常}相当于下标get / set的C阵列的性能是最重要的表现目标。
应该可以从CocoA接收NSArray，表......
I Want a New Duck(glyph.twistedmatrix.com)
2021-3-19 3:48Mypy是Python的静态类型检查器。如果你是不是熟悉，你应该看看;它正在迅速成为标准的FORPETHON项目。所有时尚的年轻人都这样做。用yypy，您可以获得快速实验的高级动态类型的所有好处，以及严格类型的所有好处检查您的测试并提高可靠性。 1世界上最好的！
Mypy可以改变您编写Python代码的方式。在大多......
Totally_safe_transmute, Line-by-Line(blog.yossarian.net)
2021-3-17 5:7这些文件链接（由Benjamin Herr编写）在推文的声音中实现厌恶生锈的std :: mem :: mem :: transfultwithout的任何使用不安全。如果你经营它，你会发现它确实有效！
＃[test] fn main（）{设v：vec＆lt; U8＆gt; = B＆＃34; foo＆＃34; .t......
Rust's Type System Is Turing-Complete (2017)(sdleffler.github.io)
2021-3-16 8:23（N.B.这个帖子中的“他妈的”这个词看起来多次。我建议读者暂时不认为“他妈的”作为亵渎，因为它在这里没有使用。）
不久前，某人对铁锈削弱的挑战是挑战，而每个人都喜欢说Rust的类型系统正在完成，而且实际上没有人似乎有一个证据。为了响应该帖子，侵蚀了Smallfuck的实施形式的证据 - 完全在Rust型系统中。这......
Hyperfunctions(doisinkidney.com)
2021-3-15 23:20newtype a - ＆amp;＆gt; b = hyp {Invoke ::（b - ＆amp;＆gt; a） - ＆gt; B}
这是一个高功能障碍（Launchury，Krstic和Sauerwein 2013; 2000; 2000），我认为这是你可以在Haskell写的最奇怪和最有趣的纽约人之一。
......
Nickel: Cheap Configuration Language(github.com)
2021-3-12 7:49
镍是一种轻量级配置语言。其目的是自动化静态配置文件 - 思考JSON，YAML，XML或您的食用数据表示语言 - 然后将其馈送到另一个系统。 ITIS旨在具有一个简单，良好的核心：在它的心中，它是jsonwith函数。它可以在其中添加其他功能以提高表达性和常见性，但您可以在不使用它的情况下进行精细。
轻量级：镍旨......
Netaddr.ip: a new IP address type for Go(tailscale.com)
2021-3-11 6:11
TailScale是一个网络应用程序，所以自然地我们需要使用和经常使用操作IP地址和IP地址集。
几乎完全完全编写，明显的选择将是FortailScale使用Go Standard Library的Net.IP地址类型for Idenderips和net.ipnet类型fornetworks。不幸的是，标准库的类型......
Giving ADA a Chance(ajxs.me)
2021-3-3 0:53TL; DR：Ada是一种非常有趣且健壮的编程语言，可以为系统和裸机软件的现代开发人员提供大量帮助。至少，Ada提出了许多有趣的想法，现代编程语言的设计师可以从中学到很多东西。如果您想要这篇文章的30秒版本，请查看我提供的Ada与C的比较的实际示例。
本文提供的许多技术材料都可以作为我对osdev.org的贡献的一......
Phantom Types in Gleam(blog.pd-andy.dev)
2021-2-28 9:37
在这篇文章中，我们将研究Gleam的类型系统（称为幻像类型）的更高级用法。希望到本文结束时，您将拥有另一个工具，可以帮助您在程序中更好地建模数据。不用担心，因为许多语言都支持幻像类型（大多数常用的函数式编程语言都支持它们，但是Rust，TypeScript甚至PHP等其他语言也支持幻像类型），因此您可以将这些知识应用......
American Airlines confirms UFO contact over New Mexico on Sunday(viewfromthewing.com)
2021-2-24 21:34
深黑色地平线在周日从美国航空公司航班AA2292发布了空中交通管制广播。 这架飞机从辛辛那提飞往凤凰城，在下午1:19。 据报道，中央时期，在新墨西哥州的东北角约37,000英尺，据说有联系的阿尔伯克基中心。 你有没有目标？ 我们刚刚在我们的顶端迈出了什么 - 我讨厌这样说，但它看起来像一个长长的圆柱体，几乎看起......
Native Type Theory(golem.ph.utexas.edu)
2021-2-21 7:54本机类型理论是我和Mike Stay撰写的新论文。我们提出了一种编程语言推理的统一方法：将一种语言建模为一种理论，形成预滑轮类，并使用主题的内部语言。
语言→Λ分类→𝒫topos→Φ类型系统\ mathtt {language} \ xrightarrow {\; \ Lambda \;} \ mathtt {ca......