Shakespearean Templates Synopsis Hamlet (HTML) Cassius (CSS) Lucius (CSS) Julius (Javascript) Types Type-safe URLs Syntax Hamlet Syntax Tags Interpolation Attributes C...

Documentation Rendering documentation locally Type-checking code examples Syntax for code examples Visible, checked code examples Visible, unchecked code examples Invisible, ch...

Types and Typeclasses Type Type variables Typeclasses入门 Types and Typeclasses Type 之前我们有说过 Haskell 是 Static Type，这表示在编译时期每个表达式的型别都已经确定下来，这提高了代码的安全性。若代码中有让布林值与数字相除的动作，就不会...

The Agda Team and License The Agda Team and License Agda 2 was originally written by Ulf Norell, partially based on code from Agda 1 by Catarina Coquand and Makoto Takeyama, and...

Access Clusters Using the Kubernetes API Before you begin Accessing the Kubernetes API Accessing for the first time with kubectl Directly accessing the REST API Using kubectl pro...

Access Clusters Using the Kubernetes API Before you begin Accessing the Kubernetes API Accessing for the first time with kubectl Directly accessing the REST API Using kubectl pro...

Documentation Rendering documentation locally Type-checking code examples Syntax for code examples Visible, checked code examples Visible, unchecked code examples Invisible, ch...

代码优化 抽象化控制结构 无穷数据结构 不足之处 惰性求值（或是延迟求值）是一种有趣的技术，而当我们投入函数式编程的怀抱后这种技术就有了得以实现的可能。前面介绍并发执行的时候已经提到过如下代码： String s1 = somewhatLongOperation1 (); String s2 = somewhatLongOperat...

Client Libraries Officially-supported Kubernetes client libraries Community-maintained client libraries Client Libraries This page contains an overview of the client libraries...