Quel est le point de style libre dans la Programmation Fonctionnelle?

Une phrase que j'ai remarqué récemment, c'est le concept de "gratuit" style...

Tout d'abord, il y avait cette question, et également.

Puis, j'ai découvert ici ils mentionnent "un Autre sujet qui pourrait être intéressant de discuter est les auteurs de l'aversion de point de style libre."

Ce qui est "gratuit" style? Quelqu'un peut-il donner une explication concise? A-t-elle quelque chose à voir avec "automatique" nourrissage?

Pour avoir une idée de mon niveau, j'ai enseigné moi-même Régime, et ont écrit un simple interpréteur Scheme... je comprends ce qu'est "implicite" de nourrissage est, mais je ne sais pas tout Haskell ou ML.