A deep dive into Haskell Optics. Learn how to derive Van Laarhoven Lenses, Prisms, and Traversals from scratch, and discover how to build a robust Opaque Optics system with better composition and compiler error messages using type-level programming.

Building a Haskell stack DSL that rejects invalid programs at compile time.

Some experiences, random thoughts and discoveries in June 2025.

A collection of useful Github projects for various tasks.

How to write a simple printf in haskell?

My understanding of concurrency models in Golang, including goroutines and channels.

古日本語の文の述べかたについての勉強メモ

某省中考數學疑似出得有點太過了。