Jaki powinien być typ wyniku tej funkcji?

Question

Chcę napisać funkcję saveStuff, która zapisuje coś do pliku, po przejściu niektórych testów. Jeśli testy zakończą się niepowodzeniem, muszę zgłosić błąd. Jaki powinien być typ wyniku tej funkcji? Pomyślałem o IO (Either String()) i IO (Maybe String), ale obaj z nich czują źle z jakiegoś powodu. Wyszukałem podobne funkcje z biblioteki standardowej, ale po prostu wydają się zwracać IO(). Wyrzucają wyjątki w razie awarii. Nie mogę znaleźć takiego podejścia.

Answer 1

Można rozważyć coś pisze, że zwraca ErrorT String IO(). Dokumentacja dla transformatora monad ErrorT to on Hackage. W znakomitym numerze Eight Ways to Report Errors znalazło się więcej sugestii Erica Kidda i follow up kilka lat później Edwarda Yanga.

Answer 2

Jeśli istnieje tylko jeden sposób, aby saveStuff mógł się powieść, typ izomorficzny na Maybe ErrorMessage jest poprawny. Maybe ErrorMessage sam ma wadę, która zwykle oznacza, że ​​Nothing oznacza błąd podczas używania Maybe, więc byłoby to sprzeczne z oczekiwaniami tutaj. W związku z tym, Either ErrorMessage() jest lepszy, ale parametr () do przypadku Right nie zawiera żadnych informacji, dlatego ta opcja również nie ma elegancji.

Jeśli nie chcą przyjąć tych niedociągnięć, określić własny typ wynik

data Result = Success | Failure ErrorMessage 
-- with type ErrorMessage = String, for example