Gepostet: |
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 | |||||||||||
Gepostet: |
|||||||||||
hat mir keine Ruhe gelassen, habs also doch noch gelöst ;-) eigentlich leicht.. falls du langeweile hast kannste dich ja ransetzen | |||||||||||
Zum Seitenanfang | |||||||||||
Gepostet: |
|||||||||||
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 | |||||||||||