Κυριακή, 7 Φεβρουαρίου 2010 - Δημοσιεύσεις

Δημοσιεύτηκε στις Κυριακή, 7 Φεβρουαρίου 2010 11:40 μμ από το μέλος PALLADIN :: 0 σχόλια

LiftM'e' up Scotty

Έχοντας αναπτύξει όλο το απαραίτητο machinery ( 1 , 2 ), μπορούμε να συνεχίσουμε με την ίδια αφαιρετική διάθεση και να "ανεβάσουμε" στον κόσμο του 'M', συναρτήσεις με ένα, δυο ή περισσότερα arguments. // liftM declarations let liftM<'M, 'A1, 'R when Διαβάστε περισσότερα

Attachment(s): GenericMonads.zip