Francesco likes functional programming because it allows me to develop elegant and correct software. He treats types as an essential tool to reason about his programs and make sure they respect the specifics. He believes that Haskell is in a unique position combining all these features and advantages, with very few disadvantages, this is why it is his programming language of choice for most programming tasks.