Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 2 anos . Um combinador Y...
O código para a função myAny nesta pergunta usa foldr. Para de processar uma lista infinita quando o predicado é satisfeito. Eu o reescrevi usando foldl: myAny :: (a -> Bool) -> [a] -> Bool myAny p list = foldl step False list where step acc item = p item || acc (Observe que os...
O que é um combinador ?? É "uma função ou definição sem variáveis livres" (conforme definido no SO)? Ou que tal isto: de acordo com John Hughes em seu conhecido artigo sobre Arrows, "um combinador é uma função que constrói fragmentos de programa a partir de fragmentos de programa" , o que é...
Fiquei um pouco confuso com a documentação do fix(embora ache que entenda o que ela deve fazer agora), então olhei o código-fonte. Isso me deixou mais confuso: fix :: (a -> a) -> a fix f = let x = f x in x Como exatamente isso retorna um ponto fixo? Decidi experimentar na linha de...
No recursion-schemespacote, os seguintes tipos são definidos: newtype Fix f = Fix (f (Fix f)) newtype Mu f = Mu (forall a. (f a -> a) -> a) Eles são isomórficos? Se sim, como você prova