Top all-time · #7313
𝐖ell-𝚻yped 𝐑eflections
Personal blog · lptk.github.io/programmingprogramming
𝐖ell-𝚻yped 𝐑eflections is a personal blog at lptk.github.io about programming. Since 2018, 11 different Hacker News readers have linked it 13 times, most often “Demystifying MLsub – The Simple Essence of Algebraic Subtyping”. The last post was in 2020, but the archive is still widely read.
Too few sampled comments (5) to say how often HN recommends it.?
Why HN links it
Linked for Haskell and type-inference write-ups: a guide to monoid comprehensions and posts on algebraic subtyping (MLsub, SimpleSub). Commenters praise the monoid page and recommend the author's SimpleSub work.
Summarised by Claude from a sample of 5 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- Demystifying MLsub – The Simple Essence of Algebraic Subtyping5 people · 6 mentions · first linked 2020-07-24
What Hacker News says?
There was an interesting paper I read the other day about a scheme for guaranteed constant time dynamic allocation and deallocation. The idea was you make all objects identical in size (they used 32 bytes). Then, on deallocation of a 32 byte node, you just put the node on a free list. Then, when a new allocation request comes in decrement the ref count of any *direct* reference(s) and move those objects to the free…
Comment linking /files/ctrc-2024-05-09.pdf
on “Low-latency scripting for game engines”Submitted Demystifying MLsub – The Simple Essence of Algebraic Subtyping as a story · 76 points
HN discussionMonoids are pretty cool in theory, and at the same time, the tool I use least of when working with Haskell. This page [0] really shows how elegant Monoid comprehension would be when implementing SQL-like operations within pure Haskell code. (Goes over desugaring, implementation details and comparison to list/monad comprehensions, just jump down to examples) [0] https://lptk.github.io/programming/2018/10/04/comprehen…
Comment linking /programming/2018/10/04/comprehending-monoids-with-class.html
on “Introduction to Haskell Typeclasses”Submitted Scala Pattern Matching Warts and Improvements as a story · 2 points
HN discussionI recommend anyone interested in this to check the work of Lionel Parreaux, in particular SimpleSub, which is equivalent to MLsub but substantially simpler. As it turns out, Dolan's main contribution wasn't the algorithm (which is overly complex, as proven by Parreaux's simpler implementation), but the type language - the insight that most subtyping constraints can be removed and/or simplified to simple union and in…
Comment linking /programming/2020/03/26/demystifying-mlsub.html
on “Subtype Inference by Example”Submitted Demystifying MLsub – The Simple Essence of Algebraic Subtyping as a story · 1 points
HN discussion> (From the POV of static types, dynamically typed languages are just untyped languages, that is, languages that have exactly one type) I believe the mistake you are making is assuming that TLA+ has some kind of runtime where things are "executed" (static vs. dynamic in the context of programming languages refers to, roughly, compile-time vs. execution-time). Model checking in TLA+ is actually analogous to "running…
Comment linking /files/[v8.0]%20mlstruct.pdf
on “Quint: A specification language based on the temporal logic of actions (TLA)”Submitted Y Combinator explained in Python (2019) as a story · 1 points
HN discussionBlog post: https://lptk.github.io/programming/2020/03/26/demystifying-m... Preprint article: https://lptk.github.io/simple-sub-paper
Comment linking /simple-sub-paper
on “The Simple Essence of Algebraic Subtyping: Principal Type Inference”Submitted Demystifying MLsub – Global Type Inference for an ML with Subtypes as a story · 1 points
HN discussionSubmitted Demystifying MLsub – The Simple Essence of Algebraic Subtyping as a story · 1 points
HN discussionSubmitted Demystifying MLsub: the simple essence of algebraic subtyping as a story · 1 points
HN discussion
