Top all-time · #15613
Haskell for Pragmatic Programmers
Personal blog · kseo.github.ioprogramming
Haskell for Pragmatic Programmers is a personal blog at kseo.github.io about programming. Since 2017, 5 different Hacker News readers have linked it 6 times. The last post was in 2017, but the archive is still widely read.
Too few sampled comments (4) to say how often HN recommends it.?
Why HN links it
Cited by HN readers as a reference on continuation-passing-style interpreters, and a Dhall post is discussed in a thread about Haskell language extensions.
Summarised by Claude from a sample of 4 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
What Hacker News says?
I highly recommend folks to view this talk by the venerable Cliff Click called "Bits of Advice For the VM Writer" [1] Of particular interest are Continuation Style Passing Interpreters [2] and how much of a speedup you can get by going to raw assembly. The talk has lessons Cliff learned from his years on the JVM but those can be adapted easily to other runtimes. [1] https://youtu.be/Hqw57GJSrac?t=341 [2] https://kse…
Comment linking /posts/2017-01-09-continuation-passing-style-interpreter.html
on “Building Fast Interpreters in Rust”Submitted I Learned Haskell (2017) as a story · 3 points
HN discussionThis method of design is called a Continuation Passing Style Interpreter. [1] Here's a production version from OpenJ9's JVM ByteCode Interpreter. [2] [1] https://kseo.github.io/posts/2017-01-09-continuation-passing... [2] https://github.com/eclipse/openj9/blob/01be53f659a8190959c16...
Comment linking /posts/2017-01-09-continuation-passing-style-interpreter.html
on “Building Fast Interpreters in Rust”Submitted Foldl vs. foldl' as a story · 3 points
HN discussion> Also typically language extensions are pretty simple, single purpose, and well documented. I will try again to explain with an example how these extensions are borderline user-hostile. One of those extensions in your article linked above is apparently something called `DoAndIfThenElse` which enables if..then..else syntax with if and then on the same line, so far as I can tell [1]. When building programs that assum…
Comment linking /posts/2014-01-13-DoAndIfThenElse-language-extension.html
on “Dhall: A Gateway Drug to Haskell”I was recently reading into Total Functional Programming [1] and found it surprising that it seems possible to reason about/model Turing Machines in languages which guarantee a program's termination [2]. I've barely scratched the surface, but I feel like it's a fun combination of engineering and theoretical/philosophical issues. I'd super appreciate and fellow HNers suggestions for related resources or things to rea…
Comment linking /posts/2015-06-18-total-functional-programming.html
on “Verified Programming of Turing Machines in Coq (2020)”