opal < Softwaretechnik+Pro < Praktische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 17:56 Fr 02.11.2007 | | Autor: | hooover |
| Aufgabe | 3. Aufgabe: Arbeiten mit Funktionen
3.1. Das Normalgewicht eines Menschen berechnet sich nach Broca als die Körpergröße in cm minus 100. Für die Berechnung des Idealgewichts multipliziert man das Normalgewicht mit 0,9.
Gebt eine formale Definition der Funktion nWeight bzw. iWeight an, die das Normalgewicht,
bzw. Idealgewicht, eines Menschen berechnet. Welche Parameter haben diese Funktionen? Was
sind Definitions- und Wertebereiche?
3.2. Definiert die Funktion nWeight bzw. iWeight in Opal. Welchen Typ hat diese Funk-
tion? Entspricht dieser dem Definitions- und Wertebereich der Funktion?
|
Hallo ich fange gerade an in OPAL zuprammieren und kenne mich nicht gut aus.
Ich denke das ich die Funktioen scon richtig definiert habe aber bekomme immer fehlermeldungen.
hier einmal meine beiden Dateien und der log mit der Fehler ausgabe
1. Signature
SIGNATURE gewicht
nichts aufregendes
2. Implementation
IMPLEMENTATION gewicht
IMPORT Real COMPLETELY
FUN ngewicht: real ** real -> real
DEF ngewicht == [mm] \\kgr. [/mm] (kgr - ("100"!))
FUN igewicht: real ** real -> real
DEF igewicht == [mm] \\kgr. [/mm] (("0.9"!) * (ngewicht(kgr)))
3. log von opal
knoppix@Knoppix:~$ oasys
oasys version 1.1e (ocs version 2.3j), (c) 1989-2001 The OPAL Group, TU Berlin
>a gewicht
loading gewicht.sign
loading gewicht.impl
>f gewicht.impl
gewicht.impl>e ngewicht ("175"!)
checking gewicht.impl
ERROR [gewicht.impl at 6.5-6.35]: wrongly typed implementation
left: real**real->real
right: real->real
ERROR [gewicht.impl at 9.37-9.48]: wrongly typed application
function: real**real->real
argument: nonCartVar(2)
ERROR [check]: language error
aborted
gewicht.impl>
Also ich hoofe das sich da jemand auskennt und mir einen Tip geben kann.
Vielen
MfG hooover
|
|
| |
|
Hallo,
ich kenne mich zwar nicht mit OPAL aus, aber den Typfehler glaube ich entdeckt zu haben. Versuch es mit:
| 1: | FUN ngewicht: real -> real
| | 2: | DEF ngewicht(kgr) == (kgr - ("100"!))
| | 3: |
| | 4: | FUN igewicht: real -> real
| | 5: | DEF igewicht(kgr) == (("0.9"!) * (ngewicht(kgr))) |
Die Schreibweise mit dem ""! kann ich als Nichtwissender nicht entschlüsseln. Hat das was mit reals zu tun?
Gruß
Martin
|
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 18:48 Fr 02.11.2007 | | Autor: | hooover |
| Aufgabe | Vielen Dank für die Antwort
leider konnte mir das nicht richtig wieterhelfen, da die lambda notation fehlt.
nach disen vorschlag bekomme ich nur zurück "broken pipe"
Da Opal keine Zahlen größer als 32 kennt schreibt man "zahl"!
Hat jemand einen Tip der schon mal in opal programmiert hat
Vilen DAnk
gruß hooover |
Vieln Dank für die Antwort
1. Opal kennt keine Zahlen dir größer sind 32, also müseen diese mit ""zahl"! geschrieben werden.
2. In der Antwort wurde leider die Lambda Notation leider nich berücksichtigt.
Folglich kann dass nicht richtig sein
Hat vll. jemand der schonmal in Opal programmiert hat einen Tip?
Danke schonmal
gruß hooover
|
|
|
| |
|
Hallo,
es mag ja sein, dass ich von Opal wenig Ahnung habe, aber du hättest es ja ausprobieren können, denn keiner hat gesagt, dass die Lambda-Notation Pflicht ist, oder?
Auf jeden Fall waren deine Typdeklarationen falsch.
Hier meine Lösungen. Ohne Lambda:
| 1: | FUN nweight : real -> real
| | 2: | DEF nweight(h) == h - ("100"!)
| | 3: |
| | 4: | FUN iweight : real -> real
| | 5: | DEF iweight(h) == nweight(h)*("0.9"!) |
Hier mit Lambda:
| 1: | FUN nweightL : real -> real
| | 2: | DEF nweightL == \\h.(h - ("100"!))
| | 3: |
| | 4: | FUN iweightL : real -> real
| | 5: | DEF iweightL == \\h.(nweight(h)*("0.9"!)) |
Und sie funktionieren:
[Dateianhang nicht öffentlich]
Einfach mal ausprobieren. Es kann ja nicht schaden ;)
Gruß
Martin
Dateianhänge:
Anhang Nr. 1 (Typ: jpg) [nicht öffentlich]
|
|
|
|
