Ir para conteúdo

Rubem Alves Figueredo

Members
  • Total de itens

    1
  • Registro em

  • Última visita

Reputação

0 Comum

Sobre Rubem Alves Figueredo

  1. Rubem Alves Figueredo

    QuickChecks em Haskell

    Olá pessoal, estou novo (bem verdinho) aqui no Fórum e espero aprender bastante e contribuir bastante também com todos aqui. Iniciando, e, como iniciante no paradigma funcional, gostaria de entender melhor como funciona o QuickCheck no haskell, como eu estabeleço ou crio as propriedades para testar os scripts. Exemplo: maiorDeTres::Int->Int->Int->Int maiorDeTres a b c | a>=b && a>=c = a | b>=a && b>=c = b | otherwise = c Qual é a lógica para se implementar as "prop_"s ? Desde já agradeço pela ajuda.
×

Informação importante

Ao usar o fórum, você concorda com nossos Termos e condições.