Functional Programming Omit needless names Separate mutation from calculation. Pure Functions Separate Functions from Rules Arity Currying Function to curry Curry example Ea...

Programming Languages imperative programming languages Pros Cons functional programming languages Reference Programming Languages imperative programming languages dicta...

Asynchronous Programming Basic Task operations Communicating with Channels More on Channels More task operations Tasks and events Asynchronous Programming When a program n...

Literate Programming Literate TeX Literate reStructuredText Literate Markdown and Typst Literate Org Literate Programming Agda supports a limited form of literate programmin...

Programming in CMake Control flow «cmake:generator-expressions» Macros and Functions Arguments Programming in CMake Control flow CMake has an «command:if » statement, tho...

Asynchronous Programming Basic Task operations Communicating with Channels More on Channels More task operations Tasks and events Asynchronous Programming When a program n...

Dataflow Programming Model Levels of Abstraction Programs and Dataflows Parallel Dataflows Windows Time Stateful Operations Checkpoints for Fault Tolerance Batch on Streamin...

Angel编程手册 Spark on Angel编程手册

Dynamic Programming - 动态规划 单序列(DP_Sequence) 双序列(DP_Two_Sequence) Reference Dynamic Programming - 动态规划 动态规划是一种「分治」的思想，通俗一点来说就是「大事化小，小事化无」的艺术。在将大问题化解为小问题的「分治」过程中，保存对这些小问题已经处理好...

Literate Programming Literate TeX Literate reStructuredText Literate Markdown Literate Org Literate Programming Agda supports a limited form of literate programming, i.e. co...