Software
Simulador de Cálculo Lambda
Este é um programa para auxiliar o ensino de Cálculo Lambda. É desenvolvido em Haskell, e há versões para Windows e Linux
Download
- Executável para Windows aqui (32 bits, requer o sistema de runtime GTK+ 2.24 disponível aqui )
- Executável para Linux aqui (64 bits, Ubuntu Linux 13.10+)
- Executável para Linux aqui (32 bits, Ubuntu Linux 13.10+)
- Código fonte aqui (rode "cabal install" dentro da pasta descompactada)
- Exemplo de programa com definições aqui
Simulador para Linguagem Untyped L1
Esse é um programa para auxiliar o ensino de semântica formal. A linguagem Untyped L1 é uma variante sem sistema de tipos de PCF, isto é, uma linguagem funcional pura call-by-value . Untyped L1 utiliza inteiros como booleanos (tal como C) e possui uma sintaxe concreta baseada em ML. Abaixo você encontra um interpretador e uma documentação mínima. O interpretador é desenvolvido em Haskell, e possui versões pré-compiladas para Windows e Linux.
Download