p
Потому что ими надо пользоваться как энкодингом для некогерентных "тайпклассов"
А лучше ими не пользоваться
Size: a a a
2020 August 26
p
У тебя любой вызов функции теряет эээ «семантическую локальность»
Угу
p
Это скала, здравствуйте
DS
У тебя любой вызов функции теряет эээ «семантическую локальность»
Точно так же у тебя тайпклассы приводят к такому же эффекту
DS
Разница только в когерентности
EG
Точно так же у тебя тайпклассы приводят к такому же эффекту
В меньшей степени, ИМХО
EG
По вызову тайпкласса хотя бы всегда понятна сигнатура функции
EG
Но в скале есть implicit parameter lists, то есть даже сигнатура неизвестна
DS
По вызову тайпкласса хотя бы всегда понятна сигнатура функции
Так тут сигнатура тоже понятна
DS
Но в скале есть implicit parameter lists, то есть даже сигнатура неизвестна
Сигнатура известна
DS
Ты что-то не то прочитал
EG
Так тут сигнатура тоже понятна
Нет же. В вызове может быть пропущен parameter list, и ты этого не узнаешь в месте вызова функции.
DS
Нет же. В вызове может быть пропущен parameter list, и ты этого не узнаешь в месте вызова функции.
Ну потому что это имплисит параметр. Ты же инстанс тайпкласса в хаскеле не передаешь руками?
DS
Вот и тут точно так же
EG
Ну потому что это имплисит параметр. Ты же инстанс тайпкласса в хаскеле не передаешь руками?
Да, но я точно знаю все аргументы
VV
Определить ненужные импорты в скале вполне может быть undecidable задачей.
Вот потому что в Скале можно совсем ебнанутую ебатень сделать поэтому она говно. Блин, зато либы под нее какие конфетки. Doobie с его dsl на Free да и такой жу fs2 просто конфекти. Как и Tapir с http4s. Просто ми ми ми.
DS
Да, но я точно знаю все аргументы
Так тут точно так же. Все что имплисит - это считай какие-то псевдотайпклассы
EG
Так тут точно так же. Все что имплисит - это считай какие-то псевдотайпклассы
VV
Я на растоконфе буду про иерархическое распределение обновлений рассказывать 11 сентября
https://www.meetup.com/Rust-%D0%B2-%D0%9C%D0%BE%D1%81%D0%BA%D0%B2%D0%B5/events/272798484/
https://www.meetup.com/Rust-%D0%B2-%D0%9C%D0%BE%D1%81%D0%BA%D0%B2%D0%B5/events/272798484/
O_o Апупеть какие события.
EG