New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Datalog for type checking/actions? #84

Open

dhess opened this issue Jan 4, 2021 · 0 comments

Member

dhess commented Jan 4, 2021

@brprice pointed to this blog post:

https://petevilter.me/post/datalog-typechecking/

Brief notes from our Keybase chat on this:

I asked whether the approach would be to use Datalog to model/reimplement the Haskell implementation of our current typechecker?
@brprice mentioned that good error messages might be harder in Datalog, but that we should look at https://github.com/frankmcsherry/explanation
@hmac suggested this would make queries like, "What variables are in scope?" easier.

dhess transferred this issue from another repository

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment