Live Note

Remain optimistic

某日被书中一段代码误导

1
2
3
4
5
6
7
8
9
10
11
var promise = new Promise(function (resolve, reject) {
resolve("ok")
setTimeout(function () {
throw new Error("test")
}, 0)
})
promise.then(function (value) {
console.log(value)
})
//ok
//Uncaught Error : test

由于前面还有这样一段话

如果 Promise 状态已经变成 Resolved,再抛出错误是无效的。

当时看到这,思索了许久,为什么已经 resolve 了这个 ERROR 还是可以往外抛出呢?
后面发现,settimeout 是一个异步函数,throw 会在下一轮事件循环开始时抛出,所以无论是否 resolve,这个 ERROR 都是会抛出的。

出兵了!普京指示俄军方确保顿巴斯地区和平,表示“乌是俄历史上不可分割的一部分”!

当地时间 21 日,俄罗斯总统普京在宣布承认顿涅茨克人民共和国和卢甘斯克人民共和国独立后,指示俄罗斯国防部在俄罗斯与顿涅茨克人民共和国和卢甘斯克人民共和国的友好合作互助条约被批准之前,确保俄罗斯武装部队维护顿涅茨克人民共和国和卢甘斯克人民共和国的和平。

据澎湃新闻,当地时间 2 月 21 日,俄罗斯总统普京发表全国电视讲话时表示,乌克兰不仅是邻国还是俄罗斯历史上不可分割的一部分,乌民众是俄方的同志和亲人,是有血缘关系的人。

据悉,联合国安理会将应乌克兰方面请求,于美东时间 21 日晚 9 时(北京时间 22 日上午 10 时)召开紧急会议。本月联合国安理会轮值主席为俄罗斯。

乌克兰地区局势紧张,国际资本市场避险情绪升温,推动股票等权益类资产进一步被抛售,而金价和黄金股均进一步上涨。

继欧洲股市普跌之后,亚太股市也普遍下跌,日经 225 指数开盘跌 1.5%,韩国 Kospi 指数下跌 1.41%。A 股市场今天上午也进一步调整,各大指数均现显著下挫,近 4000 股下跌。港股方面亦在调整,恒生指数盘中大跌超过 3%,截至午盘仍跌 2.95%。

普京要求俄军

维护两个“共和国”的和平

据央视新闻,俄罗斯法律门户网站发布了俄总统普京 21 日签署的承认顿涅茨克人民共和国和卢甘斯克人民共和国的总统令内容。根据总统令,因乌克兰拒绝执行明斯克协议,根据当地人民的意愿,俄罗斯承认两个共和国为独立主权国家。总统令责成俄外交部开始与两国进行建立外交关系的谈判,与俄罗斯其他有关部门起草友好合作互助条约,并按程序完成条约的签署。总统令要求俄罗斯国防部在友好互助条约被批准之前确保俄罗斯武装部队维护顿涅茨克人民共和国和卢甘斯克人民共和国的和平。

当日稍早时,俄罗斯总统普京发表全国视频讲话,宣布承认乌东民间武装自称的顿涅茨克人民共和国和卢甘斯克人民共和国为独立国家。

据环球网援引俄罗斯《观点报》22 日报道称,网上有消息称俄军已开始抵达顿巴斯地区,也有人公布了相关视频。

报道称,国际文传电讯社援引目击者的话说,两个装甲车队已处于“顿涅茨克共和国”并向该其北部和西部前进。

报道还称,乌克兰 OstroV 通讯社援引社交媒体的消息称,“俄军第一批部队正进入”顿巴斯地区。

据央视新闻,俄罗斯国家杜马议员米哈伊尔·谢列梅特当地时间 22 日表示,对于俄罗斯宣布承认乌克兰东部“顿涅茨克人民共和国”与“卢甘斯克人民共和国”独立,西方国家准备对俄罗斯实施新的制裁措施,对此俄罗斯已经做好了一切准备迎接事态发展,俄罗斯不会胆怯。俄罗斯不惧怕西方国家的制裁,我们重视的是人民的生命安全而不是经济。

基本用法

1
2
3
4
5
var regex = new RegExp("xyz", "i")
var regex = new RegExp(/xyz/i)
var regex = /xyz/i

new RegExp(/abc/gi, "i").flags //ig 被覆盖成 i

match()、replace()、search()、split()

String.prototype.match 调用 RegExp.prototype[Symbol.match]
String.prototype.replace 调用 RegExp.prototype[Symbol.replace]
String.prototype.search 调用 RegExp.prototype[Symbol.search]
String.prototype.split 调用 RegExp.prototype[Symbol.split]

Read more »

又一次见证历史了。

预计级别会达到VEI6,不知道后续会不会继续喷发。
没想到,疫情还未过去,出现了一个比疫情更严峻的现实问题——无夏之年

更新于 2022 年 7 月 26 日 17:22:50

我错了,最近的温度已经到达了 40℃。

公式: $$P{Q}R\ ({P}Q{R})$$

P 和 R 都是一阶公式, 如果前提条件 P 在执行 Q 前成立, 则执行后得到满足条件 R 的状态
部分正确性断言: 如果 P 在 Q 执行前为真, 那么, 如果 Q 的执行终止,则终止在使 R 为真的某个状态
终止性断言:如果 P 在 Q 执行前为真, 那么 Q 将终止在使 R 为真的某个状态
赋值公理: $$\vdash P_0 {x:=f} P$$

推理规则的表示

$$\frac{premise -> f_0, f_1, …, f_n}{conclusion -> f_0}$$

推理规则

  • Rules of Consequence:
    $$\frac{P{Q}R,\ R\rightarrow S}{P{Q}S}\ \ \ \ \ \frac{P{Q}R,\ S\rightarrow P}{S{Q}R}$$
  • Rule of Composition:
    $$\frac{P{Q_1}R_1,\ R_1{Q_2}R}{P{Q_1, Q_2}R}$$
  • Rules of Iteration:
    $$\frac{P\ &\ B{S}P}{P\ {while\ B\ do\ S}\ \neg B \ &\ P}$$

等式公理

  • 代换: $[N/x]M$ 表示表示 M 中的自由变元 x 用 N 代换的结果, N 中的自由变元代换后不能成为约束变元
  • 约束变元改名: $\lambda x:\sigma .M = \lambda y:\sigma.[y/x]M$ 例如:$\lambda x:\sigma.x + y = \lambda z:\sigma .z+y$
  • 等价公理: 计算函数实际就是在函数中使用实在变元替换形式变元, $(\lambda x:\sigma.M)N = [N/x]M$
  • 同余性规则: 相等的函数作用于相等的变元产生相等的结果, $\frac{M_1=M_2,\ N_1=N_2}{M_1N_1=M_2N_2}$