Haskell-ITA
La comunità Italiana di programmatori Haskell.
TAPAS Theoretical And Practical Aspects of Software - Roma, 26 gennaio 2019
Il primo evento TAPAS si è svolto a Roma ed ha avuto due interventi: uno su Haskell relativo alla generazione dei numeri primi ed uno su Rust riguardante ownership e borrowing.
La mailing list di TAPAS è qui, il canale Slack per le discussioni relative a TAPAS è all’interno di quello di Code Garden Roma.
Il prof. Salvo ha parlato del suo articolo riguardante la generazione dei numeri primi facendo uso di liste lazy.
In particolare ha discusso una soluzione al “Crivello di Eratostene” che fa uso della generalizzazione ai “Numeri di Hamming” per filtrare i primi.
Il suo lavoro ha mostrato come Haskell e la lazyness si prestano a definire una corrispondenza molto stretta fra descrizione teorica della soluzione e algoritmo effettivo, per ottenere risultati piu’ efficienti degli algoritmi ottimizati tradizionali.
Inoltre ha fatto notare come il compilatore puo’ riservare delle strane sorprese in termini di efficienza…
Il riepilogo degli argomenti trattati è questo:
Nell’intervento dedicato a Rust si è parlato di come viene gestita la memoria, dei puntatori mutabili ed immutabili.
Alla fine si è concordato sul fare un evento TAPAS ogni due mesi.