Lambda Days 2018 - Matthías Páll Gissurarson - Suggesting Valid Substitutions For Typed Holes

Thanks! Share it with your friends!

You disliked this video. Thanks for the feedback!

Added by admin
Register to Lambda Days newsletter to receive updates:

Matthías Páll Gissurarson

An Icelandic computer scientist/mathematician and functional programming enthusiast, currently working on his MSc at Chalmers, Sweden.

Suggesting Valid Substitutions For Typed Holes

A common problem when working large software libraries is how to discover functions and constants within those libraries. Typed holes are a feature in Haskell, where programmers can specify “holes” in expressions and have the compiler relate information about those holes inferred from the context. Our contribution is an extension to the functionality of these holes where type directed search is used to suggest valid substitutions for those holes to the programmer. This extension has been accepted into GHC.
Lambda Day 2018

Post your comment