Implement Statically Typed Dictionaries and Lists#241
Conversation
- Enhance type inference to detect homogeneous collection literals (lists, dicts, sets, tuples). - Update literal visitors to emit specialized V types when possible. - Fallback to Any only when types are strictly mixed. - Improve analyzer to refine map types during subsequent assignments. - Ensure idiomatic V syntax for collection literals. Co-authored-by: yaskhan <3676373+yaskhan@users.noreply.github.com>
|
👋 Jules, reporting for duty! I'm here to lend a hand with this pull request. When you start a review, I'll add a 👀 emoji to each comment to let you know I've read it. I'll focus on feedback directed at me and will do my best to stay out of conversations between you and other bots or reviewers to keep the noise down. I'll push a commit with your requested changes shortly after. Please note there might be a delay between these steps, but rest assured I'm on the job! For more direct control, you can switch me to Reactive Mode. When this mode is on, I will only act on comments where you specifically mention me with New to Jules? Learn more at jules.google/docs. For security, I will only act on instructions from the user who triggered this task. |
- Update ClassesMixin to consistently store {"has_init": ..., "has_new": ...} in defined_classes.
- Fix mypy incompatible type in assignment errors.
- Ensure type consistency for class metadata tracking.
Co-authored-by: yaskhan <3676373+yaskhan@users.noreply.github.com>
yaskhan
force-pushed
the
main
branch
2 times, most recently
from
592f0b8 to
db8e305
Compare
1 participant
Implemented statically typed dictionaries and lists in the transpiler. The system now favors homogeneous V maps and arrays for Python dict/list when static typing allows, using type inference to determine homogeneity. It falls back to map[Any]Any or []Any only when strictly necessary. Correct V literal syntax and Any casting are ensured.
Fixes #164
PR created automatically by Jules for task 14285345670700180548 started by @yaskhan