I write about software and language.
On the side, I contribute to the field of programming languages, hoping to improve the way we write software. If you’re looking for a fun introduction to some theory, check out this short paper on lambda calculus.
If you’d like to talk, don’t hesitate to reach out!
你好, 我的中文名字是高彰! 我是一个软件工程师。现在我的中文不好。尽管如此，你可以看一下我的博客：小笔记