My new blog post about GHC’s specialization optimization is now published on the Well-Typed blog.
20 Likes
The ideal conclusion of this kind of work could be an implementation of profile-guided optimization in GHC, where specializations are generated automatically based on previous execution traces made available at compilation.
An example from another ecosystem: in the Java world, GraalVM uses such profile-guided optimizations when compiling ahead of time.
3 Likes
These are outstanding! Thank you very much!
3 Likes
Fantastic work, thanks a bunch Finley!
1 Like
Groundbreaking! Great job Finley