Top all-time · #19446
Jannis Limperg
Personal blog · limperg.deprogramming
Jannis Limperg writes Jannis' Word Discounter, a personal blog at limperg.de about programming. Since 2018, 4 different Hacker News readers have linked it 4 times, most often “A Guide to Haskell GHC's Extensions”. The last post was in 2021, but the archive is still widely read.
Too few sampled comments (3) to say how often HN recommends it.?
Why HN links it
HN readers link Jannis Limperg's blog for its guide to Haskell/GHC language extensions, which commenters find handy and helpful. Another post on where type systems come from is also cited.
Summarised by Claude from a sample of 3 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- A Guide to Haskell GHC's Extensions2 people · 2 mentions · first linked 2018-08-22
What Hacker News says?
Haskell is born out of academia and PL research so it has a great ability to add extensions to the language. If you have a concept PL feature it is probably easiest to create a prototype in Haskell. A handy guide to its [extensions]( https://limperg.de/ghc-extensions/ ) Not much practical purpose for most people but nonetheless a useful feature.
Comment linking /ghc-extensions/
on “Haskell is a Bad Programming Language (2020)”Submitted A Guide to Haskell GHC's Extensions as a story · 2 points
HN discussionAs I said, I think that's a reasonable but nonstandard way to define the word "type" but it doesn't make much difference - type theory concerns itself with them, whatever they're called. But to support my "nonstandard" claim: * https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compil... mentions "Types (possibly of higher kind); e.g. [Int], Maybe" * https://limperg.de/ghc-extensions/#polykinds talks about "types…
Comment linking /ghc-extensions/
on “Where do type systems come from? (2017)”I find the GADT syntax used in the article hard to follow... Normally this is what I see, straight out of Jannis Limperg's insanely helpful compilation of language extension examples[0]: data RestrictedMaybe a where JustInt :: Int -> RestrictedMaybe Int JustString :: String -> RestrictedMaybe String Nothing :: RestrictedMaybe a Maybe the intention was more of a "from scratch" implementation (without using extensions…
Comment linking /ghc-extensions/
on “Generalized Algebraic Data Types: A Primer”