<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="it">
	<id>https://wiki.dsy.it/index.php?action=history&amp;feed=atom&amp;title=Programmazione_funzionale</id>
	<title>Programmazione funzionale - Cronologia</title>
	<link rel="self" type="application/atom+xml" href="https://wiki.dsy.it/index.php?action=history&amp;feed=atom&amp;title=Programmazione_funzionale"/>
	<link rel="alternate" type="text/html" href="https://wiki.dsy.it/index.php?title=Programmazione_funzionale&amp;action=history"/>
	<updated>2026-05-09T09:49:54Z</updated>
	<subtitle>Cronologia della pagina su questo sito</subtitle>
	<generator>MediaWiki 1.31.16</generator>
	<entry>
		<id>https://wiki.dsy.it/index.php?title=Programmazione_funzionale&amp;diff=21296&amp;oldid=prev</id>
		<title>Sera342: Creazione della pagina</title>
		<link rel="alternate" type="text/html" href="https://wiki.dsy.it/index.php?title=Programmazione_funzionale&amp;diff=21296&amp;oldid=prev"/>
		<updated>2013-03-07T12:16:36Z</updated>

		<summary type="html">&lt;p&gt;Creazione della pagina&lt;/p&gt;
&lt;p&gt;&lt;b&gt;Nuova pagina&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{introduzione}}&lt;br /&gt;
== Turni ==&lt;br /&gt;
&lt;br /&gt;
*'''[[Programmazione funzionale 2012/2013]]&lt;br /&gt;
&lt;br /&gt;
== Anni passati ==&lt;br /&gt;
*'''[[Programmazione funzionale 2011/2012]]&lt;br /&gt;
&lt;br /&gt;
== Informazioni Generali==&lt;br /&gt;
&lt;br /&gt;
Il corso coprirà: ricorsione, strutture dati avanzate, sistemi di tipi, funzioni di ordine superiore, valutazione “eager” e “lazy”, programmazione senza effetti collaterali, ma anche imperativa e altro ancora. Verranno anche presentati i presupposti teorici della programmazione funzionale, in particolare il lambda calcolo e l'inferenza di tipo, al fine di migliorare la comprensione del paradigma. Il corso sarà basato sul linguaggio di programmazione funzionale F#, un moderno linguaggio funzionale creato da Microsoft Research, e membro della famiglia di linguaggi di programmazione .NET.&lt;br /&gt;
&lt;br /&gt;
=== Crediti Formativi ===&lt;br /&gt;
&lt;br /&gt;
6 Cfu&lt;br /&gt;
&lt;br /&gt;
== Modalità di Esame ==&lt;br /&gt;
Compitino in modalità take home, cioè vengono dati degli esercizi di programmazione da portare a casa svolgere e riconsegnare la settimana dopo.&lt;br /&gt;
Progetto finale.&lt;br /&gt;
&lt;br /&gt;
=== Giudizio sul corso ===&lt;br /&gt;
{{Giudizio}}&lt;br /&gt;
{{Giudizio/Interesse}}&lt;br /&gt;
{{Giudizio/Difficoltà}}&lt;br /&gt;
{{Giudizio/Ore}}&lt;br /&gt;
&lt;br /&gt;
[[Categoria:Corsi]][[Categoria:Corsi Informatica]][[Categoria:Corsi Secondo Semestre]]&lt;/div&gt;</summary>
		<author><name>Sera342</name></author>
		
	</entry>
</feed>