Posts

All the articles I've posted.

• js define函数

  Posted on:June 12, 2020 |  at 02:31 PM

  我最近维护的代码看到很多define的函数,这是什么呢? ## 相关链接 - https://stackoverflow.com/questions/16950560/what-is-define

• curry

  Posted on:June 12, 2020 |  at 11:36 AM

  `haskell` 有个高阶函数`curry` 我们可以通过`:t identify`来确定标识符的类型 我们使用`haskell`的`cli`看看 ``` Prelude> :t curry

• 可扩展性

  Posted on:June 11, 2020 |  at 10:04 AM

  什么是可扩展性? 我们先看有类型的情况 ``` func(int x, int y){ return x+y } ``` 这个时候输入的是两个整数返回的是一个整数 x->y->z 可扩

• 依赖和冲突

  Posted on:June 1, 2020 |  at 02:21 PM

  ## 纸带 ## state(状态) 我看到有关状态的书籍是在可计算理论相关的书籍,或者类型系统相关的书籍. ## 展开 f(f(A,B),f(D,E)) f(A,B,D,E); 循环依赖

• functor

  Posted on:June 1, 2020 |  at 08:50 AM

  什么是范畴(category)? 范畴就是两个对象+一个映射关系组成的东西 什么是函子(functor)? 函子就是两个范畴加上这两个范畴的映射关系而组成 也就是说函子就是范畴+两个范畴

• tired

  Posted on:May 27, 2020 |  at 04:26 PM

  我是理解能力有问题吗? 我真的不懂那些需求文档写的是什么,文档写的是什么. 文档应该是傻逼都能通过文档get到的才叫文档, 难道我比傻逼还傻?

• 范畴和米田引理

  Posted on:May 18, 2020 |  at 09:16 AM

  https://segmentfault.com/a/1190000018331788 对于计算机来说,没有类型,没有函数,也没有oom,什么都没有 那么我们的程序是怎么来的呢? 映射和等价

• raft

  Posted on:May 11, 2020 |  at 01:28 PM

  ### 背景 了解raft ## 组成 raft由三个模块组成: - Leader election: a new leader must be chosen when an existin

• php opcode to handler

  Posted on:May 8, 2020 |  at 02:01 PM

  php 的opcode 对应很多的handler 选哪个handler 是怎么选择的呢? 和tcp协议一个连接 是一个五元组一样 php的opcode 的handler 是一个三元组 分

• 一个sql的组成

  Posted on:May 6, 2020 |  at 05:54 PM

  ## 前言 写了很多mysql的sql,看了很多blog,兜兜转转,发现很多都是不太严谨的. 很多解释也是有点盲人摸象的感觉,不能说是错但是有些片面. ### BNF和indeductly de