Em linguagens imperativas, é trivial conceber um teste de programação do uso da linguagem de "semântica de valores" ou "semântica de referência". Pode-se fazer o seguinte e verificar o valor de a(where Vertex {one, two, three :: Integer}): a := Vertex 3 4 5 b := a one b := 6 two b := 8 three b :=...
O próprio Simon Peyton Jones reconhece que o raciocínio sobre o desempenho em Haskell é difícil devido à semântica não estrita. Ainda tenho que escrever um projeto significativo em haskell, então me pergunto: posso raciocinar sobre desempenho apenas no início de um projeto (ao escolher estruturas...
Fechado . Esta questão é baseada em opiniões . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela possa ser respondida com fatos e citações editando esta postagem . Fechado há 6 anos . Estou...
Por algumas semanas eu estive pensando sobre a relação entre objetos - não especialmente sobre os objetos do OOP. Por exemplo, em C ++ , estamos acostumados a representá-lo colocando em camadas ponteiros ou contêineres de ponteiros na estrutura que precisa de acesso ao outro objeto. Se um objeto...
Depois de desenvolver vários aplicativos Haskell, me vi segregando rigorosamente código impuro e funções disponíveis ( parciais ) de seus equivalentes puros e totais . Esses esforços reduziram notavelmente o custo de manutenção associado aos aplicativos. Ao longo do tempo, me vi confiando na mesma...
Recentemente, fui designado para trabalhar em um pequeno projeto que está sendo implementado em Haskell. Vindo de um background imperativo / imperativo, estou acostumado a converter requisitos / histórias de usuários em casos de uso e diagrama de sequência antes da codificação. No entanto, no...
Nas faculdades e nos livros didáticos de algoritmos, é bastante comum que o professor e o autor expliquem o fluxo de controle no pseudo-código. Com o advento de linguagens mais expressivas, como Python e Haskell, entre outras, é razoável que as faculdades mudem para explicar algoritmos através de...
Gostaria de saber se existe uma diferença entre as classes de tipo de Haskell e as interfaces de Go. Ambos definem tipos com base em funções, dessa maneira, que um valor corresponde a um tipo, se uma função requerida pelo tipo for definida para o valor. Existem diferenças ou são apenas dois nomes...
Sabemos que no Prolog - predicados não determinísticos são um recurso usado para diminuir problemas combinatórios . Em Haskell, vemos um comportamento não determinístico semelhante ao Prolog na lista Mônada . Em Haskell, também vemos o não determinismo na escolha da ordem de avaliação thunk :...