1. Módulos, valores e funções

Um arquivo Flecha contribui declarações para o módulo lógico nomeado pelo cabeçalho module. Arquivos não são namespaces: dois arquivos podem contribuir para um módulo, enquanto @imports seleciona declarações exportadas de outro.

Nas declarações, o tipo vem antes do nome. As famílias primitivas incluem inteiros com e sem sinal, pontos flutuantes, bool, char e views de strings. Use := quando o inicializador tornar o tipo local óbvio; declare o tipo nas fronteiras públicas e onde a largura importar. Funções declaram parâmetros e retorno, e export é uma decisão de API.

Leia módulos e imports — em inglês junto da especificação. Em um projeto temporário, separe um cálculo puro em src/score.fl, chame-o de src/main.fl e use longbow check.

Exemplo testado

Construa uma estrutura pelo método de ciclo de vida e chame comportamento por um receptor explícito.

Arquivo: curriculum/main-evidence/single/structures.fl

// Build with: build/flecha build examples/structures.fl -o /tmp/structures
// The program returns 42.
structure Box {
    i32 x;
    private {
        i32 y;
        bool ready;
    }
};

Box Box::init(i32 x, i32 y) override {
    return build Box {
        self.x = x;
        self.y = y;
        self.ready = true;
    };
}

private i32 Box::hidden(&const self) { return self->y; }
i32 Box::value(&const self) { return self->x + self->hidden(); }
void Box::setY(&self, i32 value) { self->y = value; }
unsafe i32 Box::rawValue(*const self) { return self->x + self->y; }

structure NamedBox {
    string name = "answer";
    Box box = Box::init(2, 40); // Explicit arguments for this constructor.
};

// An unsafe tear forbids copying and moving this type. The raw target below
// remains alive until cleanup; unsafe code must uphold that requirement.
structure Counter {
    *i32 total;
};
unsafe void Counter::tear(&self) override {
    if self->total != null { *self->total = *self->total + 1; }
}
unsafe Counter make_counter(*i32 total) {
    return build Counter { self.total = total; };
}

i32 main() {
    NamedBox named = NamedBox::init();
    NamedBox copy = named; // Independently owns a copy of the string field.
    named.name = "changed";
    if copy.name != "answer" { return 1; }

    copy.box.setY(39);
    {
        ref := &copy.box;
        ref->setY(40);
    }
    unsafe {
        *Box ptr = &raw copy.box;
        if ptr->rawValue() != 42 { return 2; }
    }

    i32 cleanups = 0;
    unsafe {
        Counter counter = make_counter(&raw cleanups);
        // Fresh factory return constructs directly in counter's storage.
        // tear runs automatically at this scope's end.
    }
    if cleanups != 1 { return 3; }
    return copy.box.value();
}

O bloco acima é o arquivo completo executado pelos comandos abaixo.

O método de ciclo de vida inicializa os dois campos antes do uso do valor. A chamada de membro torna o receptor explícito, mantendo construção e comportamento ligados ao tipo declarado.

Comandos

flecha check curriculum/main-evidence/single/structures.fl
flecha build curriculum/main-evidence/single/structures.fl -o build/structures
build/structures

Saída esperada

(stdout vazio)
status de saída: 42

Referência relacionada: /examples/structures/.

1. Módulos, valores e funções

Exemplo testado

Comandos

Saída esperada

O que aprender a seguir