ghc Archives - IT Nursery

optimization, Programming

IT Nursery

What optimizations can GHC be expected to perform reliably?

GHC has a lot of optimizations that it can perform, but I don’t know what they all are, nor how likely they are ...

June 2, 2022
0 Comments

performance, Programming

IT Nursery

Reading GHC Core

Core is GHC’s intermediate language. Reading Core can help you better understand the performance of your program. Someone asked me for documentation or ...

May 31, 2022
0 Comments

haskell, Programming

IT Nursery

When is -XAllowAmbiguousTypes appropriate?

I’ve recently posted a question about syntactic-2.0 regarding the definition of share. I’ve had this working in GHC 7.6: {-# LANGUAGE GADTs, TypeOperators, ...

May 29, 2022
0 Comments

Why is Haskell (GHC) so darn fast?

Haskell (with the GHC compiler) is a lot faster than you’d expect. Used correctly, it can get close-ish to low-level languages. (A favorite ...

May 15, 2022
0 Comments

Techniques for Tracing Constraints

Here’s the scenario: I’ve written some code with a type signature and GHC complains could not deduce x ~ y for some x ...

May 14, 2022
0 Comments

What does the `forall` keyword in Haskell/GHC do?

I’m beginning to understand how the forall keyword is used in so-called “existential types” like this: data ShowBox = forall s. Show s ...

May 11, 2022
0 Comments

Transitivity of Auto-Specialization in GHC

From the docs for GHC 7.6:...

May 9, 2022
0 Comments