Was ist die "::" äquivalente Funktion in Haskell?

Question

In Python haben wir ein eingebautes Paket namens "operator", mit dem wir die Funktionsversion eines beliebigen Operators verwenden können. Es wird in hohem Maße verwendet, wenn "funktionale Programmierung" -Funktionen wie Map und Reduce verwendet werden, und ist viel besser zu empfehlen als die Verwendung von "Lambda".

Ich habe das gleiche Problem in Haskell: I t Benutzer MAPM irgendwo mit einer Zusammensetzung von vielen Funktionen wünschen, aber ich habe nicht so recht Lambda zu verwenden:

mapM ((\x->x::String).fromSql.(!!1)) res 

Gibt es eine gleichwertige zu diesem liek dies:

mapM (someFunc(String).fromSql.(!!1)) res 

Answer 1

::String ist kein Operator im Sinne der Pythons string(…), aber eine Typanmerkung, und als solche besonderen syntaktischen Regeln gelten.

Sie können jedoch definieren Funktion

asString :: String -> String 
asString x = x 

und dann schreiben

mapM (asString.fromSql.(!!1)) res 

@augustss einmal proposed a language extension die (::String) verwendet werden erlauben würde, aber ich kann es jetzt nicht finden.)

Answer 2

Als Chepner kommentierte, sollte es wirklich nicht notwendig sein, irgendeinen Typhinweis überhaupt zu geben: alles, was Sie brauchen, ist

mapM (fromSql . (!!1)) res 

... das heißt, sofern Sie tatsächlich das Ergebnis in irgendeiner Weise verwenden. (Wenn Sie das Ergebnis nicht verwenden, warum tun Sie das überhaupt?)

Der Grund dafür ist: Im Gegensatz zu Python hat Haskell ein richtiges Hindley-Milner-Typ-System, und dies kann Typen in jedem schließen Richtung ^† und jeden Kontext. Also, wenn Sie nur schreiben, zum Beispiel,

do 
    sqlStrs <- mapM (fromSql . (!!1)) res 
    ... 
    mapM_ putStrLn sqlStr 

dann ist dies genug für den Compiler, dass sqlStrs :: [String] zu schließen und damit fromSql muss eingeschränkt werden String zu ergeben.

---

^† _{Es gibt einige Ausnahmen, aber diese entstehen nur mit der Monomorphismus Einschränkung (die globalen Definitionen gilt nur, nicht auf etwas in einer Monade gebunden, und auch ausgeschaltet werden kann) oder bei der Verwendung von Erweiterungen wie GADTs, ExistentialQuantification oder RankNTypes.}