corpus.blog
41554 blogs · [ { "id": "01a087a7-ab30-7145-81ba-1cffa625f279", "title": "Futamura Projections in a Nutshell", "url": "http://mmisamore.github.io/posts/2025-07-27-futamura/", "published_at": "2025-07-27T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffa6a18f42", "title": "Perfectly Correlated Bernoulli Random Variables", "url": "http://mmisamore.github.io/posts/2024-01-06-bernoulli/", "published_at": "2024-01-06T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffa70a1aa5", "title": "Scaling \"Make Illegal States Unrepresentable\"", "url": "http://mmisamore.github.io/posts/2017-06-19-state/", "published_at": "2017-06-19T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffa7a59242", "title": "Continuations and Free Algebras", "url": "http://mmisamore.github.io/posts/2016-03-12-continuations/", "published_at": "2016-03-12T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffa82442ef", "title": "Tests as Data", "url": "http://mmisamore.github.io/posts/2015-10-17-tests-as-data/", "published_at": "2015-10-17T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffa8bfc4e6", "title": "uncurry id == uncurry ($)", "url": "http://mmisamore.github.io/posts/2015-07-26-uncurry-id/", "published_at": "2015-07-26T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffa96cff44", "title": "Maybe [a]?", "url": "http://mmisamore.github.io/posts/2015-07-13-maybelist/", "published_at": "2015-07-13T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffaa4eaa8f", "title": "Set is not a Functor (redux)", "url": "http://mmisamore.github.io/posts/2015-04-28-setfunctor/", "published_at": "2015-04-28T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffab07a31b", "title": "Deriving Type Derivatives", "url": "http://mmisamore.github.io/posts/2015-04-19-typederivs/", "published_at": "2015-04-19T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffab8d1994", "title": "Stabilizing Values", "url": "http://mmisamore.github.io/posts/2015-04-08-stabilizing/", "published_at": "2015-04-08T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffabfd4495", "title": "Fun with fixed points", "url": "http://mmisamore.github.io/posts/2015-02-12-fun-with-fixed-points/", "published_at": "2015-02-12T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffac434b44", "title": "Types and semantics", "url": "http://mmisamore.github.io/posts/2014-10-23-types-and-semantics/", "published_at": "2014-10-23T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffac94d4e7", "title": "A Law for Foldable", "url": "http://mmisamore.github.io/posts/2014-10-19-foldable-laws/", "published_at": "2014-10-19T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffad76b830", "title": "Aperiodic semigroups contain no nontrivial subgroups", "url": "http://mmisamore.github.io/posts/2014-09-20-aperiodic-semigroups/", "published_at": "2014-09-20T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffad9ab67d", "title": "Fun with Monogenic Semigroups", "url": "http://mmisamore.github.io/posts/2014-09-17-monogenic-semigroups/", "published_at": "2014-09-17T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffae623ead", "title": "My ETL philosophy", "url": "http://mmisamore.github.io/posts/2014-09-11-my-etl-philosophy/", "published_at": "2014-09-11T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffaf0fc25b", "title": "Fizzbuzz Redux", "url": "http://mmisamore.github.io/posts/2014-08-09-fizzbuzz-redux/", "published_at": "2014-08-09T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffaf855b6c", "title": "Statically Typed Substructures", "url": "http://mmisamore.github.io/posts/2014-08-08-static-substructures/", "published_at": "2014-08-08T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffaf8e92ec", "title": "Type-level modular arithmetic", "url": "http://mmisamore.github.io/posts/2014-07-31-typelevelmod/", "published_at": "2014-07-31T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb047c3ee", "title": "Adventures in Existential Quantification", "url": "http://mmisamore.github.io/posts/2014-07-27-existentials/", "published_at": "2014-07-27T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb0496e81", "title": "Return values vs. Exceptions", "url": "http://mmisamore.github.io/posts/2014-07-15-return-values-exceptions/", "published_at": "2014-07-15T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb1207707", "title": "The commutative monoid of the Maybe monad", "url": "http://mmisamore.github.io/posts/2014-06-27-maybe-monoid/", "published_at": "2014-06-27T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb1744556", "title": "Extensible effects and understanding functional patterns", "url": "http://mmisamore.github.io/posts/2014-06-12-understanding-haskell/", "published_at": "2014-06-12T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb1d496c0", "title": "Yesod and cabal hell", "url": "http://mmisamore.github.io/posts/2014-06-09-more-cabal-hell/", "published_at": "2014-06-09T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb295f250", "title": "directed-cubical 0.1.2.0", "url": "http://mmisamore.github.io/posts/2014-06-08-directed-cubical/", "published_at": "2014-06-08T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb2a4e31e", "title": "Vim, Forth, and Emergent Behavior", "url": "http://mmisamore.github.io/posts/2014-03-15-emergent-vim/", "published_at": "2014-03-15T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb36074e7", "title": "Announcing directed-cubical 0.1.0.0", "url": "http://mmisamore.github.io/posts/2014-02-19-directed-cubical/", "published_at": "2014-02-19T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb449b1e3", "title": "Loops and Haskell's \"iterate\"", "url": "http://mmisamore.github.io/posts/2014-02-15-iterate/", "published_at": "2014-02-15T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb46df96f", "title": "FizzBuzz via the string monoid", "url": "http://mmisamore.github.io/posts/2014-01-31-fizzbuzz/", "published_at": "2014-01-31T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb52d5294", "title": "Haskell: The Good, the Bad, and the Ugly", "url": "http://mmisamore.github.io/posts/2014-01-31-haskell-likes-and-dislikes/", "published_at": "2014-01-31T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb5f77d81", "title": "Dependency Hell with Cabal", "url": "http://mmisamore.github.io/posts/2014-01-24-dependency-hell-with-cabal/", "published_at": "2014-01-24T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb6036bd4", "title": "List Processing in Databases, again...", "url": "http://mmisamore.github.io/posts/2011-03-18-list-processing-in-databases-again/", "published_at": "2011-03-18T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb6a92dfc", "title": "Fun with finite strings", "url": "http://mmisamore.github.io/posts/2011-02-20-fun-with-finite-strings/", "published_at": "2011-02-20T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb73e46b9", "title": "Thoughts on SQL", "url": "http://mmisamore.github.io/posts/2011-02-04-thoughts-on-sql/", "published_at": "2011-02-04T00:00:00+00:00" }, { "id": "01a087a7-ab30-7145-81ba-1cffb8119f7c", "title": "About", "url": "http://mmisamore.github.io/pages/about/", "published_at": null } ] posts Claim your blog
Back to mmisamore.github.io
Blog · corpus.blog/blogs/mmisamore.github.io/posts

mmisamore.github.io

mmisamore.github.io

2025

Futamura Projections in a Nutshelloriginal ↗
27 Jul 2025

2024

Perfectly Correlated Bernoulli Random Variablesoriginal ↗
6 Jan 2024

2017

Scaling "Make Illegal States Unrepresentable"original ↗
19 Jun 2017

2016

Continuations and Free Algebrasoriginal ↗
12 Mar 2016

2015

Tests as Dataoriginal ↗
17 Oct 2015
uncurry id == uncurry ($)original ↗
26 Jul 2015
Maybe [a]?original ↗
13 Jul 2015
Set is not a Functor (redux)original ↗
28 Apr 2015
Deriving Type Derivativesoriginal ↗
19 Apr 2015
Stabilizing Valuesoriginal ↗
8 Apr 2015
Fun with fixed pointsoriginal ↗
12 Feb 2015

2014

Types and semanticsoriginal ↗
23 Oct 2014
A Law for Foldableoriginal ↗
19 Oct 2014
Aperiodic semigroups contain no nontrivial subgroupsoriginal ↗
20 Sept 2014
Fun with Monogenic Semigroupsoriginal ↗
17 Sept 2014
My ETL philosophyoriginal ↗
11 Sept 2014
Fizzbuzz Reduxoriginal ↗
9 Aug 2014
Statically Typed Substructuresoriginal ↗
8 Aug 2014
Type-level modular arithmeticoriginal ↗
31 Jul 2014
Adventures in Existential Quantificationoriginal ↗
27 Jul 2014
Return values vs. Exceptionsoriginal ↗
15 Jul 2014
The commutative monoid of the Maybe monadoriginal ↗
27 Jun 2014
Extensible effects and understanding functional patternsoriginal ↗
12 Jun 2014
Yesod and cabal helloriginal ↗
9 Jun 2014
directed-cubical 0.1.2.0original ↗
8 Jun 2014
Vim, Forth, and Emergent Behaviororiginal ↗
15 Mar 2014
Announcing directed-cubical 0.1.0.0original ↗
19 Feb 2014
Loops and Haskell's "iterate"original ↗
15 Feb 2014
FizzBuzz via the string monoidoriginal ↗
31 Jan 2014
Haskell: The Good, the Bad, and the Uglyoriginal ↗
31 Jan 2014
Dependency Hell with Cabaloriginal ↗
24 Jan 2014

2011

List Processing in Databases, again...original ↗
18 Mar 2011
Fun with finite stringsoriginal ↗
20 Feb 2011
Thoughts on SQLoriginal ↗
4 Feb 2011

Undated

Aboutoriginal ↗
—