Skip to content

Add time constraints#15

Open
istathar wants to merge 2 commits into
technique-lang:mainfrom
istathar:time-constraints
Open

Add time constraints#15
istathar wants to merge 2 commits into
technique-lang:mainfrom
istathar:time-constraints

Conversation

@istathar

@istathar istathar commented Jul 9, 2026

Copy link
Copy Markdown
Member

Introduce the within control structure keyword to specify a subscope that must be completed within the constraint of a resource budget. Appears as follows:

    4.  Roast turkey
        { within 2 hours }
            a.  Warm oven
            b.  Put bird in to cook

Add a new syntax for "cost literals", $( ... ) for creating a new Intratempse value. This can be written in descriptive prose (at the end of a step) to indicate the resource "cost" of a step, be it in time, currency, or some other amount.

            c.  Roast dinner $(3 hours)

This syntax is also available as a literal value constructor in an expression.

The argument of within is implicitly coerced to an Intratempse if a bare Quanticle literal is written there.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant