Published:
This is an introductory post on CPS (Continuation Passing Style), also acting as my personal review on the subject. I aim to provide an overview of CPS itself, its actual applications and behaviours from a more programming perspective, and link CPS to the Cont monad and CallCC control operators.
Published:
These short notes summarise my own initial exploration of effect handlers, as a
Published:
This is an article yet to complete, reflecting some of my thoughts of what I learnt for the second year as an undergraduate in computing here. Contents here may be constantly changing with the progression of systematic revision on the courses.
Published:
WACC (officially pronounced “whack”) is a simple variant of the While-like language family that appeared in a series of courses on program reasoning and verification at Imperial. The WACC Compiler project is one of the major group projects for the second year younglings in computing to overcome, and I am glad to say that we survived it with lots of fun and learning a lot.