Jump to content

[Resolvido] notação @ para que serve


crislanio_macedo
 Share

Recommended Posts

Serve para atribuires nomes a padrões; mais especificamente, o nome à esquerda do @ pode ser utilizado para te referires ao padrão à direita. Um pequeno exemplo:

fn (x:xs) = x:x:xs

Essencialmente estamos a duplicar o primeiro elemento de uma lista. Parece-me simples de compreender.

E agora usando os "as patterns":

fn y@(x:xs) = x:y

Estamos a dizer ao compilador que y é o mesmo que (x:xs), e por isso podemos simplificar a expressão.

Obviamente, este é um exemplo forçado e bastante simples, mas ilustra bem como funciona a notação referida. Em tipos de dados mais complexos esta notação é muito útil quando precisamos de nos referir tanto aos campos individuais do objecto como ao próprio objecto na sua totalidade numa mesma função:

-- original
fn (Tipo a b c d) = g (Tipo a b c d) (d + 3)

-- as pattern
fn t@(Tipo _ _ _ d) = g t (d + 3)
  • Vote 2
Link to comment
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
 Share

×
×
  • Create New...

Important Information

By using this site you accept our Terms of Use and Privacy Policy. We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.