Home | Search | Help  
Home Page Università di Genova

Seminar Details


Date 23-2-2011
Time 14:30
Room/Location DISI-Sala conferenze 3 piano
Title Haskell
Speaker Mario Pastorelli
Affiliation
Link http://informatica.aulaweb.unige.it/course/view.php?id=244&cal_m=12&cal_y=2010
Abstract Haskell Ŕ un linguaggio funzionale puro ad alto livello per lo sviluppo di programmi general purpose ispirato al lambda calcolo, con supporto per le funzioni higher-order e la valutazione lazy. Staticamente tipato e compilato, supporta tipi polimorfici e il meccanismo delle typeclasses come sistema di astrazione. Il tutorial Ŕ diviso in due parti distinte: * descrizione del linguaggio, accompagnata da alcuni esempi, in cui verranno affrontati i principali aspetti del linguaggio (tipi, funzioni, typeclasses e moduli) * introduzione alla classe delle monadi, passando dalla monade dell'IO in cui sarÓ spiegato come Haskell gestisce la separazione tra funzioni pure e non.
Back to Seminars