Exercise 4.5 a)

Moderator: Modellierungspraktikum

Benutzeravatar
hymGo
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 209
Registriert: 4. Okt 2009 23:17

Exercise 4.5 a)

Beitrag von hymGo » 19. Nov 2011 13:11

Hi,

I am not sure what is ment with exercise 4.5 a). That's why I have to questions about this exercise:

- Should we use monadic predicates (as described in the description of exercise 4.5) or should we use the existing type set? Or should we model a "really new" datatype for sets?
- What is ment with: " Let a type A be given". Should we assume something like: "typedecl A" or is A just the polymorphic type 'a?

alux
Moderator
Moderator
Beiträge: 2
Registriert: 12. Okt 2007 11:02

Re: Exercise 4.5 a)

Beitrag von alux » 21. Nov 2011 09:27

For the first question, please follow the description of exercise 4.5, as you guessed. For the second question, you should just use a polymorphic type.

Antworten

Zurück zu „Modellierungspraktikum“