🔠Scope Variables

There are two types of scope variable bindings in Gauntlet:

Both types of variables are mutable

For syntax of varPattern see Common placeholders throughout documentation

1. let-variables

let-variables use the := operator under the hood. It's syntax is:

let [TypeName] <varPattern> = <expression>

2. zero-variables

Zero-variables create an instance of a type's "zero" value. In Gauntlet, the syntax is:

zero <TypeName> <varPattern>

Working Example

Gauntlet

package main

import "fmt" as fmt

fun Unit main() {
  let Int a, b, c = (1, 2, 3)
  let myName = "Bobby"
  fmt.println(myName)

  zero Int myZeroVar
  fmt.println("The number below should be 0, since it's Int's 'zero' value:")
  fmt.println(myZeroVar)
}

Transpiled

package main

import fmt "fmt"

func main() {
	var a, b, c int = 1, 2, 3
	myName := "Bobby"
	fmt.Println(myName)
	var myZeroVar int
	fmt.Println("The number below should be 0, since it's Int's 'zero' value:")
	fmt.Println(myZeroVar)
	// Eliminates any 'unused variable' errors
	_, _, _, _, _ = a, b, c, myName, myZeroVar

}

Output

Bobby
The number below should be 0, since it's Int's 'zero' value:
0