榜单
IT文库
服务器优惠
-
Is your programming language unreasonable?
image: “/assets/img/safety_first.jpg” What is a “reasonable” programming language, anyway? Example 1 Example 2 Example 3 Example 4 Example 5 Example 6 Can your programming ... -
What is Agda?
What is Agda? Dependent types Typing for programmers Dependent types Dependent types and logic What is Agda? Agda is a dependently typed programming language. It is an ex... -
Part 11: Currying and partially applied functions
The Neophyte's Guide to Scala Part 11: Currying and Partially Applied Functions Partially applied functions From methods to function objects Producing those EmailFilters Spicing... -
What is Agda?
What is Agda? Dependent types Typing for programmers Dependent types Dependent types and logic What is Agda? Agda is a dependently typed programming language. It is an ex... -
What is Agda?
What is Agda? Dependent types Typing for programmers Dependent types Dependent types and logic What is Agda? Agda is a dependently typed programming language. It is an ex... -
2. FAQ: ECMAScript 6
2. FAQ: ECMAScript 6 2.1 How can I use ES6 today? 2.2 Isn’t ECMAScript 6 now called ECMAScript 2015? 2.3 How do I migrate my ECMAScript 5 code to ECMAScript 6? 2.4 Does it still... -
Forms
Forms Synopsis Kinds of Forms Types Converting Create AForms Form with default values Optional fields Optional fields Default optional fields Validation More sophisticat... -
Libraries and tools
Tools etcdctl - A command line client for etcd etcd-backup - A powerful command line utility for dumping/restoring etcd - Supports v2 etcd-dump - Command line utility for du... -
Prior Art
Prior Art Flux Elm Immutable Baobab RxJS Prior Art Redux has a mixed heritage. It is similar to some patterns and technologies, but is also different from them in importan... -
Forms
Forms Synopsis Kinds of Forms Types Converting Create AForm s Optional fields Validation More sophisticated fields Running forms i18n Monadic Forms A non-standard form ...