Eu tenho tentado controlar as flechas, já que elas são a base da maioriaFRP implementações. Acho que entendo a idéia básica - eles estão relacionados às mônadas, mas armazenam informações estáticas em cada operador de ligação, para que você possa percorrer uma cadeia de setas e observar as informações estáticas sem precisar avaliar a seta inteira.

Mas me perco no ponto em que começamos a discutir primeiro, segundo e trocar. O que duas tuplas têm a ver com setas? Os tutoriais apresentam o material da tupla como se fosse um próximo passo óbvio, mas eu realmente não estou vendo a conexão.

Na verdade, o que a sintaxe da seta significa intuitivamente?