Bidirectional type checking

Toxaris / pts

Interpreter for functional pure type systems.

BSD 3-Clause "New" or "Revised" License

21 stars 7 forks source link

Bidirectional type checking #69

Closed fehrenbach closed 10 years ago

fehrenbach commented 10 years ago

Implement local type inference. Closes #3.

Blaisorblade commented 10 years ago

I just realized this is still open (from my "public issue" dashboard, https://github.com/dashboard/pulls/public). Plans?

Toxaris commented 10 years ago

It's high time to merge this, but I'm afraid of using it as the only checker for "production" PTS code. I seem to remember some issues about _ that get duplicated by normalization not being handled properly.

Maybe we can merge the bidirectional typechecking, but make the type inference optional for now?

Toxaris commented 10 years ago

Thanks for this contribution, @fehrenbach :+1: I'm sorry it took so long to merge it.