golang internals

2012-04-16

初学Java语言

2013-04-16

scheme中用lambda实现primitive

2013-05-15

eopl读书笔记

2013-07-04

scheme中实现多值返回

2013-07-18

Go语言的defer,你真的懂了吗?

2013-04-25

Go语言的抢占式调度

2013-10-27

Go手动内存分配

2013-10-27

再看Go语言的分段栈

2013-12-02

C语言返回栈空间的结构体

2014-01-27

Go中接口与继承的选择

2014-08-17

y combinator推导

2014-12-17

Go语言http中间件

2015-03-07

Go语言对象跟闭包性能比较

2015-03-09

Go的变量到底在堆还是栈中分配

2015-10-22

lua试玩感受

2015-12-09

Rust语言初步印象

2016-03-20

Go程序内存泄漏的分析以及避免

2016-10-18

Shen语言的pattern match是如何编译的

2017-05-21

Go的context的问题

2017-05-29

一些思考:为lisp加类型

2017-11-12

klambda解释器

2017-11-16

相见恨晚的 Erlang

2018-04-28

scheme 卫生宏实现介绍

2018-10-22

使用 explicit renaming 实现卫生宏

2018-11-04

cora 语言介绍

2019-07-22

协变逆变

2019-10-12

求求你们,不要再往接口里面乱加方法了

2020-03-09

Go 语言是如何捕获 panic 栈的

2020-04-04

microKanren 学习笔记

2020-06-15

写在 shen-go 1.0 发布之际

2021-02-22

学习 dependent type

2021-07-11

koka 语言的卖点

2021-07-25

想到一个 idea

2021-07-25

algebraic effect 推导(上)

2021-08-08

Go 语言的读写锁真的是读不阻塞么

2021-08-20

algebraic effect 推导(下)

2021-08-08

使用 algebraic effect 实现协程和异步IO

2021-10-09

闭包即代码生成

2021-12-21

一个强大灵活且巧妙的 type checker 实现思路

2024-10-22

函数式语言中隐藏全局变量赋值的一个技巧

2024-10-29

HNS.to is a highly insecure way of browsing Handshake domains and should only be used for demo or educational purposes. Click to see preferable resolutions methods