Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save gabrielelana/d59027446ea5956ba2ab49bfcff917ec to your computer and use it in GitHub Desktop.
Save gabrielelana/d59027446ea5956ba2ab49bfcff917ec to your computer and use it in GitHub Desktop.
Descrizione del corso "Foundation of Functional Programming: Theory and Practice"
  • Title: Foundation of Functional Programming: Theory and Practice

  • Abstract: Teoria delle categorie, morfismi, algebre, monoidi, semigruppi, funtori e ovviamente monadi! Dominare la programmazione funzionale per poterla sfruttare al massimo passa da una conoscenza teorica che è difficile da distillare partendo dalle disparate risorse ad oggi esistenti. Durante il corso verranno spiegati questi concetti in maniera rigorosa ma con frequenti riferimenti pratici per rendere il tutto più digeribile e comprensibile. L’obiettivo è quello di ottenere delle basi teoriche sufficienti per poter riconoscere e usare i costrutti della programmazione funzionale in maniera confidente ed efficace.

  • Who: Il corso verrà tenuto da Giulio Canti

  • Why: (Gabriele Lana) Volevo partecipare ad un corso come questo, non l’ho trovato e così l’ho organizzato. Sono un professionista, uso linguaggi di programmazione funzionali da diversi anni ma sono arrivato ad un punto in cui sento che mi manca un pezzo fondamentale per fare un salto di qualità: una base teorica solida. Ho fatto un paio di tentativi nel tempo ma sono tutti più o meno falliti per mancanza di:

    • Un percorso formativo chiaro.
    • Una guida in grado di sbloccarmi dai punti più difficili.
    • Un gruppo di studio con il quale confrontarmi.

    Quando ho conosciuto Giulio ho capito che era la persona giusta attorno alla quale costruire una community per risolvere questi problemi. Questo corso è un primo passo verso questa direzione.

  • Price: Il corso è organizzato in modalità “community” ovvero il costo viene diviso equamente fra i partecipanti, il numero minimo di partecipanti è 10 per un costo totale a persona di 250/EUR, il numero massimo è 20 per un costo totale a persona di 125/EUR. Il pagamento dovrà essere effettuato durante il primo giorno di corso, vedi FAQ per i dettagli.

  • When: Sabato 28/04/2018 dalle 9:30 alle 17:00 e Sabato 05/05/2018 dalle 9:30 alle 17:00

  • Where: Mikamai/LinkMe, via Giulio e Corrado Venini, 42, 20127 Milano (MI). Il campanello è Mikamai, quando entrate proseguite dritto, attraversate il cortile interno del palazzo, vi trovate di fronte un portone di metallo con un foglio con scritto Mikamai, l'ufficio è all'ultimo (e unico) piano.

  • FAQ:

    • Che linguaggio di programmazione verrà utilizzato? TypeScript.
    • Perché si usa TypeScript? Abbiamo ritenuto essere un buon linguaggio introduttivo, sufficientemente semplice da poter essere appreso in poco tempo per chi non lo conoscesse e sufficientemente espressivo da poter essere utilizzato durante il corso senza troppe “evoluzioni”. Non escludiamo la possibilità di utilizzare altri linguaggi più appropriati (Haskell, PureScript, Idris, ecc…) nel futuro per temi più avanzati.
    • Devo portare un computer? È consigliato per seguire gli esempi in TypeScript ma è opzionale.
    • Esiste del materiale propedeutico? Si, per TypeScript potete usare questa succinta introduzione https://github.com/gcanti/functional-programming/blob/master/notation.md
    • Come ci organizziamo per il pranzo? Il pranzo non è compreso nel prezzo, prenoteremo in uno dei locali vicini per tutti quelli che si vogliono unire.
    • Ho bisogno della fattura, come faccio? Nessun problema, basta comunicarlo prima all’organizzatore fornendo tutti i dati necessari, la fattura verrà consegnata durante il primo giorno di corso.
    • Quando si paga?
      • Se non necessitate di fattura: in contanti durante il primo giorno di corso
      • Se necessitate di fattura: con bonifico nei primi giorni lavorativi successivi al primo giorno di corso
    • perché di sabato? Per permettere ai dipendenti non sponsorizzati di poter partecipare senza doversi prendere giorni di ferie.

Per iscriversi o ulteriori informazioni scrivete direttamente all'indirizzo e-mail associato a questo account

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment