Skip to content
0:00 / 0:00

#ghc#haskell#compilerextensions

Write a GHC extension in 30 minutes by Richard Eisenberg

Zürich Friends of Haskell

2K subscribers • 17 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Richard Eisenberg

Advanced. Deep dive for people who know the field.

3.3K views6 years ago2 recommendations

Programming languagesSystems programmingHaskellCompilers and interpreters

Richard Eisenberg live-codes a new extension to the Glasgow Haskell Compiler, demonstrating GHC's parser, renamer, and type checker.

This live-coding session will witness a brand-new (mostly useless) extension to GHC. By watching, you will get a road map of how this is done and what the moving pieces in GHC's front end are: parsing, name resolution, type checking, and error messages.

Why it's here

2 people recommend this

u/n00bombin r/haskell • Recommends

Write a GHC extension in 30 minutes by Richard Eisenberg

u/MaoStevemaoin r/functionalprogramming • Recommends

Write a GHC extension in 30 minutes by Richard Eisenberg

u/g__in r/haskell • Mentions

On “How to make new Haskell language extensions?”

The first step is creating a proposal for a new extension, which goes through a community discussion https://github.com/ghc-proposals/ghc-proposals/pulls. Once accepted, the proposal can be implemented in GHC. If you'd like to see how that's done, this is a good demonstration: link to this video