typealias generici a Swift

Question

in Haskell si può fare questo:

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

Ho provato a fare qualcosa di simile a Swift. Finora ho scritto questi codici senza fortuna.

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

Quindi è semplicemente impossibile in rapido? E se è ci sono altri modi per implementare questo comportamento?

UPDATE: Sembra typealiases generici sono ora supportate in rapida 3 https://github.com/apple/swift/blob/master/CHANGELOG.md

Answer 1

typealias momento non può essere utilizzato con i generici. L'opzione migliore potrebbe essere quella di avvolgere la funzione parser all'interno di una struttura.

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

È quindi possibile utilizzare la sintassi della chiusura finale durante la creazione di un parser, ad es.

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

Answer 2

Qui sto presentando esempio per typealias che demonistrate a come utilizzare typealias nelle definizioni protocolli: Spero che questo ti aiuta a capire typealias

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 
} 
} 

uscita:

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

Answer 3

Generico typealias può essere utilizzato da Swift 3.0. Questo dovrebbe funzionare per voi:

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

Ecco la documentazione completa: https://developer.apple.com/library/content/documentation/Swift/Conceptual/Swift_Programming_Language/Declarations.html#//apple_ref/swift/grammar/typealias-declaration