O
Большинство полезных вещей из хаскеля реализуемы на том же сишарпе
ну да, hkt, gadt, deriving, закрытые суммы
Size: a a a
2020 February 23
АВ
Я сам в основном пишу на тайпскрипте, но я так думаю, что в сишарпе есть не меньшие инструменты выразительности
АВ
Hkt в явном виде, например, в сишарпе отсутствуют, но могут быть сымитированы
АВ
И компилятор таки поможет
DS
Hkt в явном виде, например, в сишарпе отсутствуют, но могут быть сымитированы
Вопрос в том, что такая имитация абсолютно не эргономична в своем использовании
O
АВ
Вполне эргономична, поспорю
АВ
Всего лишь пара вспомогательных типов
DS
Вполне эргономична, поспорю
Ага, бегать повсюду с Hkt<Tag, Type>
DS
Очень эргономично
АВ
Будто сильно сложнее, чем в в скале с F[_]
DS
И с постоянными Project, Inject
DS
Будто сильно сложнее, чем в в скале с F[_]
Кардинально сложнее, т.к. у тебя нет даже того вывода типов, который есть в скале.
Приходится постоянно делать Project/Inject, чтобы перейти к реальным типами.
Нет никаких тайп-лямбд, как в скале, чтобы можно было каррировать HKT, где нужно
Приходится постоянно делать Project/Inject, чтобы перейти к реальным типами.
Нет никаких тайп-лямбд, как в скале, чтобы можно было каррировать HKT, где нужно
АВ
Кардинально сложнее, т.к. у тебя нет даже того вывода типов, который есть в скале.
Приходится постоянно делать Project/Inject, чтобы перейти к реальным типами.
Нет никаких тайп-лямбд, как в скале, чтобы можно было каррировать HKT, где нужно
Приходится постоянно делать Project/Inject, чтобы перейти к реальным типами.
Нет никаких тайп-лямбд, как в скале, чтобы можно было каррировать HKT, где нужно
В случае с тс таки вывод есть
O
мы же про сишарп вроде как
АВ
Каррирования типов, разумеется, нет
АВ
мы же про сишарп вроде как
Я выше писал, что я на тс в основном пишу
O
да, но
O
Большинство полезных вещей из хаскеля реализуемы на том же сишарпе
^
DS
В случае с тс таки вывод есть
Но все остальные проблемы точно так же остаются.
Плюс отутствие тайпклассов сильно мешает стандартным паттернам из ФП. Либо руками ресолвить инстансы, что в случае любого нормального стека трансформеров превратится в ад.
Плюс отутствие тайпклассов сильно мешает стандартным паттернам из ФП. Либо руками ресолвить инстансы, что в случае любого нормального стека трансформеров превратится в ад.