Tag Archives: functional programming

Initial Algebras: Part I

Meta-post This post is light on math and uses Haskell to express formalisms. If you’re clear on what a Functor is, you’re good to go. Functors and Algebras There is this regular old functor, with the type constructor Func. We’ve … Continue reading

Posted in Computers | Tagged , , , , , | 6 Comments

First steps with Agda: provable factoring

In my last post we looked at the problem of factoring an integer. We ran into an issue with the termination checker and resolved it by wrapping the recursion into a separate inductive data-type that made it explicit. The idiom … Continue reading

Posted in Computers | Tagged , , | Leave a comment

Macros In Haskell

Haskell too has macros. The subsystem is called Template Haskell. It is a Lisp-like AST generation framework that comes as a GHC extension (that is, it isn’t a part of the language as of now). This blog post is a … Continue reading

Posted in Computers | Tagged , , , | 6 Comments

Haskell's Fixed Point Combinator

About this post This is one of those posts I write to ensure I actually understand a concept. Read at your own peril. Some knowledge of Haskell is required. The Problem One Hello World problem that is sometimes used to … Continue reading

Posted in Computers | Tagged , , , | 9 Comments