为什么静态语言如此精细？

—— 简述 thedocs of MPL（_78_0/libs/mpl/doc/refmanual/iter-fold.html）

有时，软件包发明家发现他们的母语更为原始，甚至没有通过快照实例表达他们的只想法。但他们并并未放弃：

回只想一下著名的“格林斯潘第十广义相对论”，这类自概念的元母语不一定都是临时的、非正固定式指称定的、漏洞百出新近，且速度很慢，不仅语义杂乱，而且文档也很糟糕。元母语多种形固定式化的术语本身就不出立，尽管建立总体道歉信病态的、小数人特定不仅仅母语乍一看听起来很酷。

在运用做寄生虫母语表达某个弊端不仅仅时，你并不须要要认识如何顺利定时进行一系列的给定调用，也就是我们常真的的 API；然而，如果 API 是用另一种母语编撰的，那么除了给定调用顺序之外，还并不须要要认识该母语的词法和语义，这就确实会造成了弊端，或许有两个：给开发医护人员促使思只想上的负担，而且掌握了此类元母语的开发医护人员数量实际。

根据我的潜能，自概念的元母语往往确实会很快失控，并殃及整个实例纳，愈演愈烈有系统解读的准确度。不仅解读实例确实会变异差，而且PHP筒与开发医护人员的交互也确实会变异差，你有并未运用做繁复的类HG或弘 API 的亲身经历？如果有，那么一定会并不熟悉晦涩难解的PHP筒诊断结果，就像请肯定的合而为一页一样：

真的起来很可悲，但以前所真的专门化母语“富有美感”，就等于是在真的该母语的功能病态更为庞大，精神状态繁复。

最终，或许无法真的一下寄生虫母语的元面向对象。对于 Template Haskell 和 Rust 操作过程弘这类的模版控制系统，我们可以运用做有所不同的母语来加载寄生虫母语的多种形固定式化词法柏树，虽然并未二元病态的弊端，但Lisp典型的功能病态却不如人意。

弘不是给定，实例或许无法一大多运用做弘，一大多运用做给定，因为二者是各有不同的术语，因此我们或许无法所设计一个既CE又直观的 API 纳。我与生俱来相信，Rust 操作过程弘在所设计上是一个巨大的误解，而 C 母语的 #define 也是半斤八两，除了纯词法之外，弘控制系统或许不真的加载的母语。

这种方固定式这样一来高雅地扩张和运用做母语，毕竟不过是大大的好一点的文档更换。例如，论据有一个叫继续做 Either 的常量，其概念如下：

either.rs

pubenum Either {Left(L),Right(R),}

现今论据有一个trait foo，我们决心为 Either 发挥作用这个 trait，而 L 和 R 都发挥作用了 Foo。显然我们并或许无法给 Either 系统设计一个发挥作用了该 trait 的区别于弘，即使真的名称也不行，因为这样继续做的话，弘就或许无法认识 Foo 的清晰亲笔签名。更加糟糕的是，Foo 确实是在其他纳里面概念的，不一定并未额外的元接收者，就无可获知其概念。

尽管这个上述情况看后面很不典型，但实情却并非如此。我告诫你看看 tokio-util 里面的 Either，它就是这种常量，但它发挥作用了 Tokio 特别设计的 traits，如AsyncRead、AsyncWrite、AsyncSeek 等。现今只也许一下，你的单项里面有五个各有不同的 Either，分别来自各有不同的纳，那么集出就确实会并不更糟！虽然类HG内省也许是个这种方案，但必消除地让本已繁复的母语严峻。

Idris可以不应对弊端吗？

Idris 最或许的适不应病态之一就是，类HG和表达固定式都是用同一种母语表达的，它们的词法显然有所不同。

——Edwin Brady，Idris作者

我们来理性一下如何不应对这个弊端。如果使用显然快照的母语，就能不应对二元病态和不相一致的弊端，但确实会失去PHP时验证，而且调试程序也确实会精神状态更糟。快照类HG控制系统的弊端早已天下有为。

不应对弊端的唯一步骤就是让专门化母语同时大力支持快照和一个系统，并且绝不会把同一个适不应病态分出快照和一个系统两大多。因此，理只想的母语多种形固定式化是快照的也是一个系统的；但是，它依然是一个术语，而不是命题上相像但接口各有不同的两个术语。

一个较好的举例就是 CTFE，也就是 constexpr：同一段实例可以在PHP时的一个系统上下文里面可执行，也可以在调试时的快照上下文里面可执行（例如通过 stdin 请求其他用户输入时）。因此，我们不并不须要要为PHP时（一个系统）和调试时（快照）编撰各有不同的实例，只并不须要要运用做有所不同的回不应须要。

我记得一种不应对方案就是缺少类HG。运用做缺少类HG，类HG的倍数不仅可以是其他类HG，还可以是倍数。Idris 就是一种缺少类HG母语，它有一种叫继续做 Type 的类HG，回不应“所有类HG的类HG”，因此杂乱了类HG高至和倍数高至密切关系的界限。有了如此薄弱的工具，我们就可以回不应有类HG的多种形固定式化，而在一般母语里面，这或许无法通过PHP筒或弘来发挥作用。也许最典型、最有描述病态的举例就是类HG安全及的 printf，它能将会推算倍数的类HG。

首不须，概念一个可论述的类HG Fmt，还有一个从格固定式URL获取该类HG的步骤：

data Fmt= FArg Fmt | FChar Char Fmt | FEnd

toFmt : (fmt :List Char)-> FmttoFmt('*' ::xs) = FArg(toFmt xs)toFmt( x ::xs) = FCharx (toFmt xs)toFmt[] = FEnd

然后，运用做它为printf 给定分解出类HG。为便于听众解读，词法参考资料了 Haskell。

请肯定是最有趣的大多：

PrintfType : (fmt : Fmt) -> TypePrintfType (FArgfmt) = ({ty :Type} ->Show ty =>(obj : ty) ->PrintfType fmt)PrintfType (FChar _ fmt) = PrintfType fmtPrintfType FEnd = String

这个给定继续做了什么？它根据输入倍数 fmt 推算出新近了一个类HG。像整天一样，我们将 fmt 分为三种上述情况，分别可执行：

1、(FArg fmt)。由于 FArg 回不应我们要共享一个可手撰写的倍数，在这个举例里面确实会造成了一个类HG亲笔签名，立即一个额外的倍数：

2、(FChar _ fmt)。FChar 回不应格固定式URL里面的一个都是字符，因此我们忽略它，继续看PrintfType fmt。

3、FEnd。这是输入的简短。因为我们并不须要要 print 造成了一个 String，我们送回 String 都是类HG。

现今，论据格固定式URL为"*x*"，或者真的 FArg (FChar ('x' (FArgFEnd)))。那么 PrintfType 确实会分解出什么类HG？很直观：

1、FArg: {ty : Type} -> Show ty => (obj : ty) -> PrintfType (FChar ('x' (FArg FEnd)))

2、FChar: {ty : Type} -> Show ty => (obj : ty) -> PrintfType (FArg FEnd)

3、FArg: {ty : Type} -> Show ty => (obj : ty) -> {ty : Type} -> Show ty => (obj : ty) -> PrintfType FEnd

4、FEnd: {ty : Type} -> Show ty => (obj : ty) -> {ty : Type} -> Show ty => (obj : ty) -> String

不错，现今可以编撰printf 了：

printf : (fmt : String) -> PrintfType(toFmt $ unpack fmt)printf fmt =printfAux (toFmt $ unpack fmt) [] whereprintfAux :(fmt : Fmt)-> ListChar ->PrintfType fmtprintfAux (FArg fmt) acc = obj => printfAux fmt (acc ++unpack (show obj))printfAux (FChar c fmt) acc = printfAux fmt (acc ++[c])printfAux FEnd acc = pack acc

可见，PrintfType(toFmt $ unpack fmt) 出新近现今了类HG亲笔签名里面，不一定 printf 的整个类HG缺少于输入倍数 fmt！但是 unpack fmt 是什么语意？因为 printf 给与 fmt:String，我们其所不须将其类比出 List Char，因为要在 toFmt 里面给定该URL；据我所知，Idris 不受限制用除此以外的步骤给定原始的 String。近似于地，在给定调用 printfAux 不须前所要定时进行 unpack fmt，因为它也给与 List Char 作为结果累加筒。

我们来看一下 printfAux 的发挥作用：

1、(FArg fmt)。这里送回一个 lambda 给定，该给定给与 obj 并给定调用 show，然后运用做 ++ 表达式将其加到到 acc里面。

2、(FChar c fmt)。将 c 加到到 acc，并再次运用做 fmt 给定调用 printfAux。

3、FEnd。由于 acc 的类HG为 List Char，但我们要送回 String （根据 PrintfType 的最终一种上述情况），因此对其给定调用 pack。

最终，试验一下printf：

printf.idr

main : IO main =putStrLn $ printf "Mr.John has * contacts in *." 42 "New York"

上述实例的输出新近为：Mr. John has 42 contacts in "New York".。但如果我们并未给printf 共享 42 确实会怎样？

Idris 确实会侦测出新近误解，然后造成了一个类HG不给定误解！这就是运用做类HG优不须的母语发挥作用类HG安全及的 printf 的继续过分。如果你对此有兴趣，可以看看 Will Crichton 的科学实验（），该科学实验大量系统设计了下面解真的的甲前所提表。

这种步骤的缺陷也一定会很相比了：在 Rust 里面，类HG控制系统的母语和合而为一母语不一样，但在 Idris 里面，两者是有所不同的，这就是为什么能将类HG高至的给定概念出一个送回 Type 的都是给定，并在类HG亲笔签名里面给定调用的或许。更加实质性，因为 Idris 使用缺少类HG，你甚至可以根据某些调试时倍数来推算类HG。

我猜到有人确实会问：用弘发挥作用 printf 有什么弊端？以致于，Rust 里面的 println! 也较好用。弊端在于弘。自己只也许：为什么Lisp并不须要要大量的弘？因为我们并不须要要扩张它们。为什么并不须要要扩张？

因为Lisp没有受限制立即：我们没有用正则母语多种形固定式化来宝石回不应，这就是为什么要用都只的元多种形固定式化来扩张母语。不须前所我谈过这种步骤很糟糕，因为弘控制系统并不认识它所加载的母语；实际上，Rust 里面的操作过程固定式弘也不过是 M4 预可执行筒，显然名称好听一点而已。你们显然是在母语里面集出了 M4。

当然，这比外部的 M4 要好，但不管怎样，它也是21世纪的步骤；操作过程固定式弘甚至没有可执行多种形固定式化词法书，因为用做编撰操作过程固定式弘的一个中用核心结构 syn::Item 的不一定是具体词法柏树（concrete syntax tree），或者叫“解析柏树”。相反，类HG是寄生虫母语的极为重要组出大多，因此，如果我们能用类HG来表达；也的多种形固定式化，就确实会信任母语多种形固定式化，而不是缺少于都只的系统。

理只想上述不一定，专门化Lisp不一定会有弘，或只有轻量级的词法重撰写法则（像 Scheme的 extend-syntax 或 Idris 的词法扩张），来必要性母语的相一致病态，并必要性它能不应对任务。

尽管如此，Idris还是通过替换出 Type 类HG（所有类HG的类HG）不应对了第一个二元病态：“倍数和泛HG”。于是，它也不应对了一系列其他的弊端，如正则表达式和类HG不仅仅的论述弊端、给定和 trait 系统弊端，等等，而这反过来可以让我们尽量用同一种母语编撰程序，甚至能可执行原教旨合而为一义泛化的实例。例如，你甚至可以用 List Type 回不应类HG的本表，和 List Nat 或 List String 没两样。这一切都要归功于当前所固定式的层次核心结构：直观来真的，Type是类HG Type 1，Type 1 是类HG Type 2，以此类推。由于 Data.List 的CE名 a 便是了类HG Type，因此它也可以是 Nat 或 String；在后者的上述不一定，a 确实会被推断为 Type 1。这种类HG的无限序列可以消除 Russell 悖论。

但是，Idris 并不是专门化直观的母语。侧面仅有 20 行的 printf 实例不须前所请肯定了很多适不应病态，如可论述数据库类HG、缺少模固定式给定、便是、类HG束缚等。此外，Idris 还大力支持 computational effects、elaborator reflection、coinductive data types等许许多多用做理论证明的适不应病态。有了这么多类HG适不应病态，人们不一定确实会去学术研究母语本身的系统，而不是去继续做有意义的事情。我或许无法相信，在现今的上述不一定，缺少类HG能在大规模系统设计里面找到用武之地，因为以外在Lisp的世界性里面，它显然是Lisp学术研究医护人员的人偶，也只有像我这样的有兴趣才确实会瞩目。只有缺少类HG还是实在太底层了。

Zig：更加直观，但实在太控制形式化

在 Zig里面，类HG是一等公民权。类HG可以被赋倍数给变异量，作为倍数传播给给定，还能由给定送回。

——Zig参考资料

最终来谈一谈 Zig Lisp。请肯定是 Zig 里面PHP时 printf 的发挥作用：

这里，我们运用做了一个叫继续做 comptime 的适不应病态。comptime 的给定倍数不一定它或许无法在PHP时确定。这不仅可以促使更加激进的优化，还打开了“元面向对象”的门内，最倍数得一提的就是它并未弘高至或类HG高至的子母语。侧面的实例并不须要要实在太多阐释，这段命题一定会并不好懂，不像 printf.idr 那样晦涩。

如果开头 42，Zig 就确实会报告PHP误解：

在开发 printf 的操作过程里面，我感受到的唯一更糟之处就是大量的误解，就像 C++ 模版一样。但是，我承认这个弊端可以通过更加相一致的类HG束缚不应对（多于有办法绕过）。

总体而言，Zig 的类HG子控制系统显然并不确实：所有类HG的类HG叫 type，运用做 comptime，可以在PHP时通过正常的变异量、反不应器、操作过程等推算类HG。我们甚至可以通过 @typeInfo、@typeName 和 @TypeOf 配有给定定时进行类HG光线！显然，我们不并不须要要再缺少调试时的倍数，但如果不并不须要要理论证明，那么清晰功能病态的缺少类HG确实想像中杀鸡牛刀了。

Zig什么都好，可它只是一个控制系统母语。其Twitter对 Zig 的描述为“CELisp”，但我或许无法允诺这一点。显然，你可以用 Zig 编撰任何软件包，但一定会这样继续做吗？根据我维护 Rust 和 C99 的高层实例来看，答案有否定的。第一个或许是安全及病态：如果并不须要要让一种控制系统母语安全及，就要让开发医护人员可执行转赠新近定期检查筒和所有权弊端（或近似于的弊端），而这些与销售业务命题确有（这并不更糟）；否则，如果你再考虑 C 固定式的手工寄存筒管理，开发医护人员就要萝卜费大量短时间调试程序，并且寄决心于-fsantinize=address 能显示有用的接收者。更加有甚者，如果你要在指称针上建立联系新近的多种形固定式化，就确实会替换出Andrewstr、AsRef、Borrow、Box 等等。弊端是我只只自已一个 UTF-8 URL而已；绝大大多上述不一定我并从不是哪一种。

第二个或许是母语的调试时：对于控制系统母语而言，为了消除病态能降低，其调试时要尽量小——不带绑定的 GC，并未绑定的意外事件反不应器，等等。但对于特定系统设计来真的，调试时是有必要性的，比如有时并不须要要异步调试时。所以，你不愿用某种方固定式来可执行自概念调试时的实例。

这里就确实会遇上一系列新近弊端：例如，母语里面有 async，但并未任何工具来多种形固定式化定时和异步给定，就不一定你或许无法将母语分出两大多：定时和异步。论据你有一个泛HG的高阶给定纳，就或许无法标明为 async，才能给与所有其他用户共享的回调。

为了不应对这个弊端，你不愿发挥作用某种多种形固定式的多态，而这仍在学术研究里面。低级母语并不须要要可执行的弊端更加少，这也是为什么绝大大多软件包都是用 Ja、C#、Python 和 Ja 编撰的。在 Golang 里面，术语上任何给定都是 async，本身就提高了相一致病态，而不并不须要要繁复的类HG适不应病态。相反，Rust 本身就不须前所很繁复，但仍并未任何新标准方固定式来编撰确实的泛HG异步实例。

Zig 依然可以在 Web 浏览筒、实例、加载控制系统多线程等大HG单项里面派上用场，因为没人决心这些软件包确实会无故崩溃。Zig 的底不仅仅向对象适不应病态可以促使方便的寄存筒加载和驱动程序加载，而它在元面向对象方面的适不应病态能促使更加容易解读的实例核心结构。而将 Zig 带到低级母语实例，只确实会增加精神负担，并并未实际的好处。

结束语

一个系统母语确实会不禁止定时进行PHP时定期检查，这较好。但这确实会促使了二元病态和不相一致，这是缺陷。而快照母语受这些影响相对来说较少，但它们缺乏PHP时定期检查。理只想的不应对方案一定会吸取两家之长。

我们一定会重新近理性Lisp。

参考资料文献

华尔街日报

华尔街日报1：

炫酷的类HG控制系统不一定都直观。Go 的类HG控制系统并不小，就不须前所能受限制 Google 核心的许多该软件包所须要了。

许多 bug 的或许都是不禁止可执行了必变异准则。在某个以外继续做了某种论据，而在另一个以外却受到破坏了这种论据，这就是不禁止可执行必变异准则。

类HG控制系统能消除一大多不禁止可执行必变异准则的暴发。因此，人们尝试扩张HG控制系统，来消除更加多的不禁止可执行必变异准则的上述情况。但这就促使了另一层紫色的多种形固定式化。一些必变异准则并或许无法较好地回不应出类HG，不强行回不应就并不害羞。而我们确实并不须要要的是用一个系统有系统学术研究正因如此人工定期检查。

Rust 的转赠新近定期检查筒就是一种必变异准则定期检查筒。它确实会相一致地定时进行自动一个系统有系统学术研究，并报告不禁止可执行必变异准则的上述情况。这是Lisp所设计上确实的进步，也是Rust 的合而为一要贡献。

这才是正确的方向。一个系统有系统学术研究还能不应对其他弊端，比如死悬侦测等。如果在同一条同方向上，P 在 Q 不须前所枷悬，那么在所有同方向上 P 都或许无法在 Q 不须前所加悬。或许无法有任何同方向造成了 P 被加悬两次。Rust 在摘录计数上有一个近似于的弊端，或许无法在调试时定期检查，其法则和悬几乎。

华尔街日报2：

类HG控制系统并不直观，更是在表征的时候。

但是，就算并未类HG定期检查筒，再考虑较佳的命名法则也很不错。

我决心鼓吹类HG控制系统的人绝不会闭门造车，一定会萝卜点短时间接触一下快照母语，才能推断新近更加实证的推论。

参考资料绑定：

#

《 新近开发医护人员003 》正固定式上市， 50余位系统设计科学家共同作曲，名曰原生和电子化的Valve们的一本系统设计精选图书馆。素材正因如此近期及步骤论核心结构，华为、阿里、字节跳动、新近浪网、快手、微软、亚马逊河、英特尔一些公司、庞巴迪、施耐德等30多家享有盛名一些公司名曰原生和电子化一手实战潜能！

☞被骂惨的 Windows 11 还是“真香”了：下月将大力支持 Android 系统设计，新产品总体前所代最高！

☞ 每天敲实例足足 1 天内？这就是开发医护人员的“真实”日常！

☞ cURL作者狂怼某500不强一些公司，开源UNIX有否其所“紫打工”？