Mi sento a disagio con la sintassi dei record di Haskell

La maggior parte della sintassi di Haskell ha bellezza di purezza. Ma la sintassi del record sembra brutta. È scomodo. Sembra una specie di miscuglio con C. Richiede virgola e parentesi graffe. Haskell ha una tabulazione, una separazione basata su linee. Quindi sembra troppo prolisso di quanto inizialmente richiesto. Perché è progettato in questo modo?

Anche se non facevo parte del comitato di progettazione, ritengo che la sintassi del record fosse modellata per essere coerente con la sintassi dell'elenco. La sintassi di esportazione del modulo utilizza anche le virgole, l'unico luogo reale in cui viene utilizzato il layout sono le dichiarazioni di livello superiore, in cui clausole e notazione.

Inoltre, dato

data Foo = Foo {bar :: Int, baz :: Int}

scrittura

fnord x = x { bar = 4 }

senza le parentesi graffe si scontrerebbe con il resto della sintassi e usando il layout, come

fnord x = x
    bar = 4

renderebbe la sintassi piuttosto fragile. Aggiungi un "dove" nel posto sbagliato e il tuo codice significa qualcosa di completamente diverso.

Se non sei soddisfatto dello stato dei record in Haskell (e non lo sarai da solo), ti consiglio di dare un'occhiata a fclabels o persino a elaborati hacker di tipo da tavolo come HList o dischi di pompelmo (questi ultimi due non sono per i deboli di cuore, ma anche follemente potente)

fclabels ti permetterebbe di scrivere (yay pointfree)

fnord = setL bar 4

così come

getBar = getL bar

in cima alla sua vera ragion d'essere, che sta componendo le etichette:

 data Person = Person { _place  :: Place, ... }
 data Place = Place { _city :: String, ... }

 moveToAmsterdam :: Person -> Person
 moveToAmsterdam = setL (city . place) "Amsterdam"