56,966 blogs · [ { "id": "01a08752-4cf1-7319-8087-5c8466b25ddc", "title": "1SubML: Plan vs Reality", "url": "https://blog.polybdenum.com/2026/04/05/1subml-plan-vs-reality.html", "published_at": "2026-04-05T00:08:00+00:00" }, { "id": "01a08752-4cf2-70d3-9ad1-b81091245f5f", "title": "PolySubML is broken", "url": "https://blog.polybdenum.com/2025/11/13/polysubml-is-broken.html", "published_at": "2025-11-13T03:04:00+00:00" }, { "id": "01a08752-4cf2-70d3-9ad1-b81091efa5eb", "title": "X Design Notes: Pattern Matching II", "url": "https://blog.polybdenum.com/2025/09/21/x-design-notes-pattern-matching-ii.html", "published_at": "2025-09-21T23:35:00+00:00" }, { "id": "01a08752-4cf2-70d3-9ad1-b8109243718f", "title": "X Design Notes: Pattern Matching I", "url": "https://blog.polybdenum.com/2025/09/15/x-design-notes-pattern-matching-i.html", "published_at": "2025-09-15T04:45:00+00:00" }, { "id": "01a08752-4cf2-70d3-9ad1-b810926712f5", "title": "X Design Notes: GADTs", "url": "https://blog.polybdenum.com/2025/09/08/x-design-notes-gadts.html", "published_at": "2025-09-08T04:50:00+00:00" }, { "id": "01a08752-4cf2-70d3-9ad1-b81093503862", "title": "X Design Notes: Parameterized Types and Higher Kinded Type Inference", "url": "https://blog.polybdenum.com/2025/09/02/x-design-notes-parameterized-types-and-higher-kinded-type-inference.html", "published_at": "2025-09-02T04:53:00+00:00" }, { "id": "01a08752-4cf2-70d3-9ad1-b81093ec4547", "title": "X Design Notes: Nominal Types, Newtypes, and Implicit Coercions", "url": "https://blog.polybdenum.com/2025/08/25/x-design-notes-nominal-types-newtypes-and-implicit-coercions.html", "published_at": "2025-08-25T06:38:00+00:00" }, { "id": "01a08752-4cf2-70d3-9ad1-b810945409d5", "title": "X Design Notes: Unifying OCaml Modules and Values", "url": "https://blog.polybdenum.com/2025/08/19/x-design-notes-unifying-ocaml-modules-and-values.html", "published_at": "2025-08-19T01:25:00+00:00" }, { "id": "01a08752-4cf2-70d3-9ad1-b810954539c0", "title": "Why You Need Subtyping", "url": "https://blog.polybdenum.com/2025/03/26/why-you-need-subtyping.html", "published_at": "2025-03-26T02:13:00+00:00" }, { "id": "01a08752-4cf2-70d3-9ad1-b81095b95288", "title": "The problem with type aliases", "url": "https://blog.polybdenum.com/2025/03/01/the-problem-with-type-aliases.html", "published_at": "2025-03-01T04:03:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/blog.polybdenum.com/posts