Tags · Programing Language

2025

03-27 所以这个 Monads 到底是什么啊之让我学学

01-06 仿生电子锈会梦到自己变成纯函数式吗：gleam 语言初见

2024

09-03 Lean 初见笔记

06-13 静态版Ruby？Crystal语言试用