1
É possível provar que uma função é idempotente?
É possível usar tipos estáticos ou dependentes para provar que uma função é idempotente? Pesquisei no Google e em vários lugares no StackOverflow / StackExchange em busca de respostas sem sorte. O mais próximo que encontrei foi essa conversa sobre Idris: https://groups.google.com/forum/#!topic/idris-lang/yp7vrspChRg Infelizmente, essa discussão está um pouco acima da …
12
haskell