Top all-time · #15523
Will Fancher
Personal blog · elvishjerricco.github.ioprogrammingsystems
Will Fancher's personal blog at elvishjerricco.github.io covers programming and systems. Since 2017, 5 different Hacker News readers have linked it 5 times, most often “Profunctors, Arrows, & Static Analysis”. 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 readers link Will Fancher's posts on Free Arrows and on optics for traversing nested data structures. The comments cite them as background for discussions of effect systems and optics.
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.
Most-linked posts?
- Profunctors, Arrows, & Static Analysis3 people · 3 mentions · first linked 2018-10-06
What Hacker News says?
Definitely not as popular, but Arrow-ized effect systems are an interesting area that I've seen people exploring more lately. Jake Keuhlen spoke about it at LambdaConf this year [0] [1], and John De Goes spoke a bit on the notion of Arrow-ized IO in the `zio` library for Scala that offers an alternative interface for `IO` effects [2]. Will Fancher has also written a bit on the concept of "Free Arrows", but it's a mu…
Comment linking /2017/03/10/profunctors-arrows-and-static-analysis.html
on “Adding an Effect System to OCaml [video]”Submitted Declarative Key Management with NixOps, Pass, and Nix-Plugins as a story · 3 points
HN discussion> Excellent explanation! I think this is far better than my post at explaining why optics are so useful. Thank you! > I'm not sure this has anything to do with profunctor optics per se Yes, fair! I didn't mean to imply that only profunctor constructions can be self-descriptive. Rather, I meant that optics based solely on the function arrow don't really give you anywhere to annotate with description in the first plac…
Comment linking /2017/03/10/profunctors-arrows-and-static-analysis.html
on “Traversing nested data-structures in various languages”Submitted Profunctors, Arrows, & Static Analysis as a story · 2 points
HN discussionSubmitted Applicative Sorting as a story · 2 points
HN discussion