Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Fri 23 Aug 2019 10:53 - 11:16 at Elk - Metadata Chair(s): Ningning Xie

HIE files are a new type of file that can be emitted by GHC 8.8 via the -fwrite-ide-info flag. They serialize a bunch of useful information about Haskell source files such as symbol references and type information. This means that it is easy and fast for editors and code intelligence tooling to access information about Haskell programs.

HIE files have already been put to good use, they now power the hyperlinked source functionality in Haddock and are the basis of Haskell’s nascent LSIF support. In the future we want to use them to implement a version of haskell-ide-engine which uses less resources and is more reliable, and reimplement GHCi’s +c command (which is widely used by existing tooling). These implementations in terms of HIE files are hopefully more robust and resillient to the continually changing GHC API.

This talk will be an overview of the contents of HIE files, the kinds of problems that they are well suited to solve, and an introduction to consuming them via the GHC API. We hope to give some inspiration to tooling authors about the kinds of projects they can implement just in terms of HIE files.

Fri 23 Aug

hiw-2019-papers
10:30 - 12:00: HIW 2019 - Metadata at Elk
Chair(s): Ningning XieThe University of Hong Kong
hiw-2019-papers10:30 - 10:53
Talk
Matthew PickeringUniversity of Bristol, John EricsonObsidian Systems
hiw-2019-papers10:53 - 11:16
Talk
Zubin Duggal, Matthew PickeringUniversity of Bristol
hiw-2019-papers11:16 - 11:40
Talk
hiw-2019-papers11:40 - 12:00
Talk