1. 记录一个很有意思的梦

    网络上出现了一种传说能把人杀死然后重新恢复身体的办法。

    2017/08/18 Misc

  2. 使用 Haskell 编写灵活的 Parser (下)

    本篇主要讲 Parser Combinator 的组合,比如二元运算符的解析以及优先级结合性的处理。

    2017/07/27 Haskell

  3. 使用 Haskell 编写灵活的 Parser (上)

    为什么我会想到去用 Haskell 写 Parser 呢?因为 Haskell 的 do notation 对这种 Monad 组合子真的太友好了。

    2017/07/26 Haskell

  4. Akiris 的 Koa 杂谈 1

    如果有错麻烦告诉我,我会很诚恳地纠正 :) 毕竟只是一个很小的样本,当吐槽看就好啦。

    2017/07/21 Koa

  5. 将 Haskell 翻译为 Rust, C# (上')标准库

    这次承接上篇,是关于 C# 的。 Rust 的 algebraic isomorphism 也写好了,欢迎大家尝试。

    2017/07/10 Haskell

  6. 简单粗暴的地图生成

    这是我大概几个星期前随便写的小玩意,看到一票人都在玩这个,就自己也整了个来玩。

    2017/07/06 Tools

  7. 将 Haskell 翻译为 Rust Dart Java (上)标准库

    因为最近给魔理沙的两道 Haskell 题写了 Java Dart Rust 的翻译,感觉在这之中能提取不少通识性的东西。 同时这也让我意识到不少语言都有着可以在一定程度上模拟 Haskell 的能力,这其实对于从其他语言转到 Haskell 是有益的。

    2017/07/05 Haskell

  8. 防止运算溢出的一些技巧

    我曾经经常写一些把普通运算优化为位运算的代码,这个过程在网上被批判为没有用。其实我觉得这非常有用,因为它给我带来了我的代码跑的很快的错觉,让我在写代码的时候保持一个良好的心态。但是这次,我将面临全新的挑战。

    2017/07/01 OI