Início / user-28734843

Simon Abadi's questions

Martin Hope
Simon Abadi
Asked: 2025-04-03 23:03:24 +0800 CST
  • 6

Estou trabalhando com uma implementação Haskell de geradores para uma tarefa de casa. Tenho uma andAlsofunção que supostamente adiciona um predicado adicional a um gerador, mas não está funcionando corretamente em todos os casos de teste. Embora pareça correto

Aqui está minha definição de tipo de gerador:

-- Type definition for a generator: a function producing a sequence of values
-- 1. The first function generates the next value.
-- 2. The second function checks if generation should continue.
-- 3. The third value is the initial value, or seed. It does not count as being generated by the generator.
type Generator a = (a -> a, a -> Bool, a)

Minha implementação atual de andAlso:

-- Adds an additional predicate to a generator.
andAlso :: (a -> Bool) -> Generator a -> Generator a
andAlso p (f, g, s) = (f, \x -> g x && p x, s)

Estou usando uma função auxiliar takeGenpara visualizar os resultados dos testes:

takeGen :: Int -> ((a -> a), (a -> Bool), a) -> [a]
takeGen 0 _ = []
takeGen n (next, pred, seed)
  | not (pred seed) = []
  | otherwise = seed : takeGen (n-1) (next, pred, next seed)

Casos de teste e resultados

Aqui estão meus casos de teste e seus resultados:

-- Test 1: Filter for odd numbers
takeGen 10 (andAlso (\x -> x `mod` 2 == 1) ((+1), (<10), 0))
-- Expected: [1,3,5,7,9], but getting: [1]

-- Test 2: Filter for numbers divisible by 3
takeGen 10 (andAlso (\x -> x `mod` 3 == 0) ((+1), (<10), 0))
-- Expected: [0,3,6,9], but getting: [0]

-- Test 3: Filter for numbers greater than 5
takeGen 10 (andAlso (>5) ((+1), (<10), 0))
-- Works correctly: [6,7,8,9]

-- Test 4: Combine two additional predicates
takeGen 10 (andAlso (>3) (andAlso (<8) ((+1), (<10), 0)))
-- Works correctly: [4,5,6,7]

-- Test 5: Test with a different generator function
takeGen 10 (andAlso (<15) ((+2), (<20), 1))
-- Works correctly: [1,3,5,7,9,11,13]

takeGen 10 (andAlso (<10) ((+1), (<10), 0))
-- Works correctly: [0,1,2,3,4,5,6,7,8,9]

O que eu tentei

Eu tentei várias implementações de andAlso, incluindo:

  1. A implementação atual mostrada acima
  2. Ajustando como os predicados são aplicados na sequência
  3. Tentando encontrar o primeiro valor válido que satisfaça ambos os predicados

Alguns casos de teste funcionam corretamente, mas outros (especificamente os testes 1 e 2) não retornam todos os valores esperados.

Minha pergunta

O que há de errado com minha andAlsoimplementação e como devo consertar para fazer todos os casos de teste funcionarem conforme o esperado? O problema é com a forma como o gerador é definido, como takeGenfunciona ou como andAlsoaplica o predicado adicional?

Contexto adicional

Outras funções relacionadas ao gerador que implementei:

nthGen :: Integer -> Generator a -> a
nextGen :: Generator a -> Generator a
lengthGen :: Generator a -> Integer
hasLengthOfAtLeast :: Integer -> Generator a -> Bool
constGen :: a -> Generator a
foreverGen :: (a -> a) -> a -> Generator a
emptyGen :: Generator a

Obrigado por qualquer ajuda para entender onde minha implementação está dando errado.

haskell