Generisches typealias in Swift

Question

in Haskell Sie dies tun können:

type Parser a = String -> [(a, String)] 

Ich habe versucht, etwas Ähnliches in Swift zu machen. Bisher habe ich diese Codes ohne Glück geschrieben.

typealias Parser<A> = String -> [(A, String)] 
typealias Parser a = String -> [(a, String)] 
typealias Parser = String -> [(A, String)] 

So ist das einfach unmöglich in swift? Und wenn ja, gibt es noch eine andere Möglichkeit, dieses Verhalten zu implementieren?

UPDATE: Es generic typealiases scheint nun in schnellen 3 https://github.com/apple/swift/blob/master/CHANGELOG.md

Answer 1

typealias kann mit Generika derzeit nicht verwendet werden, unterstützt werden. Ihre beste Option könnte darin bestehen, die Parser-Funktion in eine Struktur zu integrieren.

struct Parser<A> { 
    let f: String -> [(A, String)] 
} 

Sie können dann die abschließende Closure-Syntax verwenden, wenn Sie einen Parser erstellen, z.

let parser = Parser<Character> { string in return [head(string), tail(string)] } 

Answer 2

Hier präsentiere ich Beispiel für typealias, die Sie demonistrate, wie typealias in Protokolle Definitionen zu verwenden: Ich hoffe, das Sie typealias verstehen hilft

protocol NumaricType { 
typealias elementType 
func plus(lhs : elementType, _ rhs : elementType) -> elementType 
func minus(lhs : elementType, _ rhs : elementType) -> elementType 
} 


struct Arthamatic :NumaricType { 

func addMethod(element1 :Int, element2 :Int) -> Int { 
    return plus(element1, element2) 
} 
func minusMethod(ele1 :Int, ele2 :Int) -> Int { 
    return minus(ele1, ele2) 
} 

typealias elementType = Int 

func plus(lhs: elementType, _ rhs: elementType) -> elementType { 
    return lhs + rhs 
} 
func minus(lhs: elementType, _ rhs: elementType) -> elementType { 
    return lhs - rhs 
} 
} 

Ausgang:

 let obj = Arthamatic().addMethod(34, element2: 45) // 79 

Answer 3

Generic typealias kann seit Swift 3.0 verwendet werden. Dies sollte für Sie arbeiten:

typealias Parser<A> = (String) -> [(A, String)] 

Hier ist die vollständige Dokumentation: https://developer.apple.com/library/content/documentation/Swift/Conceptual/Swift_Programming_Language/Declarations.html#//apple_ref/swift/grammar/typealias-declaration