Linguaggi Funzionali 2004/2005

• una segnatura funtoriale FINITEMAP(ORDERED) con funzioni empty, bind, lookup e collect
• una implementazione funtoriale FiniteMap(ORDERED) con le stesse funzioni di cui sopra
• una implementazione funtoriale StringFiniteMap le cui chiavi sono stringhe

fromOrdList : Elem list -> tree

che converte una lista ordinata senza duplicati in un albero rosso/nero. Deve funzionare in tempo O(n), dove n è la lunghezza della lista

Si definiscano le seguenti funzioni su stream (finiti e infiniti):

• numbers, che restituisce lo stream di tutti i numeri (positivi e negativi) in un ordine scelto da voi
• fib, che restituisce lo stream dei numeri di Fibonacci: 1, 1, 2, 3, 5, 8, 13, ...
• alternate s, che restituisce lo stream ottenuto prendendo un elemento sì e uno no dello stream s. La si usi per definire i numeri pari e i numeri dispari
• stream_map s f, che restituisce lo stream ottenuto da s applicando a ciascun elemento la funzione f
• stream_filter s p, che restituisce lo stream ottenuto da s eliminando tutti gli elementi che non soddisfano il predicato p
• even_pairs, che restituisce l'insieme delle coppie non ordinate (m,n) in cui la differenza n - m è pari

let eratostenes = sieve (from 2)

e si provi l'implementazione con

print eratostenes

Lezione 12 (25 febbraio 2005)