State Monad State monad contains a function that is performed on some context to produce some value, as well as some new con...

Handling errors in Haskell.

Higher-order programming in OCaml, which includes common topics like map, filter, etc.

Unit testing in OCaml.

New system programming language, said to be a more pragmatic C

The ST monad allows programmer to write more efficient programs with internal mutable memory.

Managing modules at a production level in Haskell with Cabal or Stack.

Advanced topic: GADT in Haskell, it was also called Phantom Types

Java RMI is Java's built-in framework for RPC.

本质就是字典，怎么起这么复杂的名字.jpg

用智能指针自动管理资源分配和删除．Rust 的所有权设计也很大程度上与 C++ 的智能指针很相似．

对 List, Variant, Record, Tuple 的简单介绍以及用 OUnit 进行单元测试的简单介绍

OCaml 的基础语法，数值运算等等

The Monad type class is a way to represent different ways of executing recipes

Applicative Why we need Applicative? Its common use case could be the following. We have several values with contexts and wa...

Introduction to Functors Explanation of Functor. A new Functor, f b, can be made from another Functor f a by transforming al...