Perguntas com a marcação «ghc»

Problema Considere o seguinte problema de design no Haskell. Eu tenho um EDSL simbólico simples, no qual quero expressar variáveis ​​e expressões gerais (polinômios multivariados), como x^2 * y + 2*z + 1. Além disso, quero expressar certas equações simbólicas sobre expressões, por exemplo x^2 + 1...

Eu apenas consegui entender a definição da classe MonadReader class Monad m => MonadReader r m | m -> r where ... Depois de ler o documento de Dependência funcional em Haskell, agora posso entender que | m -> respecifica que a variável de tipo ré decidida exclusivamente por m. Eu acho...