Kwang's Haskell Blog

A blog about Haskell, functional programming, category theory, and type theory.

• URL: https://kseo.github.io/
• Author: Kwang Yul Seo (@kwangyulseo)
• GitHub: https://github.com/kseo/

About

A technical blog covering functional programming and compiler construction. It contains 78 posts written since 2013, exploring a wide range of Haskell topics in depth.

Topics

• Type-level programming (GADTs, Rank-N Types, Existential Types)
• Monads and functional design patterns
• Haskell language extensions (ConstraintKinds, Type Families, etc.)
• Performance optimization
• Interpreter/compiler implementation
• Stream processing

Tech Stack

• Static HTML site hosted on GitHub Pages
• CSS styling (css/default.css, css/syntax.css)
• RSS / ATOM feed support
• Disqus comment system

Structure

├── index.html          # Blog homepage
├── about.html          # About page
├── contact.html        # Contact information
├── archive.html        # Full post archive
├── rss.xml             # RSS feed
├── atom.xml            # ATOM feed
├── posts/              # Blog posts (78)
├── tags/               # Tag index pages
├── css/                # Stylesheets
└── images/             # Image assets

Haskell Packages

Packages maintained by the author on Hackage:

• blockhash - Perceptual image hash calculation
• enchant - Binding to the Enchant library
• ini-qq - Quasiquoter for INI
• language-dart - Dart source manipulation
• secd - SECD abstract machine implementation
• sfnt2woff - Font conversion tool (TrueType/OpenType to WOFF)
• tagsoup-megaparsec - Tag token parser
• text-zipper-monad - Monadic interface to text-zipper