IK
Size: a a a
2020 July 23
АГ
Не надо знать каинды, достаточно уметь сопоставлять типы с аргументами и типы без аргументов
YS
ну вот с
Either тут не так просто, например, так что всё таки про кайнды чуть знать надоАГ
И вообще, не надо "знать", чтобы "пользоваться"
VZ
Не надо знать каинды, достаточно уметь сопоставлять типы с аргументами и типы без аргументов
“Типы с аргументами” и “типы без аргументов” это и есть кайнды вообще-то
AF
для того, чтобы пользоваться функтором, достаточно знать функтор из теорката. А кайнды же из теории типов
D
И вообще, не надо "знать", чтобы "пользоваться"
а как ошибки парсить тогда?
VZ
Без аргументов:
С аргументом:
TypeС аргументом:
Type -> TypeD
ошибки компилятора
D
он иногда про кайнды ругается
D
к мидлу бегать?
D
ой, к сеньйору
АГ
для того, чтобы пользоваться функтором, достаточно знать функтор из теорката. А кайнды же из теории типов
Чтобы пользоваться конкретными функторами, не нужно знать ни ТК, ни каинды, ничего вообще. Есть Maybe, известно, что он функтор, - идешь и используешь
<$>AF
ещё непонятно, что в таблице у джуниора некий basic haskell (core, как я понимаю), у сеньора — Advanced Haskell. Вообще, более опытные разработчики в целом пишут проще
АГ
Человека проще научить, почему запись
будет работать, чем "что такое функтор, что такое higher-kinded types" и всё прочее
mbStrNumber = show <$> Just 10будет работать, чем "что такое функтор, что такое higher-kinded types" и всё прочее
VZ
Чтобы пользоваться конкретными функторами, не нужно знать ни ТК, ни каинды, ничего вообще. Есть Maybe, известно, что он функтор, - идешь и используешь
<$>Я сказал
Functor (сам класс), а не его инстансы. Отдельными инстансами можно пользоваться вообще без понимания классов (можно думать, что там какая-нибудь перегрузка а-ля C++)АГ
ещё непонятно, что в таблице у джуниора некий basic haskell (core, как я понимаю), у сеньора — Advanced Haskell. Вообще, более опытные разработчики в целом пишут проще
Опытные разработчики пишут проще, это абсолютно так. Там (где Advanced Haskell) отражен скоуп знаний. А скоуп использования определяется другими графами
VZ
ТК и теорию типов знать вообще не надо для того, чтобы писать на Хаскеле. Так же как не надо знать теорию групп чтобы складывать и умножать
VZ
Не говоря о том, что Functor в Haskell это ограниченный, частный случай функтора из ТК
VZ
Поэтому даже человек с бэкграундом в ТК не сразу поймет, что происходит