Tipos e Inferência de variáveis

Inferência de tipos foi implementada pela primeira vez em Delégua na versão 0.6.1. Inferir o tipo de uma variável é um esforço de dedução do tipo da estrutura de dados da variável por meio do valor sendo atribuído a ela. Ocorre em declarações como:

var a = 1 // Infere o tipo como 'número'
var b = 'texto' // Infere o tipo como 'texto'

No modo LAIR, podemos verificar a variável e o resultado da inferência:

delegua> var a = 1

delegua> a
{"valor":1,"tipo":"número"}

Uma vez inferido, o tipo da variável não muda até o final da execução.

tipo de

Para obter o tipo de uma variável, podemos usar a expressão tipo de.

var a = 1
escreva(tipo de a) // "número"