• Transparentes mostrados na última aula sobre mónades: Code "monadification" made easy.

• St.hs contendo uma versão simplificada do mónade de estado.

• Programming and Maths por Harold Carr (LambdaConf 2015).

• Ficha 13 (última)

• Transparentes mostrados na última aula sobre mónades: Code "monadification" made easy.

• St.hs contendo uma versão simplificada do mónade de estado.
• google.hs - ilustração da arquitectura map-reduce que foi mostrada nas aulas.
• FTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias completas (informação nos nós e nas folhas).

• Ficha 11
• Ficha 12

• Ficha 10
• Ficha 11

• FTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias completas (informação nos nós e nas folhas).
• Exp.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados expressões com variáveis que é usada em google.hs.

• Ficha 4

• Ficha 9
• Ficha 10

• google.hs - ilustração da arquitectura map-reduce que foi mostrada nas aulas.
• Exp.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados expressões com variáveis que é usada em google.hs.
• LTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias de folhas - LTree a = Leaf a | Fork (LTree a, LTree a) e aplicações suas (e.g. Fibonacci, duplo factorial, `merge-sort', etc).
• BTree.hs - biblioteca para o tipo de dados árvores binárias - data BTree a = Empty | Node(a, (BTree a, BTree a)), e aplicações suas (e.g. torres de Hanói, `quick-sort', etc).

• Ficha 8
• Ficha 9

• LTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias de folhas - LTree a = Leaf a | Fork (LTree a, LTree a) e aplicações suas (e.g. Fibonacci, duplo factorial, `merge-sort', etc).
• BTree.hs - biblioteca para o tipo de dados árvores binárias - data BTree a = Empty | Node(a, (BTree a, BTree a)), e aplicações suas (e.g. torres de Hanói, `quick-sort', etc).
• List.hs - biblioteca geral para listas em Haskell, contendo combinadores (e.g. catamorfismos) e exemplos de utilização.
• Nat.hs - biblioteca de naturais (combinador ciclo-for, etc).

• Ficha 6
• Ficha 7

• Ficha 5
• Ficha 6

• List.hs - biblioteca geral para listas em Haskell, contendo combinadores (e.g. catamorfismos) e exemplos de utilização.
• Nat.hs - biblioteca de naturais (combinador ciclo-for, etc).

• Programming and Maths por Harold Carr (LambdaConf 2015).

• Efeméride: foi há exactamente 40 anos (1978) que o cientista da IBM John Backus publicou o artigo da sua Turing Award - Can Programming be Liberated from the von {N}eumann Style? A Functional Style and Its Algebra of Programs - em que declarou as linguagens convencionais incapazes para os desafios que se anunciavam (arquitecturas paralelas), promovendo a programação funcional e iniciando a disciplina da álgebra da programação.

• Ficha 4

• Cp.hs - contendo os combinadores de base do cálculo de programas, e.g. split, ><, -|- etc.

• Formulário

• Ficha 3
• Ficha 4

• Efeméride: foi há exactamente 40 anos (1978) que o cientista da IBM John Backus publicou o artigo da sua Turing Award - Can Programming be Liberated from the von {N}eumann Style? A Functional Style and Its Algebra of Programs - em que declarou as linguagens convencionais incapazes para os desafios que se anunciavam (arquitecturas paralelas), promovendo a programação funcional e iniciando a disciplina da álgebra da programação.

• Ficha 2

• Cp.hs - contendo os combinadores de base do cálculo de programas, e.g. split, ><, -|- etc.

• Formulário

Material Pedagógico

Disponível à medida que a disciplina for progredindo.

Fichas das aulas práticas

• Ficha 1 (revisões de PF)

<-- 

   Ficha 2
 
   Ficha 3
 
   Ficha 4
 
   Ficha 5
 
   Ficha 6
 
   Ficha 7
 
   Ficha 8
 
   Ficha 9
 
   Ficha 10
 
   Ficha 11
 
   Ficha 12 (última)
 
!-->

Transparentes

A disponibilizar à medida que a disciplina for progredindo.

<-- 

  Transparentes mostrados nas teóricas da primeira semana de aulas: Towards Formal Software Development in VS.NET (slides 20 a 33).
 
  Transparentes mostrados na última aula sobre mónades: Code "monadification" made easy.
 

!-->

Enunciado do trabalho prático

A disponibilizar na devida altura.

<--

O material para realização do TP desta disciplina consta de um enunciado  (cp1617t.pdf) e de um zip  (cp1617t.zip) contendo a respectiva fonte (ficheiro cp1617t.lhs) + outros ficheiros auxiliares. Pressupõe-se que estão instaladas as biliotecas de Haskell abaixo referidas. 

Os alunos devem começar por ler cp1617t.pdf para avaliarem o trabalho que há para fazer. Devem ainda deixar para o fim o último problema, cuja matéria só na semana que vem começará a ser leccionada.

!-->

Bibliotecas de Software (em Haskell)

A disponibilizar à medida que a disciplina for progredindo.

<--
 

  Probability.hs, ListUtils.hs, Show.hs e St.hs - necessárias à realização do trabalho prático.
 
 google.hs  - ilustração da arquitectura map-reduce que foi mostrada nas aulas.
 
 demos.hs - contendo material auxiliar para a visualização em HTML da estrutura de dados virtual (intermédia) dos hilomorfismos qSort, hanoi, mSort etc das bibliotecas BTree.hs e LTree.hs. Experimentar qSort_vtree [6,3,9,1,7,18] e hanoi_vtree (True, 7), por exemplo. Encontrar-se-á a visualização no ficheiro _.html da directoria corrente.
 
 Exp.hs   - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados expressões com variáveis que é usada em demos.hs.
 
 FTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias completas (informação nos nós e nas folhas).
 
 LTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias de folhas - LTree a = Leaf a | Fork (LTree a, LTree a) e aplicações suas (e.g. Fibonacci, duplo factorial, `merge-sort', etc).
 
 BTree.hs - biblioteca para o tipo de dados árvores binárias - data BTree a = Empty | Node(a, (BTree a, BTree a)), e aplicações suas (e.g. torres de Hanói, `quick-sort', etc).
 
 List.hs - biblioteca geral para listas em Haskell, contendo combinadores (e.g. catamorfismos) e exemplos de utilização.
 
 Nat.hs  - biblioteca de naturais (combinador ciclo-for, etc).
 
 cp1617f02q3.hs - 'kit' de apoio à resolução da questão 3 da ficha 2.
 
 Cp.hs - contendo os combinadores de base do cálculo de programas, e.g. split, ><, -|- etc.
 
!-->

Outro material

• Formulário

Enunciados das provas de avaliação

<--
 
 
 
        
        
 01-Jun-2017 / 16h-18h / Cantina 
 Teste 
 PDF 
        
 30-Jun-2017 / 16h-18h / Cantina 
 Exame de recurso 
 PDF  com a correcção 
        
 25-Jul-2017 / 09h-11h /   Sala CP2-204 
 Exame da época especial 
 PDF 
        
!-->

"Links"

• Haskell na indústria de Software: https://wiki.haskell.org/Haskell_in_industry

-- JoseNunoOliveira - 04 Feb 2018