search

asoffer / Icarus

An experimental general-purpose programming language
Apache License 2.0
9 stars 2 forks source link

Ability to jump to the next block in a scope. #72

Closed asoffer closed 2 years ago

asoffer commented 3 years ago

We want to be able to have multiple blocks in a given scope with the same name. This would be useful for scopes mimicking monadic behavior. You could imagine a sequence of "then" blocks that act on futures appending work. Or perhaps a scope applying a map/filter/reduce to a collection, where we may end up with a map block multiple times.

However today when choosing a block to jump to, we jump to it by name. This means we need another mechanism to determine which block we jump to.

In the cases above simply jumping to the next block in the scope suffices, so we should start there, though it may be valuable to consider options for computing which block to jump to more generally.

asoffer commented 2 years ago

This is superseded by the proposal in #81.