En Prolog, podemos hacer algo como lo siguiente:coincidencia de patrones variables de equivalentes en Haskell, como en Prolog
myFunction a (a:xs) = ...
Esto es, cuando la primera discusión de myFunction
es el mismo que el primer elemento de la lista eso está en el segundo argumento, esta función evaluará a ...
.
Mi pregunta ahora es ... ¿cómo lograr algo similar en Haskell? Tengo la idea de que Prolog's Pattern Matching es más expresivo que Haskell's. He estado intentando codificar eso en Haskell y estoy teniendo problemas, o estoy usando una sintaxis no válida o el truco anterior simplemente no funcionará.
En scala puede usar 'x' para denotar un patrón que coincida con el valor de una variable como el caso de agda también. –