https://www.gravatar.com/avatar/4d675e65920d5b1eca1f5b9079ea3bf5?s=240&d=mp

Ramen's Box

邱奇计数 (2)

忙过了这一茬,趁着下一茬还没来,我先填填坑~

上一篇文章里面,我们谈到了如何去表达一个自然数系统:0以及后继,然后写出了邱奇计数法中的0和后继表达方式。作为一种验证和转化手段,我们也描述了邱奇化和去邱奇化的有关内容,更好的去验证我们的结果。

然而,一个代数系统,光有数可远远不够,我们还需要有各种运算。

今天,让我们来谈谈运算的内容,除了加法、乘法、乘方以外,我还将给你展示使用代换模型来展开函数,从而去更好的理解整个运算过程。

准备好了吗?让我们开始吧!

开始使用GPG

隐私问题一直闹得沸沸扬扬,今天刚好在Github提交的时候想起来GPG公钥这个东西,所以就搞了半个小时,做了自己的首个GPG Key然后做了一些绑定。

你可以在左边那一栏看到我的keybase.io,如果只是想体验体验的话,在这里可以找到我的公钥,然后使用我的公钥加密你的信息,然后在下面留言给我😄

邱奇计数 (1)

让我们来谈谈抽象。

什么是抽象?几乎所有程序员都听说过。不就是把一些对应的实体抽象成一些数据结构啊,算法啊或者设计模式之类的,然后写成代码呗。

但是你真的懂抽象的威力吗?我们只有数据结构和算法等抽象吗?能不能不使用任何数据结构去表达一个二元组呢?

这一系列短文有3篇(可能),我将从Python的基础入手,带你简单入门Lambda表达式,然后走进邱奇计数的世界,见证函数式编程的高阶抽象能力。

准备好了吗?让我们开始吧。

初尝Flutter

我是大概这周的前几天知道Dart 2要推出而且Flutter进入Beta的。

说实话,Dart我有所耳闻,虽然我是一个Google的粉丝,但是话还是要说清楚,我真不认为Google在设计语言上有什么优势,甚至是并不擅长设计语言的(Go语言我浅尝辄止),而且Dart本身设计我认为也有问题(居然同时存在constfinal关键字),我也只是粗略的看了一下语法就停了。

然而,在今晚的旅程过后,我决定把Flutter和Dart加进学习日程表(虽然优先级不会太高),因为Flutter颠覆了我这个“零经验”移动开发者的观念。这篇文章,就让我零零散散的谈谈今晚的旅程。