Convenzione F # per posizionamento bretelle

1

Esiste una convenzione generalmente accettata per il posizionamento delle parentesi graffe in F #? Ho trovato alcuni esempi nella documentazione, ma non sembravano coerenti tra loro. In particolare, e per fare un esempio, c'è un consenso su quale sia meglio, questo

seq {
    for polarity, a in Set.filter (fun (polarity, _) -> polarity) c do
    let c = Set.remove (polarity, a) c
    for a0, a1 in orientations (eqn a) do
    for polarity, b in Set.filter (fun (polarity, _) -> polarity) c do
    let c = Set.remove (polarity, b) c
    for b0, b1 in orientations (eqn b) do
    match unify a0 b0 with
    | None ->
        ()
    | Some m ->
        yield 
            c                                            
            |> Set.add (true, equal (a0, a1))                                        
            |> Set.add (false, equal (a1, b1))                                        
            |> evalClause m }

o questo?

seq {
    for polarity, a in Set.filter (fun (polarity, _) -> polarity) c do
    let c = Set.remove (polarity, a) c
    for a0, a1 in orientations (eqn a) do
    for polarity, b in Set.filter (fun (polarity, _) -> polarity) c do
    let c = Set.remove (polarity, b) c
    for b0, b1 in orientations (eqn b) do
    match unify a0 b0 with
    | None ->
        ()
    | Some m ->
        yield 
            c                                            
            |> Set.add (true, equal (a0, a1))                                        
            |> Set.add (false, equal (a1, b1))                                        
            |> evalClause m 
}

E allo stesso modo per le parentesi quadre nei letterali di array e di elenchi che sono troppo grandi per essere scritti su una riga - è normale seguire la stessa convenzione?

    
posta rwallace 28.03.2017 - 11:37
fonte

0 risposte

Leggi altre domande sui tag