艹，Telegram 把我正在编辑的内容搞丢了！

I am angry!!!! 我可是推荐了好多好看的东西了，要我再写一遍么？不一定想得起来啊！！！

qnmd，以为所有人都只是在这里，desktop 和 web 对正在编辑的内容都不能保证安全，同步经常出现失败和内容被覆盖的情况！这是不能叫好应用的！

#Life #Book 小说推荐

原版因为网络不稳定，被 Telegram Desktop 盲目地覆盖了，丢失了所有内容。
因为是我记忆枚举出来的，所以不保证列全。

== 小说 ==

《茶花女》 名著、爱情、悲剧、法国、老故事、一颗赛艇
很喜欢里面男主和女主的故事，非常敬佩女主茶花女
《大卫·科波菲尔》男主的励志故事？
《天贼》(Hot Dream) 科幻、宇宙、未来、批判性
《魔道祖师》 网络小说、修仙
是蛮一颗赛艇的，不过自控力不好就别看了，省得到时候骂我推荐这种辣鸡... 错别字也有一些，作者拼音打的。
《御品糖心》有点意思，此外《主子不好啦》（好像是这个名字）也有点意思
《白夜行》 日本、侦探、小说、悲剧、崩坏
《嫌疑人 χ 的献身》 日本、侦探、小说、学者、悲剧、崩坏
《悖论 13》 日本、侦探、小说、灾难、科幻
《侦探俱乐部》 日本、侦探、小说、日常
《哑舍》故事和创意都不错
《浮生物语》类似上面的

然后我还记得有本言情写某女明星和一个博物馆长的... 博物馆长家还有两条狗炸鸡可乐，忘了叫啥名

== 杂志 ==
《英语街》
连载的故事很不错，学英语的话可不能只看翻译。
OpenClass 《课堂内外》
不错的课外读物，虽然好像涉及追星内容比较多
《我们爱科学》
现在的科普杂志比较多，其实也不止这一个可以选，应该自己挑喜欢的
内容符合胃口和质量高优先
《实用文摘》
这是相当干货的杂志了
《儿童文学》
纪念一下文革中被打成反动？的东西

== 漫画 ==

《快把我哥带走》 校园
哥哥时分和妹妹十秒的愉悦日常，头条都是他/她
现在也有动画版本，不重复了

《昨日青空》 校园 倒叙 少年
当然，不过动画版就得加一个耽⃥美⃥

《缘之空》（划掉）
《冲绳萝莉岛》（删除）
《女装山脉》（x

== 动画 ==

《火影忍者》 日本 忍者 少年
与《海贼王》和《死神》并称的三大中国民工漫之一，
720 集啊，还有好多 OVA，主要的《疾风传》和《火影忍者》已经完结
（写死了一个作者了都）划掉
不过还有《博人传》在更

《黑子的篮球》 日本（我在考虑有没有必要写这个标签） 运动 少年
画风比《灌篮高手》好不少，不过所谓少年漫嘛，特技、buff 甚至超能力都是必备的（当然还有发色牛逼定律
（胡说，明明是看颜值
可怜的肥宅们看一集被秀一集，然后生活中只能自卑惹... 祸害人类

《刃牙》 又来祸害人类了

《干物妹！小埋》炒冷饭

《魔法禁书目录》和《某科学的超电磁炮》 少女？（
著名的电击文库改编系列，据说最近有《某科学的一方通行》出品，恭迎老大爷

《刺客五六七》 中国 忍者 散式
画风不错，故事底蕴也很大
（又一个卖歌的动漫）划掉

《罗小黑战记》 中国 动物
画风可爱，据说最近也要有电影出了

《LoveLive》 和 《LoveLive Sunshine!!!》
论女子高中生如何成为偶像拯救学校

《齐木楠雄的灾难》主音和《黑子》的奇迹队队长赤司是一个人，经常被同人混在一起 **

《喜欢恶作剧的高木同学》 秀恩爱

《罪恶王冠》末日 基因 组织 黑/白

== 音乐 ==

《New Soul》
《Dream It Possible》
《Try Everything》
《Frozen》
《星之所在》
《虽然歌声无形》
《夕日坂》
《心理作用》
《Bad Apple》
《Only My Railgun》
《打上花火》
《云烟成雨》
《secret base（未问花名）》
《POP/STARS （英雄联盟）》
《暖暖》
《好想你》
《吉祥三宝》
《Lemon Tree》
《初音未来的消失》
《再见，昨天》 牛奶咖啡
《文乃的幸福理论》
《ECHO (GUMI)》
《明天会更好》
《虫儿飞》
《卡路里》
《九九八十一》 应该都知道
《听妈妈的话》 《心形气球》

只有 60k! 我才发现这么小！

🤔 LinkedBlockingQueue? 这个玩意首先是某种 BlockingQueue, 然后它是 Linked 实现的

Queue 就是项的队列，队列有两个端点，一端入一端出，一般认为是从『左边』出『右边』入
所以有 C++ 的 std::vector(template class) 的 pop_left 和 push_back 操作

BlockingQueue<T> 应该有个操作
synchronized T blockingPop(); 实现了线程安全的可能阻塞（waiting）的 pop 方法吧？

然后实现 可能是这样？

interface Queue<T> {
T pop();
void push(T value);
int length();
}

interface BlockingQueue<T> extends Queue<T>, Serializable {
synchronized T blockingPop();
}

实现 Java 写太冗长，Kotlin 好（Scala 也很好

class LinkedBlockingQueue<T>(): BlockingQueue {
private sealed class Node<out T>
private object Nil : Node<Nothing>()
private data class Link<T>(val x : T, val xs : Node<T>) : Node<T>()

protected var link : Node = Nil
protected var len: Int
val length: Int get() = this.len

private fun len(n: Int) { len += n }
override fun push(x : T) { this.link = Link(x : link); len(1) }
override fun pop(): T? { if (link == Nil) { return null } else val head = link.x; return x.also { link = link.xs; len(-1) } }
override fun blockingPop() { while (len == 0); return pop(); }

companion object { private val serialVersionUID: Long = 0; }
}

批判一下， 这个实现是错误的... 我的确是没有注意到对 Link 的使用方式实现了一个 LIFO... Queue 是 FIFO 的

#share #link #aricle #china

推荐江宏的博客： https://1byte.io/

江宏是 LeanCloud 联合创始人。博客写的有些意思，可以看下。同时可以订阅 TA 的知乎同 Twitter。

#未分类

https://twitter.com/ivarptr/status/1149742127640768512

https://bellard.org/quickjs/

#计算机 #JavaScript

https://coolshell.cn/articles/19464.html

看上去写的非常棒，推荐读完。

#未分类

让他们混淆认识和知识，以为开阔认知就是学习，让他们有学习和成长的幻觉……

#statemet #acg 啊，很对，我记得《疾风传》里佐助杀鼬的时候鼬就说过这么一句话

“我们都活在一层由自己的认知构成的壳子里面，我们把这层屏障称为『现实』”

（大意）

想来是这样呢，有时候会认为自己已经很厉害的话，说不定是因为没有见到真正厉害的人呢。

我觉得这篇文章很深，举的例子很有价值也很具有代表性。

哎我本来想利用 Telegram （因为没 SS 科学上网）查一下内容，没想到可以看到阅读数？

Total views for telegra.ph/对-drakeet-的一些话-07-02: 96

To get stats for a particular day, month or year, send me a message in the format HH,MM/DD/YYYY, MM/DD/YYYY, MM/YYYY or YYYY.

果然还是看的人(*96)多，看完的人少，只有 18 个... 算算只有大概 19% 的人读完了，碎片化阅读，这就是一个实例吧。

Total views for telegra.ph/对-drakeet-的一些话内联-07-03: 18

To get stats for a particular day, month or year, send me a message in the format HH,MM/DD/YYYY, MM/DD/YYYY, MM/YYYY or YYYY.

感谢 @YuutaW 大谷群友 @Zhai2333 的帮助

看来 Telegram 上的读书人综合出现概率还是小啊（怎么有 90 次阅读，可是读到我因为文章太长不得不另建的内联的人却只有 19% 左右...
都是连看书 看文章都嫌浪费时间 了 么 🙈

看了上面这篇文章，我觉得作者陈皓的格局果然还是很大啊，怎么都是赶不上的呢。

首先，在完成我打算的一门以小体积和 REPL 为特色的 JVM 脚本语言之前，我得先给自己入下门
（一般来说，脚本语言都是由一条一条作为基本执行单元的『语句』构成的，他们总是描述动作而非数据、存储、操作什么的，而不是可能不能执行的定义，比如『函数定义、变量定义』）

之前的入门也有，可是不顶用。（知识理解发生了变化）
我也想写一个 LLVM 的 native 编译器练手，可是应该是之后的事情（先做简单一点的）

当然，理论基础也是得有的，我最近会讲 infix 操作符的递归下降(recursive descent)解析、左递归和右递归、二元优先级

我现在打算设计的这门语言叫做 ec, 名字是从 GNU bc 和 GNU dc 抄来的，它的目标是成为一个（不要求性能）的可编程计算器
以后我也可能添加 JIT 支持，不过不是现在的事情（我要先准备一个 JVM binary stream 框架才可以写类代码的读写器）

首先它继承我 BinOps 计算器的所有操作，不过有一些额外的特性：

0. 它使用基于隐式状态机的解析组合子编写，代码很优雅
1. 它支持二元操作符优先级 infixl 和 infixr
2. 它支持函数定义，并且（可能）支持 pattern matching 和 tail recursion
3. Unicode 语法，可以写的很像数学
5. 支持和 Java 一定程度的互操作(interop)，它支持调用静态方法

EC 的全名是 Electronic Calculator，它是一门多范式(multi-paradigm) 编程语言，主打函数式编程和过程式编程
它是基于 lambda calculus 的，所以非常简单，只有
x y z w a b c n 变量（只有两种变量，就是函数的参数和局部变量，函数参数是不可重新赋值的，全局作用域就是『全局函数』的作用域），这些名字默认是数值变量，ec 支持数值类型自动转换提升（和转换）

它有五种基本类型：Any, Num, Bool, Str, List<A>，只能在函数参数和返回值里指定，并且支持这样的自动推导
函数类型是 (T, T1, T2, ...) -> R, 当然函数类型也是类型，所以可以写接受函数或者返回函数的函数

类型参数支持子类型的形变性（(in T) -> out R）
不过还不开放用户数据的定义，所以也没有手动的类型参数型变

其中 Any 是 Num / Bool / Str 的父类型，其他类型不存在子类型(subtyping)关系

+ x* y* z* w* k*; a b c; n 默认为 Num 变量；这里 * 必须是一个或多个数字 0-9
+ p.{1} q.{1} 默认为 Bool 变量，这里 .{1} 照样得是数字 [0-9]
如果一个函数的名字类似 is* has*, 返回值默认为 Bool（当然变量也是一样...
+ name / str* 默认为 Str 变量
+ *s 的默认为 List<* 的自动推导>
+ 其他情况默认为 Any
+ List<A> 的 A 是一种类型，List 的 head 和 tail 是惰性计算的

可以用 let ... in ... 和 variable 控制局部变量的作用域

并且支持自定义转换器 implicit LongToInteger() = ... 和 explicit, as operator
(\x -> x) 匿名函数(abstraction)
f(x) = x 具名函数(function operator)
(f 1) 函数应用(application)

它的流程控制分支使用分支函数实现，也可以 if else，match，循环可以使用
尾递归（自动优化）和 for x in iter 和 while p

没有惰性求值特性，因为底层操作使用 JVM 的 Object 引用实现，所有操作都是传值(pass-by-value & copy)调用

EC 使用 Lexical scoping，这意味着它存在闭包，EC 的闭包使用了类似 Lua 的 FuncState / UpValue 模型（不要时 close，每个函数一个 state），而不是 Ruby 1.9 的 Clone-stack 和简易 Scheme 实现的 dup-environment

Java interop 的支持使用 import 语句

import org.duangsuse.ec.Plugin.func

import org.duangsuse.ec.Plugin (@EcExports 标记的类型)

import org.duangsuse.ec
import Plugin

import Plugin hiding (func)
import Plugin.func as fun

关于 pattern matching 的函数定义，我想过了
不过尾递归优化的分析还得做

目前还在设计，举一点例子：

let
id x = x
in id 1

put "Hello, world"

assert 1+1 == 2
assert 1+1 /= 3

id = \x -> x

abs(n >0) = n


abs(n <=0) = neg n

fib : (Num) -> Num
fib(n) = fib(n-1) + fib(n-2)
fib(1) = 1
fib(2) = 2

fold(f, v, []) = v
fold(f, v, [x :: xs]) = fold(f, f(v, x), xs)
product(xs) = fold: <*> 1 xs
factorial(n) = product: [1..n]

count [_ :: xs] = 1 + count: xs