Core 0.0.1 - Tipos Primitivos

Luizss / HaskellCircuits

Transforming haskell to hardware

Other

1 stars 1 forks source link

Core 0.0.1 - Tipos Primitivos #8

Closed Luizss closed 7 years ago

Luizss commented 7 years ago

Core 0.0.1 implementará tipos de baixo nível e funções primitivas que operam nesses tipos de baixo nível. Por enquanto os tipos serão apenas os não-recursivos. Terá de ser implementado:

Sintaxe do core para tipos
Tipos primitivos como Bit, tipos produto, vetores de bits etc.
Funções primitivas que operam nesses tipos
Type check mínimo (nada complexo)

Luizss commented 7 years ago

Todos valores agora devem ter tipos, logo o sistema mudará bastante (eu acho)

[x] Modificar lexer e parser para pegar tipos
[x] Criar Vec N Bit e Bit
[x] Criar operações de slice, index e etc para vectors
[x] Implementar operações primitivas - de bit e de vetores (aritméticas continuarão? Sim)