Assignment 6.1

Moderator: Type Systems of Programming Languages

Matt
Erstie
Erstie
Beiträge: 18
Registriert: 20. Dez 2011 19:22

Assignment 6.1

Beitrag von Matt »

How do you define multiplication on complex numbers without having multiplication on Num?

erdweg
Moderator
Moderator
Beiträge: 60
Registriert: 28. Mär 2013 10:08

Re: Assignment 6.1

Beitrag von erdweg »

Fixed, thanks.

dschneid
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 271
Registriert: 14. Dez 2009 00:56

Re: Assignment 6.1

Beitrag von dschneid »

There seem to be two small typos: In the definition of the syntax of tagged values and case distinctions, t is twice used where I suppose e was intended instead.

erdweg
Moderator
Moderator
Beiträge: 60
Registriert: 28. Mär 2013 10:08

Re: Assignment 6.1

Beitrag von erdweg »

Also fixed, thanks.

Antworten

Zurück zu „Type Systems of Programming Languages“