## 实现原理

在 typescript 中可以通过数组的 `length` 属性读取出值。通过构造数组，进而实现加减乘除。

```ts
type A = [1, 2, 3]['length']; // 3
```

![图片](https://wipi.oss-cn-shanghai.aliyuncs.com/2021-11-01/%E6%95%B0%E7%BB%84%E9%95%BF%E5%BA%A6-1.jpg)

## 生成数组

目标：通过泛型实现生成指定数组，效果为：`type 数组<3> = [1, 1, 1]`。

```ts
type 生成数组<填充数字 extends number, 数组长度, 已有数组 extends number[]> = 已有数组['length'] extends 数组长度 ? 已有数组 : 生成数组<填充数字, 数组长度, [填充数字, ...已有数组]>
type 数组<数组长度 extends number> = number extends 数组长度 ? 1[] : 生成数组<1, 数组长度, []>
```

![图片](https://wipi.oss-cn-shanghai.aliyuncs.com/2021-11-01/%E6%95%B0%E7%BB%84-B.jpg)

![图片](https://wipi.oss-cn-shanghai.aliyuncs.com/2021-11-01/%E6%95%B0%E7%BB%84-c.jpg)

## 实现加法

```ts
type 加法<a extends number, b extends number> = [...数组<a>, ...数组<b>]['length']
```

![图片](https://wipi.oss-cn-shanghai.aliyuncs.com/2021-11-01/%E6%95%B0%E7%BB%84-%E5%8A%A0%E6%B3%95.jpg)

## 实现减法

减法的运算为：差 = 被减数 - 减数，转换为数组则为：差值部分 = 整体部分 - 减去部分，即 整体部分 = 减去部分 + 差值部分（被减数 = 减数 + 差）。

```ts
type 减法<a extends number, b extends number> = 数组<a> extends [...减数部分: 数组<b>, ...剩余部分: infer 差值部分] ? 差值部分['length'] : never
```

![图片](https://wipi.oss-cn-shanghai.aliyuncs.com/2021-11-01/%E6%95%B0%E7%BB%84-%E5%87%8F%E6%B3%95.jpg)

## 实现乘法

乘法的运算为：m + n，转换为数组思路为 n 个长度为 m 的数组相接的新数组的长度。

```ts
type _乘法<a extends number, b extends number, pre extends number[]> = b extends 0 ? pre['length'] : _乘法<a, 减法<b, 1>, [...数组<a>, ...pre]>
type 乘法<a extends number, b extends number> = _乘法<a, b, []>
```

![图片](https://wipi.oss-cn-shanghai.aliyuncs.com/2021-11-01/Xnip2021-11-01_10-03-04.png)

## 实现除法

除法的运算为：m / n，转换为数组思路为长度为 m 的数组由多少个长度为 n 的数组组成。

```ts
type _除法<a extends number, b extends number, pre extends Array<number[]>> = a extends 0 ? pre['length'] : _除法<减法<a, b>, b, [数组<b>, ...pre]>
type 除法<a extends number, b extends number> = _除法<a, b, []>
```

![图片](https://wipi.oss-cn-shanghai.aliyuncs.com/2021-11-01/Xnip2021-11-01_10-03-2%E9%99%A4%E6%B3%95.png)

## 完整代码

```ts
type A = [1, 2, 3]['length']; // 3

type 生成数组<填充数字 extends number, 数组长度, 已有数组 extends number[]> = 已有数组['length'] extends 数组长度 ? 已有数组 : 生成数组<填充数字, 数组长度, [填充数字, ...已有数组]>
type 数组<数组长度 extends number> = number extends 数组长度 ? 1[] : 生成数组<1, 数组长度, []>

type B = 数组<3>
type C = 数组<4>['length']


type 加法<a extends number, b extends number> = [...数组<a>, ...数组<b>]['length']
type D = 加法<3, 4>


type 减法<a extends number, b extends number> = 数组<a> extends [...减数部分: 数组<b>, ...剩余部分: infer 差值部分] ? 差值部分['length'] : never
type E = 减法<4, 3>


type _乘法<a extends number, b extends number, pre extends number[]> = b extends 0 ? pre['length'] : _乘法<a, 减法<b, 1>, [...数组<a>, ...pre]>
type 乘法<a extends number, b extends number> = _乘法<a, b, []>

type F = 乘法<3, 2>


type _除法<a extends number, b extends number, pre extends Array<number[]>> = a extends 0 ? pre['length'] : _除法<减法<a, b>, b, [数组<b>, ...pre]>
type 除法<a extends number, b extends number> = _除法<a, b, []>

type G = 除法<8, 2>
```


类型体操：使用 typescript 类型系统实现自然数的加减乘除法。

使用 TS 类型实现自然数加减乘除

本文依赖 `sqlite3` 和 `fts5`，基于 `better-sqlite3` 实现。

## TL,DR

使用 sqlite3 新建数据库，然后建表，然后插入数据，然后查询，即可。

```js
const Database = require('better-sqlite3');

// 1. 建库
const db = new Database('./wipi.db', { verbose: console.log });

// 2. 建表
db.exec(`
CREATE VIRTUAL TABLE article USING FTS5(id, title, summary, content);
`);

// 3. 插数
const insert = db.prepare('INSERT INTO article (id, title, summary, content) VALUES (@id, @title, @summary, @content)');

// 4. 查询
const query = db.prepare(`
SELECT *
FROM article
WHERE article MATCH '关键字'
ORDER BY rank;
`);
query.all()
```

## 中文搜索

如果需要实现中文的全文搜索，需要引入中文分词插件，涉及到的方法为：`db.loadExtension`。以 `https://github.com/wangfenjin/simple` 为例，下载各平台的 release 包，然后加载扩展，实现中文搜索。


```js
// 1. 加载扩展
db.loadExtension(''); // 注意为绝对路径

// 2. 建表时指定分词器
db.exec(`CREATE VIRTUAL TABLE IF NOT EXISTS article USING fts5(id, title, summary, content, status, tokenize = 'simple'`);

// 3. 查询时指定匹配方法
const query = db.prepare(`
    SELECT *
    FROM article
    WHERE article match simple_query('关键词')
    ORDER BY rank;
`);

query.all();
```


本文依赖 sqlite3 和 fts5，基于 better-sqlite3 实现全文搜索。

基于 sqlite3 实现全文搜索

对于 `next.js` 应用，生产环境打包时，可以使用 `preact` 替代 `react` 来优化构建体积。在 `next.config.js` 添加配置：

```js
webpack: (config, { dev, isServer }) => {
    if (!dev && !isServer) {
      Object.assign(config.resolve.alias, {
        'react': 'preact/compat',
        'react-dom/test-utils': 'preact/test-utils',
        'react-dom': 'preact/compat',
      });
    }

    return config;
}
```

1. 使用 `preact`

![preact.jpg](https://wipi.oss-cn-shanghai.aliyuncs.com/2021-10-07/GMCBF3SDVE41GYA0A1BXHT/preact.jpg)

2. 使用 `react`

![react.jpg](https://wipi.oss-cn-shanghai.aliyuncs.com/2021-10-07/GMCBF3SDVE41GYA0A1BXQC/react.jpg)


对于本站，大约可以缩减 `32KB` 的体积。


在生产环境打包时，使用 preact 替代 react 优化构建体积。

使用 preact 优化 next.js 构建体积

Unix 差不多有数千个不同的程序，这意味着可以输入数千条不同的命令。

## 在系统中查找程序

可以使用 `which` 查找命令的存储文件位置。

```shell
$ ~ which date
/bin/date
```

`which` 命令还有一个备用命令 `type`。

```shell
$ ~ type date
date is /bin/date
```

## 停止程序

一般情况下可以使用 `q` 或者 `quit` 停止程序。也可能需要通过 `^D（<Ctrl-D>）`、`^C<Ctrl-C>`或者 `<Delete>` 按键停止程序。

## 显示时间和日期

`date` 是所有 Unix 命令中的重要命令之一。

```shell
$ ~ date
2021年 5月19日 星期三 20时45分21秒 CST
```

Unix 系统中还有一个 `time` 命令，用于测量程序的运行时间。

从本质上讲，Unix 并没有运行在本地时间上。所有的 Unix 都使用协调世界时（Coordinated Universal Time，UTC），格林威治标准时间的现代名称。为了显示 UTC 时间，可以使用：

```shell
$ ~ date -u
2021年 5月19日 星期三 12时46分23秒 UTC
```

## 显示日历

### 显示当前月份日历

```shell
$ ~ cal
      五月 2021
日 一 二 三 四 五 六
                   1
 2  3  4  5  6  7  8
 9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31
```

### 显示某一年的日历

```shell
{} ~ cal 1998
# 太多不展示了，可以自己试一下
```

### 显示某年某月日历

```shell
$ ~ cal 3 2021
      三月 2021
日 一 二 三 四 五 六
    1  2  3  4  5  6
 7  8  9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31
```

### 查看某一日是一年中的第几天

在 `cal` 之后键入 `-j` 即可。

```shell
$ ~ cal -j
          五月 2021
 日  一  二  三  四  五  六
                        121
122 123 124 125 126 127 128
129 130 131 132 133 134 135
136 137 138 139 140 141 142
143 144 145 146 147 148 149
150 151
```

### 判断某一年是否为闰年

如果 12 月以第 366 天结束，那么这年就是闰年。

```shell
$ ~ cal -j 12 2008
         十二月 2008
 日  一  二  三  四  五  六
    336 337 338 339 340 341
342 343 344 345 346 347 348
349 350 351 352 353 354 355
356 357 358 359 360 361 362
363 364 365 366
```

## Unix 提醒服务

Unix 有一个 `calendar` 命令，与 `cal` 完全不同，它用于创建包含重要日期和消息的文件用于提醒服务。使用该程序，只需创建一个名为 `calendar` 的文件，然后在文件所在位置运行 `calendar` 命令即可。

```shell
$ touch calendar
$ echo "May 19 Zhao's test" >> calendar;
$ calendar
```

## 查看系统信息

### uptime

`uptime` 用于显示系统以及运行多长时间。

```shell
$ uptime
21:02  up  7:38, 2 users, load averages: 1.38 1.45 1.55
```

### hostname

`hostname` 用于查看计算机的名称。

```shell
$ hostname
zhaoxudeMacBook-Pro.local
```

### uname

`uname` 用于显示操作系统的名称。

```shell
$ uname
Darwin
```

添加 `-a` 选项可以得到更多的信息。

## 查看用户信息

- `users`：显示当前登录系统的所有用户表示
- `who`：显示比 `users` 更多的信息（终端名称、登录时光会见）
- `w`：含义为 `who is doing what`

## 提醒何时离开：leave

可以使用 `leave` 命令提醒何时离开。

```shell
leave 1030 # 在特定时间 10:30 离开
leave +15 # 15分钟后离开
```

比如，设定 5 分钟后离开。

```shell
$ ~ leave +5
Alarm set for 2021年 5月19日 星期三 21时15分29秒 CST. (pid 7999)
$ ~ Just one more minute!
Time to leave!
```


Unix 中可以立即使用的程序（一）

<h2 align="center" style="border: 0">国家有希望，人民有信仰，送别真正的国士。</h2>

国家有希望，人民有信仰，送别真正的国士。

深刻缅怀袁隆平

## 此生理想、近期规划、今日功课

> 此生理想、近期规划、今日功课。 --马鹤凌（马英九父亲）

1. 理想要远，不怕够不着，就怕已经快够着了

大多数人在当下并不能真正地想出自己的理想是什么。**不刻意去追寻理想，活在当下**也许是一个好的实践。专注于解决问题，积累经验。也不要给自己设限，用于尝试多种可能，逐步排除掉自己不想要的。

2. 规划要近，太远会觉得还有很多时间

不做远期规划，不然容易变成一直拖着。做短期内的计划，保持节奏让工作和学习有序前行。

3. 行动要在现在

一个人很有可能要工作 20 年以上，这是一场长跑。在这场长跑中，很多当下的问题只是浪花一朵，比如晋升、绩效、涨薪等，很多看似不可能的行动变为可能，比如掌握 n 种编程语言、研究内核等。为了跑好这场长跑，还是要做好每日功课。

- 给自己一个安静的环境，省出学习时间
- 持续学习
- 健康的体魄

## 学习和成长

一个人很有可能要工作 20 年以上，现在才工作了多久？作为技术同学，所掌握的某个技术很有可能一夜之间就过时了，要居安思危，逃离舒服区。

关于学习，基础知识很重要，要关注现实和实用。可以大量购买和阅读书籍，同时做好知识管理。

关于成长，抛出一个问题：3年开发经验，是学习了1年，重复工作了2年，还是有一定的进步？

## 执行

### 要事优先

讲事情按照**重要**和**紧急**分为4个象限。

```bash
                  紧急
                   |
                   |
                   |
                   |
不重要 <--------------------------> 重要
                   |
                   |
                   |
                   |
                 不紧急
```

用自己价值观来判断，不要在不重要的事情上浪费时间。

### 无视不重要的事情

```bash
                  紧急
                   |
                   |
                   |
                   |
                   --------------> 重要
                   |
                   |
                   |
                   |
                 不紧急
```

**重要但不紧急**的事情迟早会变成**重要且紧急**的事情，所以大部分时间应该花在**重要不紧急**的事情上，不要等到紧急的时候去**救急**。

### 目标分解

在执行时，目标往往很大，需要进行适当的分解，以便执行。没有分解的目标，很难有阶段性成果，会发现一直在做一件事，然后还做不好。任务一定要具体、可量化、可执行。


## 参考

1. [⾼⼯的个人发展规划](https://speakerdeck.com/baidufe/gong-cheng-shi-de-ge-ren-fa-zhan-gui-hua)
2. [About Time and Knowledge Management](https://github.com/zenany/zenany.github.io/blob/master/_posts/about_time_and_knowledge_management.md)


