corpus.blog
Most cited
Talked about
Blogs
41554 blogs · [ { "id": "01a0876d-28d3-71af-81fb-6c6f9f4f9903", "title": "The hidden perils of MonadBaseControl", "url": "http://www.diogocastro.com/blog/2026/03/18/the-hidden-perils-of-monad-base-control/", "published_at": "2026-03-18T00:00:00+00:00" }, { "id": "01a0876d-28d3-71af-81fb-6c6fa03a288e", "title": "Haskell's kind system - a primer", "url": "http://www.diogocastro.com/blog/2018/10/17/haskells-kind-system-a-primer/", "published_at": "2018-10-17T00:00:00+00:00" }, { "id": "01a0876d-28d3-71af-81fb-6c6fa05ec73e", "title": "Typeclasses in perspective", "url": "http://www.diogocastro.com/blog/2018/06/17/typeclasses-in-perspective/", "published_at": "2018-06-17T00:00:00+00:00" }, { "id": "01a0876d-28d3-71af-81fb-6c6fa0da324f", "title": "On emptiness, correctness and reasoning", "url": "http://www.diogocastro.com/blog/2017/09/09/on-emptiness-correctness-and-reasoning/", "published_at": "2017-09-09T00:00:00+00:00" } ] posts
Claim your blog
Back to diogocastro.com
Blog · corpus.blog/blogs/diogocastro.com/posts
diogocastro.com
diogocastro.com
2026
The hidden perils of MonadBaseControl
original ↗
18 Mar 2026
2018
Haskell's kind system - a primer
original ↗
17 Oct 2018
Typeclasses in perspective
original ↗
17 Jun 2018
2017
On emptiness, correctness and reasoning
original ↗
9 Sept 2017