Top all-time · #11540
Michid's Weblog
Personal blog · michid.wordpress.comprogramming
Michid's Weblog is a personal blog at michid.wordpress.com about programming. Since 2008, 7 different Hacker News readers have linked it 7 times, most often “Scala type level encoding of the SKI calculus”. The last post was in 2011, but the archive is still widely read.
Too few sampled comments (5) to say how often HN recommends it.?
Why HN links it
HN readers link this blog's post on type-level encoding in Scala, which commenters cite as proof that Scala's type system is Turing complete. Comments cite it as a source rather than judging the writing.
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.
Hacking Scala
Most-linked posts?
- Scala type level encoding of the SKI calculus3 people · 3 mentions · first linked 2013-01-22
- /2010/01/29/scala-type-level-encoding-of-the-ski-calculus/3 people · 3 mentions · first linked 2015-03-17
What Hacker News says?
> There are exceptions of course for a definition of "exceptions" being "virtually all languages with a non-trivial static type system and non-zero userbase" as shown in your link. Java ( https://arxiv.org/abs/1605.05274 ), C# ( https://blog.hediet.de/post/how-to-stress-the-csharp-compile... ), Scala ( https://michid.wordpress.com/2010/01/29/scala-type-level-enc... ), Haskell, Rust ( https://sdleffler.github.io/Rust…
Comment linking /2010/01/29/scala-type-level-encoding-of-the-ski-calculus/
on “Compiling Rust is NP-hard”Submitted Scala type level encoding of the SKI calculus as a story · 1 points
HN discussion> but it's not true of generics in most languages not sure how true that is. * TypeScript: https://github.com/microsoft/TypeScript/issues/14833 * Rust: https://sdleffler.github.io/RustTypeSystemTuringComplete/ * Haskell (GHC): https://mail.haskell.org/pipermail/haskell/2006-August/01835... * Scala: https://michid.wordpress.com/2010/01/29/scala-type-level-enc... * Java: https://arxiv.org/abs/1605.05274
Comment linking /2010/01/29/scala-type-level-encoding-of-the-ski-calculus/
on “A Review of the Zig Programming Language (Using Advent of Code 2021)”Submitted Meta-Programming with Scala: Conditional Compilation and Loop Unrolling as a story · 1 points
HN discussionHere is a proof that the Scala type system is actually Turing complete: https://michid.wordpress.com/2010/01/29/scala-type-level-enc... I can't comment on the details, I'm more of of Clojure guy.
Comment linking /2010/01/29/scala-type-level-encoding-of-the-ski-calculus/
on “Scala: Where it came from, Where it's going”Also: * Little Big Planet [1] * Scala's type system [2] [1] http://forums.xkcd.com/viewtopic.php?f=12&t=57034#p2029587 [2] http://michid.wordpress.com/2010/01/29/scala-type-level-enco...
Comment linking /2010/01/29/scala-type-level-encoding-of-the-ski-calculus/
on “Accidentally Turing-Complete”It's not the only one by any means. E.g. scala's type system is turing complete - http://michid.wordpress.com/2010/01/29/scala-type-level-enco...
Comment linking /2010/01/29/scala-type-level-encoding-of-the-ski-calculus/
on “Extension Points, or how OCaml is becoming more like Lisp”
