Tags · Functional
2025
04-13 学习在 Lean4 中使用 Parser Combinator
04-08 很难不承认 Lean4 真香 —— 然后写了一个简单的 JSON 解析器
03-27 所以这个 Monads 到底是什么啊之让我学学
01-06 仿生电子锈会梦到自己变成纯函数式吗:gleam 语言初见
2024
09-03 Lean 初见笔记
04-13 学习在 Lean4 中使用 Parser Combinator
04-08 很难不承认 Lean4 真香 —— 然后写了一个简单的 JSON 解析器
03-27 所以这个 Monads 到底是什么啊之让我学学
01-06 仿生电子锈会梦到自己变成纯函数式吗:gleam 语言初见
09-03 Lean 初见笔记