13
SwiftData踩坑记（续） Swift、SwiftUI和SwiftData的一些坑 从表驱动到函数式编程 稍微也提一下Scope函数 Monad - A functional design pattern 从零开始的编译器前端之Parser与Lexer的一些其他的细节（待更新） 从零开始的编译器前端之LL(1)语法与Parser Combinator 从零开始的编译器前端之Lexer 从零开始的编译器前端之Monadic Parsing 从零开始的编译器前端之前置知识点 More...
8
从Kotlin的设计小窥编程语言的组合性 关于理论和实践的一些碎碎念 从装饰器到函数组合 讨论设计模式的时候到底在说什么呢 小论工厂模式（们） 高阶函数和模版方法模式 模式匹配，观察者模式和GADT Lambda和策略模式
6
假如设计一个mc的mod……（从计算机学生的角度考虑大致的流程） 小结和之后打算做的一些事情 换了一个主题 重新开坑coq兼复盘之前的三个未解之谜 重新部署Hexo的踩坑记 于是又开了个blog
4
我觉得我还是不喜欢AOP和注解这套写法 回顾Unity的Coroutine 使用std::move和std::optional来更清晰地处理错误 UnityWebRequest的一个小坑
3
稍微升级了一下Blog的插件 再谈依赖注入和控制反转 关于代码行数的一些想法
2
Some thoughts after completing the UW Programming Languages courses DRY, KISS, but you may gotta need it
1
简单实现了一个Trie
1
Un coup d'oeil sur la composition de PL par les coroutines de Kotlin
1
Here's a failed attempt to localize my blog