#GNU GIMP 好像就有这个功能(XPM) 的说

https://t.me/one_real_world/1809

https://javl.github.io/image2cpp/

看上去有点意思。

#计算机

我一定是闲的无聊了....

默写就不用了，使用了 JQuery 的一些函数基本会用
... 算了还是写一点（

#web #html 之前的盒模型参考这里; 这次花了多久呢... 足足有 20 分钟！太长了呢...

#web #html 使用 JQuery，CDN 是 CDNJS (Cloudflare)

https://duangsuse.github.io/Essay-HTMLs/

1+ 发布

#Haskell 1+ 重写

其实不是 Point free 的，不过那也只是风格问题而已

#Haskell 又修改了一下，很无聊啊... 明明我还有事情的...

更加好看的版本，不过也不是完全 Point-free 风格，毕竟 cyclicIndex 函数的 (!!) 要连着收两个 xs 没办法简单的拿到，而且那样也过了，反而背弃了函数式编程的原则... 这（这里指王垠喷过的 Haskell 对纯函数无副作用和引用透明性『属性』的吐槽，也不是没有道理但没有惰性求值还是 Haskell 吗；上面没有 Monad 的 Type Instance）和 Monad 自不自虐不是一回事了，另外我其实也不完全理解范畴论，只是准备去写 Haskell 而已，这周本来想写篇 Literate Haskell 的说... 可是好像事情不少，算了 #Haskell

范畴论和 Monad 真的好难理解的，我又不想从了阮一峰老师那种简单粗暴的高层抽象，
学范畴论本来就是要彻底理解理论，为什么我要为了实用时能『简单理解』而去把范畴看成容器呢？虽然使用起来也没有大问题

本来我主要还是部分理论方向的... 虽然应用编程系统编程编译器...什么的肯定也要包括喽；但是理论是绝对不能少的
啊... 这周本来打算多弄点代码的，顺便尽可能多写点应用吧，最近总是感觉老讲理论会被人喷是装 B、没有实践能力、 废物人间之屑

果然还是有问题呢... 🐱 尽可能努力吧！

说起来，这个 TCO 函数我现在居然能直接通过原理自己想出来了（虽然和上面的不一样）

//export default tailrec;

function tailrec(rec_fun) {
  let stack = [], isTailCalling = false;
  let lastresult;  

  let tailcalls = (args) => {
    while (stack.length !=0)  
      { lastresult = rec_fun(...stack.shift()); }
    return lastresult;  
  }   
  let cont = (...args) => {
    stack.push(args);
    if (isTailCalling) return;
    else { isTailCalling = true; }

    let result = tailcalls(args);

    isTailCalling = false; return result;
  };
  return cont;
} 

module.exports = {tailrec};

Node 对 ES6 的支持折腾了半天.... Node 的 ES6 Module 支持，真的很辣鸡
看起来，大部分 JavaScript 前端甚至『全栈工程师』的平均水平，还真是不如纯 Java『后端』呢，因为 James 他们给 Java 9 加了很好的模块化系统，可 Node 作为『最流行』的玩意，这方面比起 Java 来就显得 Java 很『学术派』了，emmm...

debug 了半天.... 对 Expansion operator 使用不够熟悉；现在还有点鬼畜，不能好好 Handle optional arguments
但是我 REPL 的时候没有问题，辣鸡 Bable CLI；前端程序员的细节水平果然辣鸡，如果你写的程序无限运行，你甚至不可以用 SIGQUIT 和 SIGINT，它给我的感觉就是 Node 太可怕了... 居然退出不了...

啊，终于发现问题在... 我的测试程序写错了，我这个数学渣渣... 应该拿去给 Engima 的设计者好好批判一番... 😭

function factorial$() { var rec = (ac, n) => n===0?ac: rec(ac*n, n -1); return (y)=> rec(1, y); }
tailrec(factorial$())(100)

当然 sum2 函数就好写多了

sum2 = tailrec((x, y) => x===0?y: sum2(x-1, y+1));

我忘记了，任何数乘 0 还得 0... #math
说起来这还是我最不搞笑的低级错误；最搞笑的莫过于把 『除数不能为 0』弄成『被除数不能为 0，除数可以，如果除数是那结果是 Infinity... 等等』

ghci> 0/0
NaN
ghci> 1/0
Infinity
ghci> 0/1
0.0

Prelude> 1 `div` 0
*** Exception: divide by zero
Prelude> 0 `div` 1
0

显然分母不能为 0...

哦对了 #fix 一个之前关于 #PLT 的隐式定义：在 Product type 里；如果两个乘类型都是 Zero sized type，那结果也是 Zero sized type
我之前说过 ZST 好像就是 Product /sum type 的 1 来着，1*1 可是还得 1.... 啊？好像也没错...（说了 1 是 ZST... 所以说数学辣鸡 duangsuse...）

替换了原来的短路式伪分支逻辑

if (!active && (active = true))

因为我觉得它不够明确
并且也没有使用书上的两个 if 风格，而是使用了 return 在更大区间上操作控制流
至少；现在的我比以前又强了一些，需要继续努力！

（别人之前的是）

function tco(fun) {
  var value = null, active = false, accumlated = [];
  return function accumlator() {
    accumlated.push(arguments);
    if (!active && (active = true)) {
      while (accumlated.length != 0) value = fun.apply(this, accumlated.shift());
      active = false; return value;
    }}}

上面的代码会在过会的一些（当然会往 gh 上发的）文字上出现

#Haskell 一个关于 Haskell Rank-N-Polymorphism 的小贴士

虽然不是很明确，Haskell 是一门崇尚彻底抽丝剥茧的语言，它应该拒绝我这种一知半解的...

说起来，最近又学到了点 Agda，也是幸运，因为我有在学 type theory 的说，所以 Agda 写的是什么我能猜出来，加上之前我已经猜过了（只不过那时我还太菜；类型系统对我来说就是个黑盒，我只知道一点点微不足道的知识甚至不足以使我看懂 #Agda...）

这里也不会教大家啥是 Monad, 啥是 Functor, 啥是范畴（含宏半群）啥是 flatMap 操作；只需要看懂 do notation

上面就是这里喽

main = do
  print $ natToInt (add one three)    
  putLine
  foldl (>>) (putLine) os
  putLine
  print $ natToInt (add three five)
  putLine
  printNat $ mul three five 
  printNat $ mul five three
  printNat $ mul Zero five 
    where printNat = (print . natToInt)
          os = print <$> (natToInt <$> [one, two, three, five])
          putLine = putStrLn []

好辣鸡... 其实我可以用 Destruct 的，那时候我还 Niave 🐸 些不知道

(Succ four) = five

—
比如这里有一个小 IO 程序

{-# LANGUAGE ExplicitForAll #-}

module ExplicitForalls where

main :: IO () 
main = do  
  printLn "1 + 1\n  = "
  printLn 2
  where 
    printLn :: forall a. (Show a) => a -> IO ()
    printLn = putStrLn . show

这里是没有问题的；可是如果用 TypeClass、TypeInstance 的话会怎么样呢？

（然后就突然发现自己讲的很没有意义）

🐕
自作聪明以为把下面的 a 换成 (forall a. a) 就可以解决类型推导失败的问题呢，可是

Illegal polymorphic type: forall a1. a1

GHC doesn't yet support impredicative polymorphism

这已经不是 rank n polymorphism 了，rank n 是（当时我打印的版本好像比较老旧，作者使用的表达方式我看了好久也只有一点感觉....）

rank 0:
单态 t
1:
变态 forall a b. a -> b (Rank 1)
2:
forall c. (forall a b. a -> b) -> c

看 Rank 几直接数 forall 有几个就好了

总之，这很明显嘛。Haskell 的 RankNTypes 默认是 Rank2

∀c → (∀a b. a → b) → c

这里假设给柯里化过的第二个参数起名 f, 那 f 的类型就是可以确定很多次的，只要是 forall a b. a -> b 就可以了
∀ 是 Universal qunatifier，相关知识是高二的推理和证明，这里 forall a. a -> String 表示对于任意类型 a 都有某个名字的 a -> String 这个操作存在，比如 a 是 Int; Int -> String, a 是 IO Int; IO Int -> String （这里不是 Constraint，何况 IO a 本身也是一个类型，Haskell 的 => instance 查找只是隐式了一点而已）
→ 就是一个 Function 类型架构器；放到 Kotlin 就是 Function<in Q, out R> (kotlin.Function<_,_> 当然是做了声明处型变的，我这里写出来只是强调）
a b c 都是 Hindley-milner 的 Type variable

而如果不开 ExplicitForAll，就默认是

∀a b c. a → b → c

那 f 就只能是第一次推导出的类型喽，比如 String -> Int; String -> IO ()



{-# LANGUAGE UnicodeSyntax, RankNTypes #-}
play :: forall c. (forall a. Show a => a → c) → [c]
play f = [f 1, f "Int"]

ok = play show

然后

ok 是 ["1","\"Int\""]
总之，就是要记住类型是命题... 然后不要老想着去抄别人的，对于理论们，真正的理解不是抄能抄过来的。
— 这个是复制的

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 没有 RankNTypes 就只好模拟喽

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

#book 今天买到了

#Python #Machl 《零起点 Python 机器学习快速入门》 河海群，电子工业出版社
#hardware 《手把手教你学 FPGA 设计》 潘文名 et al. 北京航空航天大学出版社

加起来一百多... 有点小贵

FPGA 那本的水平，虽然我只是撇了一眼，但是我觉得应该不低的，语言我没看，怎么有点汇编的感觉，可是 FPGA 作为逻辑门矩阵模型当然是和存储程序型冯洛伊曼计算机是不一样的
稍微又找了一会，感觉是 VHDL，里面还设计了信号处理的逻辑组合程序，dalao

Python 那本，至于一提到 Python 大家的评价是什么样的... 算了，当然这里的大家如果是说学程序设计语言理论的人，那恐怕评论不容乐观（当然一些刚刚入门 Python 的小白就不要急着说公道话的，上面说的某些大佬现在在写的程序，在讨论的理论你们可能一辈子都懒得去涉足，程序设计语言理论的当然也不是吃白饭的）

至于用 Python 的人... 当然，公平地说 Python 是一门很流行的语言，包括 Pandas, Scipy.learn, Tensorflow, matplotlib.pypolt, numpy, PIL 在内有很多优秀的数据处理和分析库和各种封装
在日常使用方面上，现在很多教学都会直接上 Python 而不是 C 或者其他『难以理解』的语言，比如（新）学校的 STEM 课程，比如各种课外培训班（除了上 Scratch 这种专门教学向的『图形化编程』）
在各种应用程序集成方面上，Python 可以和众多知名生产力、CAD、特效、表格数据处理、3D 软件集成
Python 在应用编程（比如事件驱动、基于 HTTP 和各种 C/S 架构框架应用、比如各种 Spider 或者说 crawler） 上也是硕果累累，除了其官方实现 CPython 优化有点辣鸡鸡肋（我想 Python 虚拟机线程同步起来怕不是 GIL 锁{就是强调 Global}的也有点难受吧，和别的竞争者比）；所以一些人去 migrate PyPy, YaPyPy, Cython
Python 几乎什么都能干、甚至是高性能计算、计算机图形学、机器学习、计算机视觉，这方面它比 JavaScript ES5 还强（恐怕也是因为 JavaScript 名声不好，即使是 ES6 给语言又支持了不少新特性、改进、历史遗留问题变通和语法糖，即使有 Typescript，没太多人去做好一点的 binding... emmm...）

但是，作为一门编程语言来讲，哪怕是 Python3 对程序设计语言爱好者们来说都有令人感觉不够满意的地方，尽管，是的，它的确 works，但是它对某些问题的处理不足够“优雅”

上面说到至于用 Python 的人... 排除那一部分 core dev 和大型底层库的开发者，Python 最不好的一点就是积弱，就是生态太好了，所以有不少永远长不大但是却在做正经的软件工程的工程师、以及一大堆还在成长过程中 Dunning Kruger 那一段会莫名奇妙觉得自己还很不完全的的小发现小创作很 NB 的人

这本书的作者... 我觉得我没啥好评价的，但他的确教了这些算法拿什么数据怎么使用，另一方面，其实他主要是在用 Python 做诸如字体设计、数据分析方面的工作，还弄了个 zwPython 解释器和一些著名 Python 库打包
所以和我的主要方向不是一致的... 俗话说得好，隔行如隔山（也就是说我不想以一个 PL 爱好者的视角去评价什么，显然这没有任何意义，而且对作者也没有帮助，而且我也在成长），但我依然对他的真实水平保持不清楚的态度。

#PL #life https://t.me/dsuses/2959

刚刚和某位大佬聊了一下一个比较特殊 case 的 #NLP 自然语言处理问题：识别切分沾粘的姓名们

😫 真的还是太菜了啊

还是继续马上讲一些理论吧

雷玉嗣 杨翠兴 卢弟积 钟婷婷
房堰佳 高奉善 吴源述 余超伟
李丹丹 李恒佰 朱芳芹 邓恒瑞
许星星 鄧超超 陈婷淑 邓红艳
罗章元 苏梅金
（这些人名经随机打乱其『名』部分，姓依然是第一位）

如果这些名字全都是沾粘的，或许可以用『姓』来作切分符
可是这样又不准确
看来真的是不使用机器学习很难解决的问题呢。

duangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], [15.06.19 20:50]
如果有『解析到某个位置可能出现分支情况』这种问题还不算是问题
最大的问题是『语法本身有冲突』

比如说 Kotlin 里的 >= 在分词时就不能处理，当然这还比较特殊
Haskell 里语义缩进文法也是有冲突分不清谁是谁的问题


这种问题看起来和 if () 悬垂问题有点像，都是二义性

if (a)
  if (b)
  if (c)

请问如果不看缩进，那 if (c) 语句是 if (a) 块里的呢.... 还是 if (b) 里的？
当然 Java 里可以分，因为 Java 里可以带上 {} 决定语句块结束；而不带的就是就近原则（上面这种 if(c) 属于 if(b)）

但我觉得... 你上面说的不是无法消除的二义性

#web #dev 学到老活到老