Programmable CAD is a category of software where objects are defined using code. This talk covers how I’ve used programmable CAD to design parts for 3D printing, why I think Functional Languages are uniquely suited for programmable CAD, why I decided to write a programmable CAD framework, and how the Scala Logo led me to decorate a Christmas tree.

Session on Pearl 11 (Not the maximum segment sum) from Pearls of Functional Algorithm Design. Implement and verify the problem in Dafny, exploring verification strategies.

Session on Pearl 9 (Finding Celebrities) from Pearls of Functional Algorithm Design. Implement and verify the problem in Dafny, exploring how the language's specification and proof system can capture correctness.

Si vous vous intéressez à la programmation fonctionnelle, vous savez certainement à quel point il est important d'avoir des données immuables. Lors de cette session, je vous propose de plonger au coeur du fonctionnement d'ImmutableJS, de découvrir les algorithmes et structures de données utilisés pour implémenter des collections immuables. Nous soulèverons aussi le capot des tableaux standards JavaScript pour mieux mettre en exergue les problèmes de performances et d'API auxquels ImmutableJS répond. Enfin, nous verrons comment le langage JavaScript continue d'évoluer vers des traitements fonctionnels de plus en plus efficaces.