It was interesting to see what Scala features that allow us to easily write DSLs...maybe the example was a bit trivial, but It's difficult to have it all.
Good talk on the different open source logging "aggregators" you can find around. I found particularly useful the suggestion to always log to the STD* of the container, and gather the logs in a special "facility"
I found the the talk very well done and inspiring - another tool in the belt of the programmer who wants to improve with delivery practice. Esp. Useful, IMHO, the "Retrospective" part where you share ideas and create algorithms.
Thanks Gian Carlo for your feedback.
In general I prepared the talk trying to find the best way to pass the ideas and the techniques that Idris allows you to use, without focusing too much on the implementation details.
I hoped that the syntax, being not that far from the one used in many other functional languages, would not stop people from getting a glimpse of the possibilities of the language.
Maybe I could have skept some implementation details and tried to spend a bit more time on the ideas.
Regarding your last point, I don't think there is any repetition; in the domain you ask for something that needs to be provided in the outer application layer. If you want to check the whole solution, with the IO handling, you can check the whole code here: https://github.com/marcosh/idris-hanoi. Moreover, I would have loved to show also the effect handling part, since Idris handles it nicely, but it was really not possible to fit it all in 45 minutes.
Very inspiring talk! Matteo is a great speaker.
I liked the structure of this session and how Michele went through the kata, little by little. He really loves RUST and his passion can be contagious :)
Very good and informative talk. Jorge is a well balanced speaker.
I really love kotlin because I see it as where the evolution of Java should have gone. The talk has very pleasant and have presented all the quirks of creating a DSL in kotlin.
A suggestion for a costless improvement to the presentation is that at the very end after creating a service for the calendar, Victor could have imported the url of the service in a calendar application in order to show the advent events he created. This could have added a more tangible output of the big refactoring work adding satisfaction to the audience.
Nice introduction to the subject well explained.
A great hands-on presentation of the language