Jump to content
H3llT0uCh

Haskell e provas

Recommended Posts

H3llT0uCh

Boas. Tenho a cadeira de cálculo de programas e sinceramente apesar de já ter lido muita coisa, continuo sem conseguir perceber aquilo.

Alguem me pode dar uma ajudinha a fazer os diagramas?

por exemplo:

unledjmp.png

Alguem me pode ajudar nisso?

ps: se tiver metido o tópico no local errado movam pff.

Share this post


Link to post
Share on other sites
H3llT0uCh

Convém apresentares as definições dos vários components da expressão.

É só isso a pergunta mesmo.. não tem mais nada.. isso é de um mini teste

Share this post


Link to post
Share on other sites
Baderous

Para a 2ª alínea apenas tens de te lembrar do truque de meter o id para conseguires aplicar determinadas regras, e de que tanto podes aplicar regras da esquerda para a direita como da direita para a esquerda:

iso . inl = id x inl

{Def-iso}

<=> ((fst \/ fst) /\ (snd + snd)) . inl = id x inl

{Fusion-x}

<=> ((fst \/ fst) . inl) /\ ((snd + snd) . inl) = id x inl

{Cancel-+ , Nat-inl}

<=> fst /\ (inl . snd) = id x inl

{Def-id}

<=> (id . fst) /\ (inl . snd) = id x inl

{Def-x}

<=> id x inl = id x inl

Share this post


Link to post
Share on other sites
Rui Carlos

É só isso a pergunta mesmo.. não tem mais nada.. isso é de um mini teste

Pois, mas certamente que nas aulas foram dadas as definições dos vários operadores presentes na expressão.

No meu tempo, nos exames, tínhamos acesso a formulários com a maior parte destes pormenores.

Share this post


Link to post
Share on other sites
H3llT0uCh

Pois, mas certamente que nas aulas foram dadas as definições dos vários operadores presentes na expressão.

No meu tempo, nos exames, tínhamos acesso a formulários com a maior parte destes pormenores.

Ah tás a dizer os operadores? lol

o \/ é o split da soma

o /\ é o split do protudo

e o + é a soma

Baderous: Obrigado pela explicação

Share this post


Link to post
Share on other sites
Baderous

O \/ não é o split da soma, é o either:

data Either a b = Left a | Right b

Share this post


Link to post
Share on other sites
H3llT0uCh

O \/ não é o split da soma, é o either:

data Either a b = Left a | Right b

Tens razão enganei-me :X

sorry

Share this post


Link to post
Share on other sites
joxnas

afinal quantas notações diferentes existem para isto?

Nunca tinha visto esta..

Share this post


Link to post
Share on other sites
kurayama

Nem eu, na uminho ficava < [fst, fst], snd + snd > se entendi a notação do problema

Share this post


Link to post
Share on other sites
Baderous

Nem eu, na uminho ficava < [fst, fst], snd + snd > se entendi a notação do problema

Lá usam-se as 2 notações, depende de quem dá a cadeira.

Share this post


Link to post
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

×
×
  • 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.