#fix #haskell #fp #cs #wip #recommended #saved 这个问题，暂时就说到这里了

以后有机会我会跟冰封哥说... 看看他知不知道为什么
先做更有价值的事情

我也真是醉了，看了 #Monad Parser 是很迷啊

留影纪念，chainr1:rest 和 chainl1:rest 的区别只在 rhs 是 scan combine 自己还是 scan {+ 1} 这种

#tool 计算器最终版（

#Haskell #cs #pl #parser

duangsuse 的打算，从现在就开始做：

✅ Parser 写了不到一半，emitter 正在写，框架代码抄了正在研究是怎么工作的
1. Haskell 写 JSON 处理算法，还要把一个 Monad Parserc 框架的代码手动抄过来

1.5 抄！把某篇 Hindley-Milner 类型系统的推导算法教程里的 Haskell 代码抄下来！

2. 写 BinaryStreamIO

还要附带 Aapt 资源的 parser，因为找不到规范，直接抄 sdklite/aapt 的好了（炒鸡好看）
和 JVM / Dalvik 字节码处理框架，Yes

别人的巧克力重写了就是我做的巧克力（逃跑

3. 写 Java 8 的 TextCombinator 库，

还要附带 TrieTree、RangeMap、VersionizedMap、MultiMap 等算法
用来做 IDE 支持这样的工作

4. 写 Markdown 解析器

5. 练习 Qt 或者 Java Swing / AWT 的技术，反正就是 Desktop GUI 的技术...

6. 利用 TextCombinator 写一个 NaiveCat 的解释实现

NaiveCat 是简单版本的 Cat，后者比较详尽的定义已经在这里有几面了
NaiveCat 没有诸如 Coroutine、Lazy evaluation 这样的特性，算是半函数式半面向对象

配合新解析器框架刚刚好

然后我就是顺手用 readline 包完善了一下，然后发上了 GitHub... 求 star...（跑

看来第四条还真有点要命....
https://spec.commonmark.org/0.29/

有一个小细节： #pl #algorithm

提到 pretty，虽然我们可以把

Add
Rat 1
Rat 2

这样的树给安全地输出成 (1 + 2) 的形式，但是肯定还是有人嫌太长（括号根本不需要）

但是如果输出成 1 + 1 的形式呢，就会出现下面的问题

(2 + 1) * 2

本来是
Mul
Add
Rat 2
Rat 1
Rat 2

你这么一整，就成了
2 + 1 * 2 了
Add
Rat 2
Mul
Rat 1
Rat 2

语义不对。

有两种解决方案，一是对于每个二元子节点访问，dump 后再 parse 一遍，结果相同就返回无括号版本，否则返回有括号保险版
优点是肯定有效（而且不需要专门写解析器外的算法）
缺点... 我就不用说了，别说 Haskell 里那个 Text.ParserCombinator.ReadP Monad 解析组合子了，其他的非得再解析一遍，咸得🥚疼

还有一种方案可以处理这种问题（排除二元 / 一元在一起的坑爹情况，不过其实也都是一个道理，判断出要加括号的 case 加括号，不加的不用加）

要输出 (2 + 1) * 2 这个树，其实就是访问 Mul 节点的时候，判断一下子节点是否打破了运算符优先级

如果是正常情况，+ 的优先级没有 * 高，所以往往 * 是 + 的子节点，而不是上面这种情况

推广来说，就是发现自己左节点优先级没有自己高，就可以不带括号输出，相等则要看结合性情况（左结合右结合都要判左右手，判自己的就是左结合左手应该是自己、右结合右边应该是自己，否则就打破了结合性）

输出 (Mul (Add x y) y') 这种的，就给子节点加上括号再输出

"(" ++ dump x' ++ ") * " ++ dump y'

就不会有格式化错误的问题了


最后一段属于推销可以不看（

当然有没有第三种方法呢？档燃有啊！
就是使用 RangeMap 和 ReverseMap，在解析的时候就加上空格信息（当然也包括括号信息）喽！
然后保存这些信息，到时候如果要输出可以复用

https://github.com/996icu/996.ICU/blob/647be115cf640f7e0879321361abfbee4ac1f4b7/archived/licenses%5BWIP%5D/tools/gen-license-rs/src/main.rs
https://github.com/996icu/996.ICU/blob/647be115cf640f7e0879321361abfbee4ac1f4b7/archived/licenses%5BWIP%5D/tools/test-gen-license/src/test_go.rs

说起来，我差点以为 996.icu 是 Rust 写的呢... Rust 和 Go 也该学学了，虽然我连 C++ 都不太会...

说起来， #Rust 还有点可怜，996.icu 的支持者用 Rsut 创建了 Go Python Rust 三语的 tests，可是 Rust 版本的测试却没有

所以 RankNTypes 为啥要用 forall 呢？ #haskell #cs #pl #plt

我们的类型系统，主要还是通过类型检查器『Type Checker』影响到我们编程的

{-# LANGUAGE RankNTypes #-}
foo :: (forall a. a -> a) -> (Char, Bool)

foo f = (f 'c', f True)

∀forall，就是说对于所有可能的类型选项，都有 ... 成立

比如 (id :: forall a. a -> a)
在 a 类型是 Int 的时候成立，
是 String 的时候也成立

class Show a where
  showsPrec :: Int -> a -> ShowS
  show :: a -> String
  showList :: [a] -> ShowS
  {-# MINIMAL showsPrec | show #-}

show :: forall a. Show a => a -> String

再比如 show, a 是 Int 时有 show :: Int -> String、是 Bool 时也有 show :: Bool -> String
只要前提条件 『a 类型有一个 Show 的实例 instance』成立就有 show :: a -> String

这段代码里，foo 的类型，如果不使用 RankNTypes，这么表示（虽然不能用，因为后面的程序逻辑问题）

foo :: forall a. (a -> a) -> (Char, Bool)

看到没有？这个 forall 全称限定是 foo :: 里面的
如果我们要这么写：

foo f = (f 'c', f True)

上面的类型签名是说，这个 foo 是一个接收函数 (a -> a) 返回元组 (Char, Bool) 的函数，这里 a 只有一个（要么然是 Char 要么然是 Bool 要么然是...）
所以，Type checker 就报错了，因为它按照基本法🐸以为 f :: a -> a 在第一次 beta-reduction (f True) 的时候类型已经确定是 Bool 了，不知也可以是 Char

这里 RankN 的 N 是 1，不变态（皮一下，不是我说的

Prelude> foo = (\f -> (f True, f 'a'))

<interactive>:2:25: error:
• Couldn't match expected type ‘Bool’ with actual type ‘[Char]’
• In the first argument of ‘f’, namely ‘"abc"’

如果我们使用 Rank N Polymorphism 呢？

foo :: (forall a. a -> a) -> (Char, Bool)

这里 RankN 的 N 是 2

Prelude> foo = (\f -> (f True, f "abc")) :: (forall a. a -> a) -> (Bool, String)
Prelude> foo id
(True,"abc")

我们发现，现在这个 a 可以『同时』是 Char 和 Bool 了
因为我们说『foo 的输入是 a -> a，而这个 a 是这个函数它局部的限制，不是 foo 里的 a 全都得是某个类型』

参考：范畴论完全装逼手册

没错，写 Haskell、Agda、Scala 就单单是为了装逼... 🤪

复制过来方便对比，从侧面就能看到其实我也不是很擅长完全理解再自己编出示例程序...

rank2 :: forall b c . b -> c -> (forall a. a -> a) -> (b, c)
rank2 b c f = (f b, f c)

rank2 True 'a' id
-- (True, 'a')

用 Scala 写，所以 JVM 还是很 FP 的？（....

def rank2[B, C](b: B, c: C)(fnk: Id ~> Id): (B, C) =
  (fnk(b), fnk(c))
rank2(true, 'a')(FunctionK.id[Id])

#haskell #learn
https://www.haskell.org/tutorial/goodies.html

https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/sum-types#product-types

#distributed #game #net CDN 同意，多 DC 可能反而不方便...

真的 不是很明白为什么国内的游戏都有几十上百个区 而且区与区之间数据不互通…
感觉这种设计极其落后而且反人类
9102 年了还不普及 CDN 和多数据中心设计…— Rachel Miracle. (@tangrui003) April 28, 2019

有一些分区是因为国内没有 Google Play 的缘故

emmmm

#coolapk 这牛批了老铁... 🌚 #Low

这谁顶得住

这酷安简直有毒啊