救赎是一条看不到尽头的长路。
Purely applicative languages are poorly applicable.
The challenge in computer science is not just to solve problems, but to find the right problems to solve.