ΛΓΧ.ΨΘΗΚΟ Live Demo

λ: Εισαγωγή χαρακτηριστικού πλαισίου για επαγωγικούς Π-τύπους.


// Παράδειγμα Π-αναδρομής
define ackermann(m, n) : Integer = {
  if m == 0 {
    return n + 1
  } else if n == 0 {
    return ackermann(m - 1, 1)
  } else {
    return ackermann(m - 1, ackermann(m, n - 1))
  }
}


// Ρύθμιση βέλτιστων μετασχηματισμών
optimization_flags = {
  reduce: true, 
  memoize: "full",
  target: "webasm"
}

// Εκκίνηση σύστασης
compile(ackermann, optimization_flags)