Understanding behavior of recursive functions

I am trying to see if I can get a better understanding of this example

fun transitive_places($place: place) -> { place }:
  match
    {
      locating (located: $place, location: $parent);
    } or {
      locating (located: $place, location: $middle);
      let $parent in transitive_places($middle);
    };
  return { $parent };

fun transitive_places($place: place) -> { place }:
  match
    {
      locating (located: $place, location: $parent);
    } or {
      locating (located: $place, location: $middle);
      let $parent in transitive_places($middle);
    };
  return { $parent };

In the statement

let $parent in transitive_places($middle);

let $parent in transitive_places($middle);

, is the variable

$parent

$parent

scoped only to its branch of the disjunction or the entire disjunction?

TypeDB•5mo ago•

1 reply

rajivranganath

Understanding behavior of recursive functions

I am trying to see if I can get a better understanding of this example

fun transitive_places($place: place) -> { place }:
  match
    {
      locating (located: $place, location: $parent);
    } or {
      locating (located: $place, location: $middle);
      let $parent in transitive_places($middle);
    };
  return { $parent };

fun transitive_places($place: place) -> { place }:
  match
    {
      locating (located: $place, location: $parent);
    } or {
      locating (located: $place, location: $middle);
      let $parent in transitive_places($middle);
    };
  return { $parent };

In the statement

let $parent in transitive_places($middle);

let $parent in transitive_places($middle);

, is the variable

$parent

$parent

scoped only to its branch of the disjunction or the entire disjunction?

Understanding behavior of recursive functions

Similar Threads

Understanding behavior of recursive functions

Similar Threads

Similar Threads

Similar Threads