You could describe variable affectation in different ways.

Typed

int a = 1
int a := 1
let int a = 1
int a <- 1

No type

a = 1
a := 1
let a = 1
a <- 1