Top all-time · #1131
Well-Typed Blog
Company blog · well-typed.com/blogprogrammingbusiness
Well-Typed Blog is the company blog at well-typed.com, writing about programming and business. Since 2010, 60 different Hacker News readers have linked it 85 times, most often “Fix-ing regular expressions”. It is still writing: the last post was on 2026-10-29, and you can follow it by feed.
Most-linked posts?
- Fix-ing regular expressions2 people · 3 mentions · first linked 2020-06-04
- Overloaded Record Fields for Haskell2 people · 3 mentions · first linked 2014-08-03
- Falsify: Hypothesis-Inspired Shrinking for Haskell (2023)2 people · 2 mentions · first linked 2025-04-19
- The Parallel Haskell Digest: Spring Edition2 people · 2 mentions · first linked 2011-05-11
- Calling Purgatory from Heaven: Binding to Rust in Haskell2 people · 2 mentions · first linked 2023-04-05
- /blog/2019/10/nonmoving-gc-merge/2 people · 2 mentions · first linked 2020-06-24
- The New Cloud Haskell2 people · 2 mentions · first linked 2012-10-05
- A tool for automatic Haskell binding generation from C header files2 people · 2 mentions · first linked 2026-02-10
- Parallel Haskell Digest: sparks, threadscope, concurrent servers... 2 people · 2 mentions · first linked 2011-04-02
- How we might abolish Cabal Hell, part 12 people · 2 mentions · first linked 2014-09-30
What Hacker News says?
A lazy, immutable rose tree This article shows some really cool stuff you can do with it https://www.well-typed.com/blog/2019/05/integrated-shrinking...
Comment linking /blog/2019/05/integrated-shrinking/
on “Ask HN: What are some cool but obscure data structures you know about?”Submitted Falsify: Hypothesis-Inspired Shrinking for Haskell (2023) as a story · 90 points
HN discussionIt sounds like you need to learn about parametricity. https://www.well-typed.com/blog/2015/05/parametricity/
Comment linking /blog/2015/05/parametricity/
on “Why Haskell?”Submitted Cloud Haskell: work-stealing, master-slave and work-pushing as a story · 84 points
HN discussionNo special hardware is required — it's all in the runtime. Quoting from Parallel Haskell Digest[1]: """You may have heard of sparks and threads in the same sentence. What's the difference? A Haskell thread is a thread of execution for IO code. Multiple Haskell threads can execute IO code concurrently and they can communicate using shared mutable variables and channels. Sparks are specific to parallel Haskell. Abstra…
Comment linking /blog/52
on “Why have CPUs been limited in frequency to around 3.5Ghz for so many years?”Submitted How we might abolish Cabal Hell, part 1 as a story · 75 points
HN discussionWhat is "the library approach"? Library approaches have failed. See http://www.well-typed.com/blog/2016/09/sharing-conduit/
Comment linking /blog/2016/09/sharing-conduit/
on “Rust RAII is better than the Haskell bracket pattern”Submitted Efficient Amortised and Real-Time Queues in Haskell as a story · 72 points
HN discussion> “secret weapon” and do not advertise it Both Standard Chartered and Barclays loudly advertise that they use Haskell. A quick web search turns up their job offers on Reddit, and both also send people to conferences such as Haskell eXchange, to talk about their team tasks, structure, and size. Example: [1] Their code bases were discussed on HN before, e.g. [2]. Standard Chartered also funded the development of GHCs…
Comment linking /blog/2019/10/nonmoving-gc-merge/
on “Haskell for a New Decade [pdf]”Submitted Understanding Memory Fragmentation in Haskell as a story · 67 points
HN discussionHere's a recent blog post of a very elegant k-means implementation in cloud haskell. It's part of the effort to bring an erlang-like, CSP style, DSL-based message passing to haskell. http://www.well-typed.com/blog/74
Comment linking /blog/74
on “Using python and k-means to find dominant colors in images”Submitted Monads: From Web 2.0 to Hardware Drivers as a story · 66 points
HN discussionIs the stuff about GHC's garbage collector still valid? (I have no idea, but I found this https://www.well-typed.com/blog/2019/10/nonmoving-gc-merge/ "Low-latency garbage collector merged for GHC 8.10", which is more recent than the OP blog post) Is the “backwards compatibility at all costs” point about Go still valid? https://blog.golang.org/using-go-modules ...it seems like you can specify versioned deps now
Comment linking /blog/2019/10/nonmoving-gc-merge/
on “Three Months of Go from a Haskeller’s perspective (2016)”Submitted Haskell performance profiling with ghc-events-analyze as a story · 64 points
HN discussionThere's also some work pushing Haskell to perform better (more like Elixir) in networking/concurrency applications: http://www.well-typed.com/blog/2019/10/nonmoving-gc-merge/
Comment linking /blog/2019/10/nonmoving-gc-merge/
on “Write Junior Code”Submitted On Hiring Haskell People as a story · 54 points
HN discussionIn terms of GHC's evolution, this looks really promising to me: http://www.well-typed.com/blog/2019/10/nonmoving-gc-merge/
Comment linking /blog/2019/10/nonmoving-gc-merge/
on “Developing GHC for a Living”Submitted When "blocked indefinitely" is not indefinite as a story · 41 points
HN discussionIt's well defined, but there's no good solution to this problem yet! See: http://www.well-typed.com/blog/2014/09/how-we-might-abolish-... It's true for every language out there, not just Haskell.
Comment linking /blog/2014/09/how-we-might-abolish-cabal-hell-part-1/
on “GNU Guix 0.8 released”Submitted Communication Patterns in Cloud Haskell as a story · 40 points
HN discussionYeah, it really depends on the language and build artifact characteristics, but I'm mostly speaking about my experience with haskell and C. Natively compiled languages tend to have more problems with this because the libraries themselves hold linker references to each other. Versioning isolation alone isn't enough to solve these cases, because you can end up needing multiple copies of the same version of a library t…
Comment linking /blog/2015/01/how-we-might-abolish-cabal-hell-part-2/
on “Comparison of Programming Language Package Managers”Submitted Implementing a minimal version of haskell-servant as a story · 25 points
HN discussionHaskell is getting row polymorphism[1] for records (going under the name OverloadedRecordFields) in the next release. The new language extension will also play well with lenses, making records even more versatile. However, we're still not getting special syntax for field access, so it'll be function application (g f) instead of a dot (f.g). This isn't a major drawback, but it means that a field g has to be in scope…
Comment linking /blog/84/
on “Caml Trading – Experiences with OCaml on Wall Street [video]”Submitted Parallel Haskell Digest 4 as a story · 23 points
HN discussionWell-Typed, a Haskell consultancy, seems to do quite a bit of work exclusively in Haskell. For instance, they have developed an air traffic analysis tool for NATS[1] which they briefly blogged[2] about. [1] http://www.nats.co.uk/ [2] http://www.well-typed.com/blog/39
Comment linking /blog/39
on “Ask HN: Anyone using Haskell in production?”Submitted GHC activities December 2021–January 2022 as a story · 14 points
HN discussionAnd a more recent summary: The New Cloud Haskell, http://www.well-typed.com/blog/70 Compared to the previous prototype: * it is much faster; * it can run on multiple kinds of network; * has backends to support different environments (like cluster or cloud); * has a new system for dealing with node disconnect and reconnect; * has a more precisely defined semantics; * supports composable, polymorphic serialisable clos…
Comment linking /blog/70
on “Cloud Haskell: work-stealing, master-slave and work-pushing”Submitted Object Oriented Programming in Haskell as a story · 10 points
HN discussionEdward Z Yang[0] is doing a GSoC project (I think) on expanding Backpack[1][2]. He's a GHC contributor, so it's relatively big. And here's overloaded record syntax: http://www.well-typed.com/blog/84/ [0] http://ezyang.com/ [1] http://plv.mpi-sws.org/backpack/ [2] http://blog.ezyang.com/2014/07/type-classes-confluence-coher...
Comment linking /blog/84/
on “Fantasy World OCaml (2013)”Submitted Improving Hackage security as a story · 8 points
HN discussion
