|
Change #31392
2014-12-08
14:11:06
|
create
Calagator::Event
1250467468
Galois tech talk: Making GHC work for you
Roll back
| description |
nil |
→ |
abstract:
GHC is a state-of-the-art optimizing compiler that is constantly being improved. But despite all of the hard work by the developers, you occasionally find yourself in need of a feature that GHC does not (yet) support. Luckily for us, GHC does have multiple extension points built into the standard compilation pipeline, in addition to exposing its functionality as a library.
In this talk I’ll give an overview of GHC’s internal architecture and existing extension points. I’ll also walk through a recent extension I wrote to improve the debugging experience in embedded DSLs.
bio:
Eric Seidel is a 3rd year PhD student at UC San Diego, where he works on the LiquidHaskell program-verification tool. |
| end_time |
nil |
→ |
2014-12-12 12:00:00 -0800 |
| id |
nil |
→ |
1250467468 |
| start_time |
nil |
→ |
2014-12-12 11:00:00 -0800 |
| title |
nil |
→ |
Galois tech talk: Making GHC work for you |
| url |
nil |
→ |
http://galois.com/blog/2014/12/tech-talk-making-ghc-work/ |
| venue_id |
nil |
→ |
202394717 |
|