www.jammni.de

Logo - Kleiner Drache
Login
Username:

Passwort:

Daten merken
Auto-Login
Registrieren
 
Online
niemand
 
Forumsuche
Suche nach:

Logo - DracheHaskell-Forum

anduril

Gepostet:
28.02.2006 02:11

Typbestimmung ;-)  
Hi,
hab hier, um den Currying Thread zu komplettieren, was zum knobeln für dich. Ich bin noch nicht drauf gekommen: Warum hat h den Typ h :: a -> b -> (c,d) -> (c,(a,b),d)

g y = \(x,z)->(x,y,z)

h = curry g
Zum Seitenanfang    
 
anduril

Gepostet:
28.02.2006 02:51

   
hat mir keine Ruhe gelassen, habs also doch noch gelöst ;-) eigentlich leicht.. falls du langeweile hast kannste dich ja ransetzen Smilie
Zum Seitenanfang    
 
Jacke

Gepostet:
28.02.2006 09:39

   
ok ist ja garnicht so kniffelig
g y fügt das y in ein tupel (x,z) ein und macht daraus das tripel (x,y,z)

h hat als eingabe a->b->(c,d)
wobei (c,d) dem ausdruck \(x,z) entspricht und das a->b wird durch das curry getupelt zu (a,b) und dann mit hilfe von g zwischen (c,...,d) gehauen
(*gg* wer löst eigentlich 2 uhr nachts haskell aufgaben :P)

gruß jacke
Zum Seitenanfang