к
Size: a a a
2021 February 12
KV
Я имею в виду анонимные рекорды и суммы, да
к
AA
Есть активные пропозалы про структурную типизацию?
для рекордов есть пропозал, но не сильно активный
AA
Я имею в виду именно чтобы были типы вместо констрейнтов
если типы вместо констрейнтов это не структурная типизация а сабтайпинг же
KV
если типы вместо констрейнтов это не структурная типизация а сабтайпинг же
Почему?
2021 February 13
AA
ну если у нас тип
то для того чтоб рекорд Rec [a :: Foo, b :: Bar, c :: Baz] принять нудно отношение подтипирования
а когда говорят про структурную обычно байндед полиморфизм имеют в виду
Rec [a :: Foo, b :: Bar] -> ...
то для того чтоб рекорд Rec [a :: Foo, b :: Bar, c :: Baz] принять нудно отношение подтипирования
а когда говорят про структурную обычно байндед полиморфизм имеют в виду
к
ну если у нас тип
то для того чтоб рекорд Rec [a :: Foo, b :: Bar, c :: Baz] принять нудно отношение подтипирования
а когда говорят про структурную обычно байндед полиморфизм имеют в виду
Rec [a :: Foo, b :: Bar] -> ...
то для того чтоб рекорд Rec [a :: Foo, b :: Bar, c :: Baz] принять нудно отношение подтипирования
а когда говорят про структурную обычно байндед полиморфизм имеют в виду
так ну не, я полагаю, что
data X = X { a :: Int, b :: Int }
не должен подходить под
f :: Rec (a :: Int) -> ()
data X = X { a :: Int, b :: Int }
не должен подходить под
f :: Rec (a :: Int) -> ()
KV
ну если у нас тип
то для того чтоб рекорд Rec [a :: Foo, b :: Bar, c :: Baz] принять нудно отношение подтипирования
а когда говорят про структурную обычно байндед полиморфизм имеют в виду
Rec [a :: Foo, b :: Bar] -> ...
то для того чтоб рекорд Rec [a :: Foo, b :: Bar, c :: Baz] принять нудно отношение подтипирования
а когда говорят про структурную обычно байндед полиморфизм имеют в виду
Ок, а байндед полиморфизм обязательно должен быть констрейнтом. Значит, я хочу просто синтаксис как в пурсе? Там это именно констрейнт?
AA
для этого нужен отдельно Rec (a :: Int | r)
ну это констрейнт, он инлайн записан просто
AA
Ок, а байндед полиморфизм обязательно должен быть констрейнтом. Значит, я хочу просто синтаксис как в пурсе? Там это именно констрейнт?
ну да
KV
Понятно
к
ну это констрейнт, он инлайн записан просто
ну, это далеко не синтаксический инлайн
type X r = Rec (a :: Int | r )
newtype Y r = Y (X r) -- без всяких эксистов
f :: () -> X ()
type X r = Rec (a :: Int | r )
newtype Y r = Y (X r) -- без всяких эксистов
f :: () -> X ()
AA
хотя я может ошибаюсь
но значение такого типа сделать нельзя же
Rec (a :: Int | r ) ?
но значение такого типа сделать нельзя же
Rec (a :: Int | r ) ?
AA
нет
ну значит да, это по сути ограничение полиморфизма типа классовых констрейнтов, только вот так записанное