Dlaczego GHC Haskell nie obsługuje przeciążonych nazw parametrów rekordów?

Question

Co mówię jest to, że nie jest możliwe określenie:

data A = A {name :: String} 
data B = B {name :: String} 

wiem, że GHC tylko desugars to do prostych funkcji i idiomatyczne sposobem rozwiązania tego byłoby:

data A = A {aName :: String} 
data B = B {bName :: String} 

class Name a where 
    name :: a -> String 

instance Name A where 
    name = aName 

instance Name B where 
    name = bName 

Po napisaniu tego, nie podoba mi się to tak bardzo ... czy ten typ literowania nie mógł być częścią procesu usuwania?

---

Przyszła mi do głowy myśl, kiedy pisałem kilka analiz JSON Aesona. Gdzie byłoby zbyt łatwo po prostu dla każdego typu danych musiałem napisać wszystko ręcznie (obecnie> 1k linii i liczenie). Posiadanie nazw takich jak name lub po prostu value w rekordzie danych nie jest rzadkością.

http://www.haskell.org/haskellwiki/Performance/Overloading wspomina, że ​​przeciążenie funkcji wprowadza pewne obciążenie środowiska wykonawczego. Ale właściwie nie rozumiem, dlaczego kompilator nie byłby w stanie rozwiązać tego problemu podczas kompilacji i wewnętrznie nadawać im różne nazwy.

This SO question from 2012 więcej lub mniej państw historyczne powodów i punktów do wątku z roku 2006. Czy ostatnio coś się zmieniło?

Nawet gdyby nie było trochę czasu pracy, większość ludzi nie miałaby nic przeciwko, ponieważ większość kodu prawie nie jest krytyczna.

Czy jest jakieś ukryte rozszerzenie języka, które faktycznie pozwala na to? Znowu nie jestem pewien ... ale myślę, że Idris rzeczywiście to robi?

Answer 1

Korzystanie składnię rekordu

data A { name :: String } 

pośrednio definiuje funkcję

name :: A -> String 

Jeśli definiować zarówno A i B z { name :: String } mamy definicje typów sprzecznych dla name:

name :: A -> String 
name :: B -> String 

To jest nie jest jasne, w jaki sposób proponowane zajęcia typu ukryte będzie działać bo jeśli definiujemy dwa rodzaje

data A { name :: String } 
data B { name :: Text } 

wtedy właśnie przesunął problem z definicjami sprzecznych klasowych Typ:

class Has'name a where 
    name :: a -> String 

class Has'name a where 
    name :: a -> Text 

W zasadzie może to być rozwiązane jednego tak czy inaczej, ale jest to tylko jedna z kilku trudnych sprzecznych pożądanych właściwości dla rekordów. Kiedy zdefiniowano Haskella, zdecydowano, że lepiej jest mieć proste, ale ograniczone wsparcie, niż próbować zaprojektować coś bardziej ambitnego i skomplikowanego. Kilka udoskonaleń zapisów było omawianych w różnym czasie i są odwieczne dyskusje, np. this Haskell Cafe thread. Być może coś będzie wypracowane dla Haskell Prime.

Answer 2

Wiele, w większości drobnych powodów.Jednym z nich jest problem podniesiony przez a better answer, przeładowanie tylko na pierwszym argumencie jest niewystarczające, aby obsłużyć wszystkie przydatne przypadki.

Mogłabyś "desugar"

data A { name :: String } 
data B { name :: Text } 

do

class Has'name a b | a -> b where 
    name :: a -> b 

data A { aName :: String } 
instance Has'name A String where 
    name :: aName 

data B { bName :: Text } 
instance Has'name B Text where 
    name :: bName 

ale to wymagałoby rozszerzenia GHC (Zależności funkcjonalne), które nie znalazły się w standardzie, jeszcze. Wykluczałoby to używanie tylko "nazwy" do tworzenia rekordów, aktualizacji i dopasowywania wzorców (wzorce widoków mogą w tym pomóc), ponieważ "nazwa" w tych przypadkach nie jest "tylko" funkcją. Prawdopodobnie możesz wyciągnąć coś bardzo podobnego do szablonu Haskella.

Answer 3

Najlepszym sposobem, jaki znalazłem, jest użycie preprocesora do rozwiązania tego zdecydowanie głupiego problemu.

Haskell i GHC to ułatwiają, ponieważ cały analizator składni Haskella jest dostępny jako normalna biblioteka. Możesz po prostu przeanalizować wszystkie pliki, zrobić schemat zmiany nazwy (np. "Dane A {nazwa :: ciąg}" i "niech a = A" Betty "z nazwy a" na "dane A {nazwa_tam} ciąg} i" let a = A "Betty" w aNaz a ») w zależności od typu danych, do których zastosowano funkcję nazwy, za pomocą przelicznika typów i zapisania ich do kompilacji.

Ale szczerze, to powinno być zintegrowane z GHC. Masz rację: To głupie, że to nie jest uwzględnione.