Esta é uma continuação da resposta à minha pergunta anterior. Suponha que eu precise mapear cada item a:Ade List[A]para b:Bcom função def f(a:A, leftNeighbors:List[A]): Be gerar List[B]. Obviamente, não posso apenas chamar mapa lista, mas posso usar o zíper da lista . O zíper é um cursor para...
O que é a typeclass Comonad em Haskell? Como em Comonad de Control.Comonad no pacote comonad (explicações de quaisquer outros pacotes que fornecem uma typeclass Comonad também são bem-vindas). Ouvi vagamente sobre o Comonad, mas tudo o que realmente sei sobre ele é que ele fornece extract :: w a...
Como a mônada do estado pode ser fatorada em Produto (Esquerdo - Functor) e Leitor (Direito - Representável). Existe uma maneira de fatorar a Mônada de Continuação? Abaixo o código é a minha tentativa, que não digita check -- To form a -> (a -> k) -> k {-# LANGUAGE...