Top all-time · #15797
Types and Kinds
Personal blog · typesandkinds.wordpress.comprogramming
Types and Kinds is a personal blog at typesandkinds.wordpress.com about programming. Since 2013, 5 different Hacker News readers have linked it 5 times. The last post was in 2016, but the archive is still widely read.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
Linked in a Haskell thread about Haskell and Rust, where a commenter floats an extension proposed in one post. Another commenter mentions it only in passing, with no judgment of the writing.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Who needs terms, anyway?
What Hacker News says?
An introduction to type-level programming should also be on the list, I think—but there are no great blog posts yet about newer type-system extensions in GHC, as far as I'm aware. You can find some good posts on older techniques and features (phantom types, GADTs), but there's not much out there introducing type families other than material riffing on the papers that introduced them. (The papers are usually quite re…
Comment linking /
on “Introductions to advanced Haskell topics”Submitted Dependent typed in Haskell: Progress report as a story · 1 points
HN discussionhttps://typesandkinds.wordpress.com/2016/01/22/haskell-as-a-... I wonder if the extension proposed in this blog post would fit the bill and be attractive to certain non-Haskellers?
Comment linking /2016/01/22/haskell-as-a-gradually-typed-dynamic-language
on “Haskell and Rust”Submitted Planned change to GHC: merging types and kinds as a story · 1 points
HN discussionSubmitted Singletons v0.9 — “faking” dependent types in Haskell as a story · 1 points
HN discussion