Type OCaml
Well-typed programs cannot go wrong. - Robin Milner
  • Home
recursion, memoize, untying the recursive knot, memoize recursive

Recursive Memoize & Untying the Recursive Knot

—  Published 25 January 2015  —

When I wrote the section of When we need later substitution in Mutable, I struggled. I found out that I didn't fully understand …

Read Me
binary search tree, data structure, ninja, recursion

bst_ninja

Become a BST Ninja - Genin Level

—  Published 19 December 2014  —

Binary Search Tree (BST) is one of the most classic data structures. The definition for its structure is shown as below: It consi…

Read Me
recursion, merge, mergesort, algorithm

recursion_reloaded

Recursion Reloaded

—  Published 04 December 2014  —

One essential of computer programming is repeating some operations. This repetition has two forms: for / while loop and recursion…

Read Me
Page 1 of 1