Choreographing a dance with the GHC specializer (Part 1)
Specialization is an optimization technique used by GHC to eliminate the performance overhead of ad-hoc polymorphism and enable other powerful optimizations. However, specialization is not free, since it requires more work by GHC during compilation and leads to larger executables. In fact, excessive specialization can result in significant increases in compilation cost and executable size with min
Performance improvements for HLS
TL;DR: Upcoming HLS releases will be substantially faster and more responsive for large codebases using Template Haskell, thanks to work by Well-Typed on behalf of Mercury. Haskell Language Server (HLS) is a key part of the IDE experience for Haskell. Well-Typed are actively exploring ways to maintain and improve HLS, in particular making it robust and performant on large projects. Recently, Mercu
Memory Fragmentation: A Deeper Look With ghc-debug
In a previous post, David explained how he analysed a memory usage issue which turned out to be caused by fragmentation. At the time of writing the exact cause of the fragmentation was unknown and difficult to analyse. The only thing that we could work out was the extent of the problem without formulating a strategy to fix it. In this post we will report on our progress implementing ghc-debug, a t
Fix-ing regular expressions
TL;DR: We add variables, let bindings, and explicit recursion via fixed points to classic regular expressions. It turns out that the resulting explicitly recursive, finitely described languages are well suited for analysis and introspection. It’s been almost a year since I touched the kleene library, and almost two years since I published it – a good time to write a little about regular expression
Announcing the optics library
We are delighted to announce the first Hackage release of optics, a Haskell library for defining and using lenses, traversals, prisms and other optic kinds. The optics library is broadly similar in functionality to the well-established lens library, but uses an abstract interface rather than exposing the underlying implementation of each optic kind. It aims to be easier to understand than lens, wi
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Well Typed collaborates with the Haskell Community to support HLS development
Reducing Haskell parallel build times using semaphores
falsify: Hypothesis-inspired shrinking for Haskell
Announcing new YouTube series: The Haskell Unfolder
Sharing, Space Leaks, and Conduit and friends - Well-Typed: The Haskell Consultants
Announcing a live tutorial on eventlog2html and ghc-debug
large-anon: Practical scalable anonymous records for Haskell
New large-records release: now with 100% fewer quotes
Induction without core-size blow-upa.k.a. Large records: anonymous edition
The new GHC diagnostic infrastructure
GHC activities report: June-July 2021
Towards system profiler support for GHC
Implementing a GHC Plugin for Liquid Haskell