Top all-time · #12494
dbp.io
Personal blog · dbp.io/essays · on HN as dbpattersonprogrammingsystems
dbp.io is a personal blog at dbp.io about programming and systems. Since 2017, 6 different Hacker News readers have linked it 11 times. The last post was in 2018, but the archive is still widely read.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
HN commenters link dbp.io's essays and papers as references on continuation-passing style, type-safe compilers and linking types. The comments do not judge the writing itself.
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.
What Hacker News says?
As mentioned in the document, continuation passing style can at times be a little difficult to read. That being said I found a talk that using continuation passing style to provide typed routing. [1] This won't be the most efficient way to perform routing in an application, but i found the implementation really simple to understand and the error messages for the end-user seem really clear as well. It also helps if t…
Comment linking /talks/2016/fn-continuations-haskell-meetup.pdf
on “Web Programming with Continuations (2002) [pdf]”Submitted FunTAL: mixing a functional language with assembly as a story · 46 points
HN discussionThere's even work to address that with linking types: https://dbp.io/pubs/2017/linking-types-snapl.pdf If the component is externally type-checked, the integration can be type checked against the language including it. They're also working on verifying compilers that do that: https://dbp.io/essays/2018-04-19-how-to-prove-a-compiler-ful... Previously, others made the assembly languages themselves type-safe. Example:…
Comment linking /essays/2018-04-19-how-to-prove-a-compiler-fully-abstract.html
on “Unsafe Haskell (2015)”Submitted Rust Distilled: An Expressive Tower of Languages [pdf] as a story · 7 points
HN discussionvideo: https://www.youtube.com/watch?v=5Py0l7CfQTo slides: https://dbp.io/talks/2017/funtal-pldi.pdf
Comment linking /talks/2017/funtal-pldi.pdf
on “FunTAL: mixing a functional language with assembly”Submitted (Cheap) home backups as a story · 4 points
HN discussionSubmitted Phantom Contracts for Better Linking [pdf] as a story · 2 points
HN discussionSubmitted FunTAL: mixing a functional language with assembly as a story · 2 points
HN discussionSubmitted The Next 700 Compiler Correctness Theorems (Functional Pearl) as a story · 1 points
HN discussionSubmitted How to prove a compiler correct as a story · 1 points
HN discussion
