41554 blogs · [ { "id": "01a08c61-6e16-713c-b8fb-02f9540939a0", "title": "runST does not prevent resources from escaping", "url": "https://welltypedwit.ch/posts/runst-does-not-prevent-resources-from-escaping.html", "published_at": "2025-12-30T23:00:00+00:00" }, { "id": "01a08c61-6e16-713c-b8fb-02f954d4df88", "title": "Violating memory safety with Haskell's value restriction", "url": "https://welltypedwit.ch/posts/value-restriction.html", "published_at": "2025-05-16T22:00:00+00:00" }, { "id": "01a08c61-6e16-713c-b8fb-02f9552d92f0", "title": "Newtypes Are Better Than Abstract Type Synonyms", "url": "https://welltypedwit.ch/posts/newtypes.html", "published_at": "2024-10-06T22:00:00+00:00" }, { "id": "01a08c61-6e16-713c-b8fb-02f9562347f6", "title": "Blazingly Fast™ Type Class Resolution with Tries", "url": "https://welltypedwit.ch/posts/classTries.html", "published_at": "2024-02-18T23:00:00+00:00" }, { "id": "01a08c61-6e16-713c-b8fb-02f957078e1b", "title": "Fast Map Union and Local Instances Through Instance Types", "url": "https://welltypedwit.ch/posts/insttypes.html", "published_at": "2023-02-25T23:00:00+00:00" }, { "id": "01a08c61-6e16-713c-b8fb-02f957f89669", "title": "Coherent Local Instances with Dynamic Types and ImplicitParams", "url": "https://welltypedwit.ch/posts/coherentIP.html", "published_at": "2022-08-28T22:00:00+00:00" }, { "id": "01a08c61-6e16-713c-b8fb-02f958dbc9c1", "title": "Faking Local Instances with unsafeCoerce Dict", "url": "https://welltypedwit.ch/posts/unsafeCoerceDict.html", "published_at": "2022-03-17T23:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/welltypedwit.ch/posts