Add unifying type inference
Open
dslx
enhancement
long-term-enhancement
- Dominant language
- C++
- Stars
- 1.9k
- Forks
- 283
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 135
Description
Right now DSLX type inference is purely deductive (because it was simpler for proof of concept purposes). We should replace this with a unifying type inference algorithm (HM style) when the type inference is finished porting to C++ from Python.
Contributor guide
Assessment
This issue has not been assessed yet.