Haskell: Gibt es eine Möglichkeit, den Rückgabetyp einer Funktion aus der Funktion abzuleiten?

Question

Angenommen, ich habe die folgende Funktion bekommt:

import Data.Typeable 
import Text.Read (reads) 

parse :: (Read b, Typeable b) => String -> IO b 
parse msg = case reads msg of 
     [(value,"")] -> return value 
     _ -> throwIO $ ErrorCall ("could not parse " ++ msg) 

Es einen String parst in was auch immer ich es will. Wenn der String fehlerhaft ist, wird eine Ausnahme ausgelöst, die die Nachricht anzeigt, die nicht analysiert werden konnte.

Ich benutze diese Funktion in einem Do-Block der IO-Monade wie

(a,b) <- parse msg :: IO (Int,Int) 

und an einem anderen Ort wie

s <- parse msg :: IO String 

Nun, wenn ich die Ausnahme ausführlichere Berichterstattung machen will welcher Typ konnte nicht gelesen werden

import Data.Typeable 
import Text.Read (reads) 

parse :: (Read b, Typeable b) => String -> IO b 
parse msg = case reads msg of 
     [(value,"")] -> return value 
     _ -> throwIO $ ErrorCall ("could not parse " ++ msg ++ " as " ++ 
         show (typeOf something_that_has_type_b)) 

Wie bekomme ich etwas, das Typ b hat?

Eine mögliche Abhilfe wäre, dies zu tun

import Data.Typeable 
import Text.Read (reads) 

parse :: (Read b, Typeable b) => b -> String -> IO b 
parse dummy msg = case reads msg of 
     [(value,"")] -> return value 
     _ -> throwIO $ ErrorCall ("could not parse " ++ msg ++ " as " ++ 
         show (typeOf dummy)) 

und es wie

s <- parse "" msg :: IO String 

Aufruf Aber das sieht ziemlich albern.

Gibt es eine Möglichkeit, den Rückgabetyp einer Funktion aus der Funktion abzuleiten?

Answer 1

Sie benötigen keine Dummy-Variable, Sie können ScopedTypeVariables Erweiterung verwenden.