后来我又稍微看了一下他的博客，我真的觉得... #blog #recommended #statement #dev #FP

好像，不管你是不是了解计算机科学，都能『看懂』他的博文（
区别在于你是只看懂了故事，甚至会自以为是的找一些非常 trivial 的仅仅表述上的问题（那是曾经的我，我根本看不到他身后到底有怎样的积淀，真的是非常幼稚（而且那时候完全不了解 Rust 的我居然想讨论 Rust，真还不照镜子看看自己啥 B 样了（打住，阿 Q 告警。
还是真正看懂了他要说的东西
对于故事，你是否联想到了相应的东西？
对于他讲的技术，你是否真的 get 到了所有知识点？
还是自以为『都看懂了』但一问三不知？？？

可是，一年之隔，我再看他的博客的时候我发现我真的不止是在看带有一大堆技术名词、人名、时间的故事了...

我真的能看进去，原来我直接 skip 掉的一些知识点我都 get 了（其实只是识别出来有『它』但因为时间关系而没有深入探究），而不是自以为都看进去了（就像 MySQL 到 9012 年了能解析 CREATE TABLE 的 CHECK 子句存储引擎居然还不会执行实际的数据约束检查一样 hhhh 🌚），然后学到了什么呢？其实一大堆东西『使用』的时候才能发现，根本没有学到嘛。（最骚的是，很多理论上的东西只在你 nontrivial 的分析一些 nontrivial 的问题时才会用到）

（这是最骚的，因为你完全可以认为自己好像『完全看懂』了他的博客，但其实你『完全』没看懂，而且你『完全』可能『完全』不知道自己『完全没看懂』...） 🤪

他这个博客可以说是真正意义上是值得为之付费的，因为的确是讲了很多东西，而且是中文的，而且相当简洁
我觉得这样的博客『付费』可以说是很嘲讽某些『知识付费』IT 课堂了。
因为这个博客，它需要你自己也花很多时间和精力去理解它，而不是非常功利的去按别人的安排学习

而很多东西（比如这个）虽然也可以说是为了实际工程写的，但我估计，没有啥『工程师』看得懂吧（笑）🤔
（实际上是根本懒得看，或者只是理解了一个字面上的『编码，这里就不吐槽易混问题了』『规则』而看不到规则后面的那些本质）

好吧，我得承认我后来再看这个广播的时候觉得自己有点幼稚。

呃... 其实我知道我 #CS （或者也可以叫计算机工程，不过数学性比较强的，这里请正确理解这个『数学性』一般我还是叫计算机科学）水平其实不怎么样（真的不怎么样）

看了以后，我的确是想说这个博客内容很不错，不过我发现我推荐着推荐着就有点感觉自己很 Low 了，大概是因为例子不充足吧。显得自己好像很自以为是一样。

而且我又没有他那样的资历，话说得如此直白会显得很不自在，但点名推荐是真的（当然，我频道的内容都懒得看那就算喽，开玩笑

所以这里特别再弱弱说一句～请多指教
（当然，不得不说目前 Telegram 中文圈里我接触到的理论系都太少了，所以基本没谁会在这方面『指教』我... 有点可惜，而我平时又不到 CodeWars、知乎和一些 CS 的 QQ 群、圈子里去

现在我又不得不说，他的博客，看一年，还真的看不完啊... 😶 真的是时间可以改变一切

的确，一篇博文里引用的书、论文都够我看几个星期了... 而且还得一遍一遍的看，看几遍才能彻底 get 到大部分的知识点...

... 视角改变一切。

还总是看淫王的博客，技术水平高的人可不止他一个，他博客看了一年还看不完？

再看看这个，和我之前所认为的 Haskell，不是 #Haskell 变好看了，是我对问题的思考方式真的贴近了 Haskell...
曾经我所以为的不符合直觉，只不过是因为我的『直觉』和 Haskell 的创造者的『直觉』不一样罢了...

我根本不懂递归，不知道 GADT 是什么，没用过模式匹配，我看不见栈、看不见实际上的运行环境，我『看不到』一张数据结构图而只能看到一堆符号，也没实际去分析什么并非过程式的程序，拿倒垃圾的简单算法的思维方式去考虑使用递归定义的程序，当然觉得它莫名其妙！

以前我用 Java 程序员的思维方式看那些其实我根本没看懂的 Haskell 代码、APL 代码，我觉得他们很难看，觉得这种『自以为是』的简洁是『最智障』的方式

其实不是 Haskell 的简洁不对，只不过是因为我没有以他们的方式去思考问题，听不见音乐的人认为那些跳舞的人都疯了！😐

现在我用 Haskell 程序员的思维方式写 Haskell 代码，我发现 Haskell 的表述方式就成为了我的直觉...
其实是因为我在以 Haskell 的方式而不是 Java 的方式思考问题啊... 🤔

直觉真的不是一个『一成不变』的东西啊，值得好好培养 emmmm（

如果觉得这个例子不好的话，刚才看这篇博文（教你们拿 Racket，一个 Scheme 实现写基于 Lambda Calculus 的解释器的）的时候突然发现这个例子非常不错（实际上，很多 #Haskell 入门教程都会拿这个做例子）

(define tree-sum
  (lambda (exp)
    (match exp                         ; 对输入exp进行模式匹配
      [(? number? x) x]                ; exp是一个数x吗？如果是，那么返回这个数x
      [`(,e1 ,e2)                      ; exp是一个含有两棵子树的中间节点吗？
       (let ([v1 (tree-sum e1)]        ; 递归调用tree-sum自己，对左子树e1求值
             [v2 (tree-sum e2)])       ; 递归调用tree-sum自己，对右子树e2求值
         (+ v1 v2))])))                ; 返回左右子树结果v1和v2的和

(tree-sum '(1 2))
;; => 3
(tree-sum '(1 (2 3)))
;; => 6
(tree-sum '((1 2) 3))
;; => 6

如果用 Haskell 写几乎一样的程序呢？

首先我们的 Haskell 的确是静态强类型（statically strong typed, type inference supported）的语言，所以类似 Scheme 那样直接拿链表抽象一切就免了（

data BinaryTree a = Leaf a | PrimNode a a | CompNode (BinaryTree a) (BinaryTree a)
t1 = PrimNode 1 2
t2 = CompNode (Leaf 1) (PrimNode 2 3)
t3 = CompNode (PrimNode 1 2) (Leaf 3)
t4 = CompNode (PrimNode 1 2) (PrimNode 3 4)

treeSum :: BinaryTree Int -> Int
treeSum (Leaf n) = n
treeSum (PrimNode a b) = a + b
treeSum (CompNode l r) = treeSum l + treeSum r

main 
  = (foldl f v) $ (println . treeSum) <$> [t1, t2, t3, t4]
    where      
      println x = print x               
      f = (>>)
      v = putStr ""

（为了方便起见，大家可以看到 Haskell 的版本里那个 data 其实不是『等价』Racket 里我们所预期的表结构的）

当然，如果我们写『完全等价』的呢？

t1 = [1, 2]
t2 = [1, [2, 3]]
t3 = [[1, 2], 3]
t4 = [[1, 2], [3, 4]]

treeSum' :: [Int] -> Int
然后就写不出等价的来...

<del>
treeSum' :: [Int] -> Int
treeSum' xs
| length xs == 1 = head xs
| (x : xs) = x + treeSum' xs
| otherwise = treeSum' (head xs) + treeSum' (head (tail xs))

因为这个逻辑实在有点复杂，貌似简单一点的 Haskell Cons 模式匹配弄不了，只好使用 Guard Pattern（
</del>

『好的程序应该反映出它所处理的数据结构』
这话不是我说的，看完上面的小学生水平 Haskell/Racket 代码后，大家应该理解了这句话吧。

如果有喜欢 #Scheme 的同学，必须记得看完 The Little Schemer（轮子哥管它叫『儿童书』）先再出去『吓人』（悄悄告诉你们... 我就是还没看完所以连 #FP 的 QQ 群都不敢进... hhhh 🤔

写累死了，而且思路不清晰，算了，然后书单又没有发...（跑，不过话说了

开始写实际应用喽

#PL 题外话，这篇博文还会讲到 Lexical Scoping 和 Dynamic Scoping 的区别，其实 PL 爱好者们偶尔也会讨论这些问题，不过有时候入门的话纠缠不清... 这里讲得可以说是很友好了

懒得整理了，就用这个（接近 5 个月之隔

https://start.spring.io/

如果弄好了，那就临时以一个早已死去的并且不会进化的早期 #GeekApk 的名义（反正我也算是早期成员吧，呵呵）自己部署然后试用，寒假可能会稍微包装一点拿来暂时用一下（H2O2 能用之前）

我以为我现在的工程能力，包括 Trumeet 那个 MiPushTester Vertx Server 我都完全能理解，并且流程我都会走，Future（就是 Promise） 、HTTP、JSON 之类的都不是事（而且部分技巧我现在还不需要会，只是 trivial 的描述一下模型和要做什么就可以了）... 和 Dockerfile 一样，即学即用，比 Haskell 的自动 HM 类型推导算法好学『使用』多了


说的也是，JavaEE 一直以来的问题就是难以开启一个新项目（不是我说的，这可是 JBoss 项目的某个 dalao 的看法）
Spring Boot 可以说是完全解决了这个问题，非常的简单，实现上面那个 pdf 里的服务需要什么模式一条消息文本长度限制内都可以解说明白

生成的项目模板

正在准备

先准备测试用数据库（指 Postgres

sudo /usr/bin/postgresql-setup --initdb
sudo systemctl start postgresql.service
sudo su postgres
psql

CREATE USER geekapk WITH PASSWORD '1234567';
CREATE DATABASE geekapk;
GRANT ALL PRIVILEGES ON DATABASE geekapk TO geekapk;

(((((

数据库 pg 还要调整一些客户端连接鉴权的策略...

写了一点 Model 层的东西，然后发现懒得写视图（因为太花时间

发现一个规律：每次我要写实际应用的时候都会熬夜一个通宵... #life 🤔

写出如此模式化的代码，羞愧，不过我觉得能抓到老鼠就是好猫，优化后来可以谈。

这个应用我对它的预期就是起个头，它基本就是参照上面的那个 SpecShort 实现的，只有些许修改，然后就是那种典型的 MVC（不过，没有 View 只有 Model 和 Controller）应用程序，真的是没什么技术含量相当模式化
今天是继续完善模型

预计今天内能上线，不过没有客户端（

对了，现在这个项目已经度过最开始编写基础代码的时期，可以在 GitHub duangsuse/GeekApk 访问了（虽然我是写了两天

目前代码基础已经有了，正在编程控制器来驱动测试和模型层 Repository 们的完善（模型层我希望是能做到 JPA 里的不要专门给 Controller 设计辅助函数，毕竟 JPA 这个名字就很『大』嘛）

欢迎大佬们前来指导实践。（尤其是曾经写过 SpringMVC 的，我现在发现我作为一个 #PL 爱好者居然连 #Java 里 enum 有 enum VS { int a; String b; Constructor(int i, String s) { a = i; b = s; } Constructor(1, "1") } 这种语法都不知道

真是岂有此理 😡