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?