preguntar acerca de proof

j'ai vu cette question , et j'étais curieux de savoir ce qu'était le lemme de pompage ( Wikipedia n'a pas aidé beaucoup). je comprends que c'est essentiellement théorique preuve qui doivent être remplies pour qu'une langue soit dans …

il est bien connu que les fonctions applicatives sont fermées par composition mais pas les monades. Cependant, j'ai eu de la difficulté à trouver un contre-exemple concret montrant que les monades ne composent pas toujours. Cette réponse …