What algorithm is used for type inference?
Open
- Dominant language
- C++
- Stars
- 8.6k
- Forks
- 1k
- PR merge metrics
- No merged PRs in 30d
Description
I am doing a survey paper and currently digging through this repository to find how type inference works here. I would appreciate any information on that.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by searching the RetDec repository for the implementation and documentation related to type inference. The issue provides no file, test, or entry point, so the work is complete only when the algorithm can be identified and explained with supporting repository references.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- compilers
- Issue type
- Documentation
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100