Sumários

Teórica 14

6 Novembro 2023, 15:00 Diogo Miguel Ferreira Poças


Construção de tipos e de classes de tipos. A sintaxe dos registos, definição de novas classes de tipos, como tornar tipos de dados instâncias de uma classe de tipos, a classe de tipos Functor.

Livro de texto: capítulo 8, Making our own types and typeclasses.

Teórico-Prática 07

3 Novembro 2023, 13:30 Alcides Fonseca


Módulos.

Exercício 2 da ficha 6.

Teórico-Prática 07

2 Novembro 2023, 17:00 Diogo Miguel Ferreira Poças


Módulos.

Exercício 2 da ficha 6.

Teórica 13

2 Novembro 2023, 16:00 Diogo Miguel Ferreira Poças


Construção de tipos e de classes de tipos. Instâncias derivadas, as classes Eq, Ord, Show, Read, Bounded e Enum, tipos recursivos.

Livro de texto: capítulo 8, Making our own types and typeclasses.

Teórico-Prática 07

2 Novembro 2023, 13:30 Diogo Miguel Ferreira Poças


Módulos.

Exercício 2 da ficha 6.