Камон, ну какие юзкейсы у GADT?

Question

F# Chat

gsomix

Камон, ну какие юзкейсы у GADT?

#fsharp #programming #russian

0

11.06.2023

6 ответов

26 просмотров

Klei

GADT естественным образом пытаются писать даже люди с месяцем использования F#. Я несколько раз объяснял им почему это не работает. Но понятия не имею почему их не добавили. В тройке ФП фич от Щура она смотрится самой лёгкой. Я видимо чего-то ужасного про GADT не знаю.

0

11.06.2023

gsomix Автор вопроса

Klei
GADT естественным образом пытаются писать даже люд...

Я прошу назвать юзкейсы.

0

11.06.2023

Klei

gsomix
Я прошу назвать юзкейсы.

Да блин, какие юзкейсы у методов, в которых можно использовать локальный обобщённый тип? Вот приблизительно такой код вызывает вопросы: type 'a A () = member this.LocalGeneric (b : 'b) : 'a = failwith "NIE" type 'c C = { LocalGeneric : 'd -> 'c } Почему для обычных типов разрешили подобную хрень, а с рекорадми и DU так делать нельзя?

0

11.06.2023

gsomix Автор вопроса

Klei
Да блин, какие юзкейсы у методов, в которых можно ...

По той же причине, по которой нельзя объявить поле типа 'b -> 'a в классе.

0

11.06.2023

Klei

gsomix
По той же причине, по которой нельзя объявить поле...

Эт понятно. Причины в общих чертах мне ясны, но я был бы не против, чтобы мне не приходилось закидывать туда прокси тип ручками или думать, а не сделать ли это иначе. Вообще не хочу об этом думать.

0

11.06.2023

Ilya · Accepted Answer

Ilya

компиляторы/парсеры)

0

11.06.2023

169 похожих чатов

Камон, ну какие юзкейсы у GADT?

6 ответов

Похожие вопросы