Bidirectional Typing · HackerPapers discussions

Bidirectional Typing — mentioned by withoutboats3

Wed, 12 Jun 2024 19:45:04 GMT

I'm suspicious about the truth of this claim. I don't think bidirectional typechecking is the problem in itself: the problem trying to do type inference when you have some extremely flexible operator overloading, subtyping, and literal syntax features. It's these "expressive" features which have made type inference in Swift far more computationally complex, not type inference itself. And certainly not bidirectional type inference; the author of this post's definition of this concept isn't even right (bidirectional typing refers to having a distinction between typing judgements which are used…

Paper and discussion history. A mention is not an endorsement.

Bidirectional Typing — mentioned by cultus

Fri, 10 Jul 2020 20:43:40 GMT

I've been really enamored of bidirectional type systems [0] lately, which seem to really give the best of all worlds. They explicitly separate inference from type checking, with the type checker switching between both modes during checking/inference. It's also more syntax directed, which makes good error messages easy. A pure HM type-system is pretty restrictive, so most ML family languages don't have global type inference anyway. [0] https://arxiv.org/pdf/1908.05839.pdf

Paper and discussion history. A mention is not an endorsement.

Bidirectional Typing — HN submission

Sun, 25 Aug 2019 11:33:47 GMT

Bidirectional Typing

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.