Difference between revisions of "Pot folosi fail impreuna cu monada parserelor ?"
Jump to navigation
Jump to search
m |
|||
Line 2: | Line 2: | ||
'''Atentie:''' Fail este intotdeauna urmat de argumentul sau, string-ul care va apare pe ecran si produce oprirea programului cu afisarea acelui mesaj. Vi-l puteti imagina ca un fel de 'exit "Mesaj text dorit de dvs."' |
'''Atentie:''' Fail este intotdeauna urmat de argumentul sau, string-ul care va apare pe ecran si produce oprirea programului cu afisarea acelui mesaj. Vi-l puteti imagina ca un fel de 'exit "Mesaj text dorit de dvs."' |
||
+ | |||
+ | In clasa Monad fail este declarat cu semnatura: |
||
+ | |||
+ | fail :: String m a |
||
+ | |||
+ | unde m este monada iar a este orice alt tip incapsulat intr-o valoare monadica (ok, daca ne gandim la valorile monadice ca la niste capsule). |
||
Despre acest subiect mai putem discuta. |
Despre acest subiect mai putem discuta. |
Revision as of 13:39, 16 December 2007
Da, fail are un tip polimorfic asa ca il puteti folosi si cu monada de IO si cu monada parserelor si cu alte monade.
Atentie: Fail este intotdeauna urmat de argumentul sau, string-ul care va apare pe ecran si produce oprirea programului cu afisarea acelui mesaj. Vi-l puteti imagina ca un fel de 'exit "Mesaj text dorit de dvs."'
In clasa Monad fail este declarat cu semnatura:
fail :: String m a
unde m este monada iar a este orice alt tip incapsulat intr-o valoare monadica (ok, daca ne gandim la valorile monadice ca la niste capsule).
Despre acest subiect mai putem discuta.