2024
1 篇文章
02-07
常见编程语言文档及新特性链接
#Language
2023
8 篇文章
10-18
命令行时间戳与时间转换
#Linux #Shell
07-06
存在类型 (existential type)
#Language #type theory
07-06
多态 (polymorphism)
#Language #type theory
05-20
Monad 浅析
#Haskell #Functional programming #Monad #Functor #Applicative #type theory
05-18
Google IO 2023 记录 - Android 版本 Kotlin 的新动态
#Google #Android #Kotlin #Google IO
05-07
Zig 初见
#Language #Zig
04-20
Typst 体验
#Typst #vscode
04-17
IntelliJ IDEA 常用快捷键 (macOS)
#IDEA #Tools