oldhu's

28 Jul 2022

遗留问题有一个遗漏了的函数签名，是 T[A -> B]。(在函数式编程里，函数是一等公民，函数本身也是一个值，所以也可以放进容器里) 有时候，一个方法也会被包装在容器中，还是以 Option<T> 为例：假设一个业务，...

27 Jul 2022

Functor与Monad到底在做什么？ Functor与Monad，是Category Theory中的概念。但是在实际编程中，这两个东西到底是什么？通过之前的内容，可以给出两个在编程中非常不严谨的Functor与Monad定义：有m...

25 Jul 2022

JavaScript中的flatMap方法(本质上)是什么？ // [ [ 1, 1 ], [ 2, 2 ], [ 3, 3 ] ] const val1 = [1, 2, 3].map(i => [i, i]); // [ 1, 1...

24 Jul 2022

JavaScript中的map方法(本质上)是什么？ const array1 = [1, 2, 3] const array2 = array1.map(i => i + 1) const array3 = array1.map(i...

24 Jul 2022

函数签名 f :: A -> B 表示一个函数f，输入类型A，返回类型B f :: A -> B -> C 可以表示两个等价的含义：一个函数f，输入类型A 和B，返回C 一个函数f，输入A，返回一个函数g :: B -&...

20 Jul 2022

范畴论(Category Theory)是数学的一个分支。研究的不是对象(数值)，而是对象与对象之间的关系。范畴论的产生可能与人脑本身的结构有关。人脑在解决复杂问题的时候，要将大的问题分解成多个小的问题，分别解决小的问题，再组合起来。这...

24 Feb 2022

A test from vercel

23 May 2017

Install Docker with Homebrew brew install docker brew install docker-machine Create Default Machine with VMware Fusion D...

03 May 2017

document.getElementsByTagName('head')[0].appendChild(document.createElement('script')).setAttribute('...

28 Mar 2017

Instead of doing pip install boto3, you should do: pip install botocore pip install boto3 Otherwise you won’t have...