Description
L'ultimo weekend di Giugno ci incontriamo a Mikamai per condividere le nostre esperienze nello sviluppo con Haskell. Ci saranno anche due ospiti che lavorano in Purescript (e Haskell) molto preparati: Fabrizio Ferrai e Justin Woo.
Justin terrà anche una presentazione in inglese:
Superior string spaghetti with purescript-jajanmen
In this talk, Justin will talk about how PureScript can now parse type level strings by deconstructing them with Symbol Cons and match on overlapping instances using instance chains. With these techniques, he'll demonstrate how he makes better string spaghetti with his library Jajanmen to synthesize row types from symbols.
Questa è invece la presentazione di Fabrizio:
Purely Functional DevOps with Dhall
Functional programming is now mainstream in Software Development. Does the same trend apply to Operations as well? Kind of: the DevOps culture is bringing to the table declarative configurations with Infrastructure-as-Code deployments, but this usually happens by employing either full-fledged programming languages or simple data languages (JSON is nicer to type down than XML, but still)...can we do better? In this talk we'll see how to avoid Turing-completeness and leverage Dhall - a strongly typed, total functional language - to get safety, modularity and reusability while still being able to do dangerous things like template configurations and spin up cloud machines.
Portate anche i laptop!