A linguagem a que nos propusemos criar tem por objetivo a manipulação de unidades dimensionais sendo possível definir desde dimensões distintas a expressões numéricas. O sistema proposto deve permitir operações algébricas sobre as dimensões existentes como validar a respetiva correção, isto é, temos de garantir que a soma entre variáveis de diferentes tipos não é permitida. Por exemplo, apesar de ambas serem numéricos, não é possível somar distância com tempo.
- Alexandre Lopes - 88969
- André Amarante - 89198
- Carolina Marques - 85084
- Edgar Morais - 89323
- Rui Coelho - 86182