Tipos e Inferência

Toda linguagem tem seus tipos básicos, e SkyL não é diferente!
Aqui, esses tipos fundamentais são chamados de tipos primitivos ou tipos escalares.

Os tipos primitivos que você vai encontrar em SkyL são:

int — para números inteiros, tipo 1, 42, -7
float — para números com casas decimais, tipo 3.14, -0.5
str — para textos, tipo "Olá, SkyL!"
bool — para valores lógicos, que só podem ser true (verdadeiro) ou false (falso)

Inferência de tipos

Não precisa se preocupar em dizer o tipo das suas variáveis na hora de declarar — o compilador SkyL é esperto e usa inferência de tipos para descobrir isso automaticamente.

Exemplos práticos

Vamos ver como criar variáveis com esses tipos dentro da função main e imprimir seus valores:

def main() -> void {
    let idade = 30;           // int
    let temperatura = 36.5;   // float
    let nome = "SkyL";        // str
    let ligado = true;        // bool

    println("Idade:");
    println(idade);

    println("Temperatura:");
    println(temperatura);

    println("Nome:");
    println(nome);

    println("Ligado?");
    println(ligado);
}

Nesse exemplo, cada tipo está representado por uma variável e seus valores são impressos um após o outro.
Não se preocupe ainda com juntar texto e números numa mesma linha, veremos isso mais adiante.

Operadores Aritméticos

Agora que você já conhece os tipos básicos, vamos ver como fazer contas usando os operadores aritméticos mais comuns: +, -, * e /.

Veja um exemplo simples dentro da função main:

def main() -> void {
    let a = 10;
    let b = 3;

    let soma = a + b;
    let subtracao = a - b;
    let multiplicacao = a * b;
    let divisao = a / b;

    println("Soma:");
    println(soma);

    println("Subtração:");
    println(subtracao);

    println("Multiplicação:");
    println(multiplicacao);

    println("Divisão:");
    println(divisao);
}

Os operadores funcionam como você espera:

+ soma dois valores
- subtrai o segundo valor do primeiro
* multiplica
/ divide

Agora você já pode criar variáveis, entender seus tipos e fazer operações matemáticas básicas.
Nos próximos capítulos, vamos explorar como controlar o fluxo do seu programa com decisões condicionais e laços de repetição — para que seu código fique ainda mais poderoso! 🚀