Deploying your Webapp Keter Compiling Files to deploy SSL and static files Warp Nginx Configuration Server Process Nginx + FastCGI Desktop CGI on Apache FastCGI on light...

Run-time Irrelevance Syntax Rules References Run-time Irrelevance From version 2.6.1 Agda supports run-time irrelevance (or erasure) annotations. Values marked as erased are ...

其它 Go RPC 库介绍 Thrift 参考文档 其它 Go RPC 库介绍 当然，其它的一些 RPC框架也有提供了Go的绑定，知名的比如Thrift 。 Thrift 2007年开源，2008看5月进入Apache孵化器，2010年10月成为Apache的顶级项目。 Thrift是一种接口描述语言和二进制通讯协议，它被用来定义和创建跨...

柯里化和部分函数应用 部分应用的函数 从方法到函数对象 更有趣的函数 函数柯里化 函数化的依赖注入 总结 柯里化和部分函数应用 上一章重点在于代码重复：提升现有的函数功能、或者将函数进行组合。这一章，我们来看看另外两种函数重用的机制：函数的部分应用(Partial Application of Functions) 、 柯里化(Curr...

Routing and Handlers Route Syntax Pieces Types of Pieces Overlap checking Resource name Handler specification Dispatch Return Type Handler monad Html Arguments The Hand...

4.1 什么是类型？ 4.1 什么是类型？ 一切皆是映射 在计算机中，任何数值都是以一组比特（01）组成的，硬件无法区分内存地址、脚本、字符、整数、以及浮点数。这个时候，我们使用类型赋予一组比特以特定的意义。 类型（Type），本质上就是内存中的数值或变量对象的逻辑映射。 《周易》有云： 易有太极，是生两仪，两仪生四象，四象生八卦。(...

seriesOrder: 3 Review of the the techniques used The M type mapM map2M returnM Monadic functions bindM applyM Defining the others functions in terms of bind and return Re...

Authentication and Authorization Overview Authenticate Me Initial page load BrowserID login screen Homepage after logging in Email Authorization Conclusion Authenticatio...

Lexical Structure Tokens Keywords and special symbols Names Literals Holes Comments Pragmas Layout Literate Agda Lexical Structure Agda code is written in UTF-8 encoded...

Anonymous Functions Anonymous Functions Once you start writing, or even simply using, functions that accept other functions as arguments, you’re bound to discover that sometime...