Discussion : les mathématiques et la programmation fonctionnelle (fr)

Pour rester dans le thème des mathématiques avec le sujet "Comment les mathématiques régissent notre société", j'aimerais bien discuter un peu de l'importance des mathématiques dans le domaine de la programmation fonctionnelle, notamment avec des langages comme Haskell ou OCaml qui ont des fondements mathématiques très apparents ou en tout cas plus que dans la plupart des langages impératifs.