jacksonopp/twill
Watch
1
0
Fork
You've already forked twill
 0
Code Issues 46 Pull requests Projects 1 Releases Packages Wiki Activity Actions

Design note: static vs. runtime-checked Region(T) guarantees #26

New issue
Open
opened 2026-08-19 02:28:57 +00:00 by jacksonopp · 0 comments
jacksonopp commented 2026-08-19 02:28:57 +00:00
Owner
Copy link

project-plan.md flags this as a genuinely open research question, not just unimplemented work. Write up the tradeoff (compile-time region-checking vs. a runtime guard) and pick a direction before the rest of this epic's issues can be scoped concretely.

project-plan.md flags this as a genuinely open research question, not just unimplemented work. Write up the tradeoff (compile-time region-checking vs. a runtime guard) and pick a direction before the rest of this epic's issues can be scoped concretely.
jacksonopp added this to the twill project 2026-08-19 02:31:04 +00:00
jacksonopp removed this from the twill project 2026-08-19 02:33:06 +00:00
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
us59/check-return-against-fn-return-type
us72/map-list-array-builtins
us71/generic-res-for-array-map-comptime-value-params
us69/list-generic-instantiation
us57/map-literals
us56/check-array-list-literals
fix/array-and-list-structure
us55/field-access-on-structs
us54/check-if-else
us58/check-string-interpolation
us7/reject-bad-programs-snapshot
us6/type-params-and-list-t
us5/type-check-operator-precedence
ci/add-ci-pipelines
No results found.
Labels
Clear labels   
bug
Something isn't working correctly

  
design
Something that requires design decisions

  
epic
Tracks a project-plan Step as a milestone-level epic

  
risk
Flags an open design question or high-uncertainty area

  
user-story
A concrete, closeable unit of work within an epic

No labels
bug
design
epic
risk
user-story
Milestone
Clear milestone
No items
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
jacksonopp/twill#26
No description provided.