LambdaCon - funtastic code and people
28 Mar 2015 at Department of Computer Science and Engineering (DISI)

The ideas in Finelli’s talk are fascinating, but the talk was based much more heavily than I had realised on the paper propositions as types (pdf) which I have read most of. Finelli was not a bad speaker, but Wadler is a master of the writing art and on this one I’d recommend just grabbing the paper.

Also, it was probably a bit rude to define “type system” to exclude dynamic and unityped languages at a conference with Erlang and Clojure speakers! :D

This was an amazing talk: Milewski’s talk used examples from C++ and pictures of pigs to explain basic category theory, and how these concepts are useful for solving practical programming problems. He then moved onto building a writer monad for logging audit data in a banking application in C++. If you are either new to functional programming or you work with people who are not functional programmers, this talk should go to the top of your watch list as soon as the video is available.

An enjoyable fairy tale.

Maybe too much for a newcomer like me, but very nice speaker

I didn't get point of the speaker.
He tried to convince me why OOP is not as good as FP, but I can only say that they are like spoon and fork, different tools for different jobs (and they can wonderfully work together).

Too fast speaker for me, I didn't get tto much.
But creating games with F# has to be funny, indeed :)

I really enjoyed this soft introduction into FP world.
For a newcomer like me, this has been the best talk I attended to in this conference.

Good one, even for a newcomer about Functional Programming like me.

Bartosz never betray expectations. With his steady peace and clear voice, he showed the audience the benefits of abstractions through a musical example, before descending into how we should aim to write our code as close as possible to math, via the powerful tool Category Theory is.

Really interesting. So we lack one true type system because there are so many logics!