#types
Better Range Types in Postgres 14: Turning 100 Lines of SQL into 3(blog.crunchydata.com)
2021-6-10 6:35
我可以谈谈PostgreSQL的好处，以整天应用程序开发和运营。但是有两种持久的主题，靠近我的心：船船（你需要更新你的密码来使用扰流）和范围类型。
我在PostgreSQL 9.2中发布以来，ve＆＃39; ve and and vere and range类型。在我加入嘎吱嘎吱的数据之前，我在生产中部署了它们，以......
Phantom Types in Gleam(blog.pd-andy.dev)
2021-2-28 9:37
在这篇文章中，我们将研究Gleam的类型系统（称为幻像类型）的更高级用法。希望到本文结束时，您将拥有另一个工具，可以帮助您在程序中更好地建模数据。不用担心，因为许多语言都支持幻像类型（大多数常用的函数式编程语言都支持它们，但是Rust，TypeScript甚至PHP等其他语言也支持幻像类型），因此您可以将这些知识应用......
How to recognize different types of timestamps from quite a long way away (2003)(devblogs.microsoft.com)
2021-1-31 6:51
关于时间戳的伟大之处在于，有很多可供选择。 有时，在调试（或阅读不完整的文档）时，您会发现时间戳记，并且想知道如何将其转换为可读的内容。 这里有一些技巧。 自1970年1月1日UTC以来，UNIX时间戳以秒为单位。 它是一个32位数字，是唯一用作时间戳记的32位数字。 如果它是一个以“ 3”开头的32位值，则可能......
In CPython, types implemented in C are part of the type tree(utcc.utoronto.ca)
2020-12-25 0:36从理论上讲，在Python中，所有类型都源自对象（它们是对象的直接或间接子类）。多年来，我一直相信（并书面认为）在实现级别上，对于用CPython用本机C代码编写的类型（Python的标准实现以及您可能正在使用的一种）而言，情况并非如此。用Cmight编写的类型的行为就好像它们是对象的后代一样，但是我认为它们的行为实......
Twenty Types of Human: Among the Neanderthals(www.lrb.co.uk)
2020-12-23 4:46
Warning: Can only detect less than 5000 characters
Warning: Can only detect less than 5000 characters
狩猎大型野兽是一项冒险的工作，并且一直如此，直到发明出可靠的步枪为止。下降到我们的尼安德特人的骨骼有很多骨折也就不......
Four Types of Kanji (2019)(learnjapanesebest.wordpress.com)
2020-12-4 20:32
构成大部分日语文字的表意文字汉字有四种粗略类型。象形文字，指示符，组合符号以及含义和声音借用者。
第一种是象形文字，代表它们所代表的实际事物。一些研究人员声称，实际上不到4％的是象形文字。
人biped（人类）女女人手手田稻田子孩子日日月月门门山山川弓弓（如“弓箭”）火戸日式门口口，入口水水雨雨竹竹木树木......
Sum Types in Julia and Rust(andreaskroepelin.de)
2020-8-31 12:35正如我在本博客的其他帖子中提到的(这里肯定很多人都会同意)，我坚信设计程序的一个很好的开始是找出人们试图解决的现实问题的良好表示形式，即定义适当的类型。定义类型的一种有用的技术是所谓的SUM类型。有趣的是，它们在不同的编程语言中的用法完全不同，我想在本文中以Rust和Julia为例简要说明这一点。
备注：Julia和......
Types as axioms, or: playing god with static types(lexi-lambda.github.io)
2020-8-15 17:17函数emptyLike(val：number|string)：number|string{if(typeof val="；number"；){return 0；}Else{return"；"；；}}。
现在，如果我们编写emptyLike(42)*10，类型检查器将再次抱怨，声称结果可能是一个......
Linear types are merged in GHC(www.tweag.io)
2020-6-20 3:55
已经快4年了。他们有4年了！我们学到了很多东西。我很疲惫，但最重要的是，我很高兴，我很感激，我很有希望。
GHC向线型的旅程始于2016年秋天。在这个时间点上，Jean-Philippe Bernardy和我从事分布式存储研发已经有一年左右的时间了。在此之前，我们两人都刚刚发表了对线性逻辑的研究。而且，我们开始在很多......
Using Enumerated Types in Python(johnlekberg.com)
2020-6-7 1:51Blog Jto联系如何使用枚举来管理呈现有限状态集的数据。
枚举类型(枚举)是唯一值的集合。例如，分层列表，S层最好，然后是A、B、C、D和F：
使用IntEnum对象比使用Int更容易，因为IntEnum允许您为值编写助记符：
我正在处理的数据具有少量状态(例如，通过或失败)。
数据的顺序不适用于字符串(例如，层......
Hypothetical Types of Biochemistry(en.wikipedia.org)
2020-5-22 3:13
跳转到导航跳转搜索假设的生物化学类型是推测在科学上可行的生物化学形式，但目前还没有被证明存在。[2]目前地球上已知的各种生物体都使用碳化合物来实现基本的结构和代谢功能，使用水作为溶剂，使用DNA或RNA来定义和控制它们的形式。如果在其他行星或卫星上存在生命，那么它们在化学上可能是相似的；也有可能存在具有完全不同化学成......