Zhuyk6's Blog

Leetcode 936

发表于 2021-09-14 分类于刷题， Leetcode

发表于 2021-09-05 分类于刷题， Leetcode

发表于 2021-08-30 分类于刷题， Leetcode

发表于 2021-08-21 分类于 Data Structures

本文介绍Weight-Balanced tree（WB tree）。

参考资料：

发表于 2021-08-19 分类于 Data Structures

本文旨在用最简单、最直观的逻辑、实现来讲清楚Red-Black tree的理论和实现。

参考资料：

发表于 2021-08-05 分类于 Languages ， Haskell

本文简单介绍Applicative Parser，参考 Codewars： Writing applicative parsers from scratch

发表于 2021-08-02

本文借助 Codewars 一道题目 Sure, but can you SKI? (I) 来简单学习 SKI。

参考 wiki。

发表于 2021-07-31 更新于 2021-08-03

本文介绍基本的范畴论概念，包括范畴、态射、函子、自然变换、Yoneda Lemma。

参考资料:

发表于 2021-07-20 分类于 Languages ， Haskell

这篇博客讨论如何使用Haskell的Parsec库来实现对表达式的parse，本文主要参考《Intro to Parsing with Parsec in Haskell》。

发表于 2021-07-16 更新于 2021-07-19 分类于 Languages ， Haskell

本文介绍Haskell的一个著名parser库Parsec，本文主要关注实现部分和理论，主要参考是其论文《Parsec: Direct Style Monadic Parser Combinators For The Real World》。