邱奇计数 (1)

让我们来谈谈抽象。

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

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

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

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

注:阅读本系列短文你只需要简单接触过Python和初中代数水平即可。

寒假做题记录

猜猜我寒假经历了什么?

本来应该打线段树板子的晚上,我的Elementary OS正式“驾崩”,于是我装了很多天系统(以及摸鱼),度过了一个充实的寒假。

寒假的尾巴做了一些题目,就记一下寒假尾巴做过的这些题目吧。

我的答案仓库是Click Me!。根据题号你能找到我的答案,但是我的很多答案有很大的提高和优化空间,欢迎你与我探讨!

初尝Flutter

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

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

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

定期维护

警告

注意,本文已经超过时效,请参考最新的 NexT 主题文档。

开学了,该执笔书写了。在此之前,定期维护也是必要的。

从上次开始,我就养成了从Github搜索主题更新的好习惯。Next刚好在最近更新到了v6.0.5版本。

虽然官方明确表示6.0和5.1.x比起来并没有里程碑或者重大变化,但是我还是决定升级,新年新气象嘛

这篇文章记录了一些区别和定期维护时修改的一些配置,如果你也想更新/使用Next 6主题,可能可以找到一些你需要的信息。