corpus.blog
Most cited
Talked about
Blogs
41554 blogs · [ { "id": "01a0879f-7eff-710d-9251-1e149cc77e78", "title": "Homomorphic static analysis", "url": "http://marcosh.github.io/post/2026/05/21/homomorphic-static-analysis.html", "published_at": "2026-05-21T06:06:42+00:00" }, { "id": "01a0879f-7f00-7393-8888-bd61dda48f3c", "title": "Categorical transformers", "url": "http://marcosh.github.io/post/2026/05/08/categorical-transformers.html", "published_at": "2026-05-08T06:06:42+00:00" }, { "id": "01a0879f-7f00-7393-8888-bd61ddf1cb40", "title": "The Mondrian introduction to functional optics", "url": "http://marcosh.github.io/post/2025/10/07/the-mondrian-introduction-to-functional-optics.html", "published_at": "2025-10-07T06:06:42+00:00" }, { "id": "01a0879f-7f00-7393-8888-bd61dee7c5eb", "title": "Four ways of declaring interfaces in Haskell", "url": "http://marcosh.github.io/post/2025/07/22/four-ways-of-declaring-interfaces-in-haskell.html", "published_at": "2025-07-22T06:06:42+00:00" }, { "id": "01a0879f-7f00-7393-8888-bd61df5dff6d", "title": "Decoupling from dependencies", "url": "http://marcosh.github.io/post/2025/07/09/decoupling-from-dependencies.html", "published_at": "2025-07-09T06:06:42+00:00" }, { "id": "01a0879f-7f00-7393-8888-bd61dfb82095", "title": "Combining monads with natural transformations", "url": "http://marcosh.github.io/post/2025/03/10/combining-monads.html", "published_at": "2025-03-10T06:06:42+00:00" }, { "id": "01a0879f-7f00-7393-8888-bd61e090f88e", "title": "Domain modelling with state machines", "url": "http://marcosh.github.io/post/2021/10/27/ddd-state-machines.html", "published_at": "2021-10-27T06:06:42+00:00" }, { "id": "01a0879f-7f00-7393-8888-bd61e0f1c302", "title": "Either why or how", "url": "http://marcosh.github.io/post/2021/09/24/either-why-or-how.html", "published_at": "2021-09-24T06:06:42+00:00" }, { "id": "01a0879f-7f00-7393-8888-bd61e1858e72", "title": "PHP ❤️ types", "url": "http://marcosh.github.io/presentations/2021/06/08/php-loves-types.html", "published_at": "2021-06-08T06:00:00+00:00" }, { "id": "01a0879f-7f00-7393-8888-bd61e24789b6", "title": "Introducing Haskell in Soisy", "url": "http://marcosh.github.io/post/2021/06/04/introducing-haskell-in-soisy.html", "published_at": "2021-06-04T06:06:42+00:00" } ] posts
Claim your blog
Back to marcosh.github.io
Blog · corpus.blog/blogs/marcosh.github.io/posts
marcosh.github.io
marcosh.github.io
2026
Homomorphic static analysis
original ↗
21 May 2026
Categorical transformers
original ↗
8 May 2026
2025
The Mondrian introduction to functional optics
original ↗
7 Oct 2025
Four ways of declaring interfaces in Haskell
original ↗
22 Jul 2025
Decoupling from dependencies
original ↗
9 Jul 2025
Combining monads with natural transformations
original ↗
10 Mar 2025
2021
Domain modelling with state machines
original ↗
27 Oct 2021
Either why or how
original ↗
24 Sept 2021
PHP ❤️ types
original ↗
8 Jun 2021
Introducing Haskell in Soisy
original ↗
4 Jun 2021