AP
Я не могу абстрагировать ключ словаря, это пипец как тупо! Особенно в условиях Elm, где любые ADT умеют сравнение по умолчанию
Size: a a a
2017 October 26
ZK
А почему нельзя? А если подсунуть функцию compare в конструктор, которая умеет сравнивать?
ZK
Ну да, придётся на каждое создание словаря такую функцию подсовывать
AP
И таскать по копии функции сравнения в каждом конструкторе? И не забывать одну и ту же функцию сравнения класть в две половинки словаря, которые я хочу слить? Это а) просто неудобно б) чревато ошибками, т.к. "компилятор не защитит"
ZK
А в чём проблема функцию таскать? Так в Java, например сделано (TreeSet)
AP
Ну ок, кому то "удобно" функцию таскать. Но тип то будет
Такой тип позволит безнаказанно слить два словаря с разной функцией сравнения для общего типа ключа. И при этом будет влиять порядок сливаемых словарей в выражении. Это ад!
type Dict_ k v =
Dict { compare :: k -> k -> Bool, values :: ...}
Такой тип позволит безнаказанно слить два словаря с разной функцией сравнения для общего типа ключа. И при этом будет влиять порядок сливаемых словарей в выражении. Это ад!
AP
Это настолько ослабляет типизацию, что страшно становится!
ZK
Всё это мелочи, ИМХО
QZ
фишки языка типа тайпклассов конечно важны и удобны
но зачастую это не решающий фактор
но зачастую это не решающий фактор
ZK
Функции высшего порядка - это уже лютый вин, ИМХО
QZ
взять ghcjs где язык несравнимо богаче чем элм, но в продакшене это абсолютно непригодное говно
QZ
а бедность elm ведет к тому что надо писать больше кода, ну ок, с этим можно жить
AP
Взять PureScript, который и в продакшне лучше Elm, и мощнее гораздо
AP
GHCJS (именно бакенд) пишет один человек в свободное от работы время, поэтому там всё медленно продвигается. И это никоим образом не делает Elm "не говном"
QZ
как только purs перестанет идти по пути хаскеля и вместо 5 недоделанных биндингов к реакту будет 1 реализация vdom но работающая им станет можно пользоваться
QZ
GHCJS (именно бакенд) пишет один человек в свободное от работы время, поэтому там всё медленно продвигается. И это никоим образом не делает Elm "не говном"
это был пример того что мощный язык это хорошо, но не всегда однозначно решающий фактор
QZ
элм кстати тоже страдает от того что его (по сути) пишет один человек
ZK
Разве не два? Richard и Evan
AP
И кто будет ещё его писать?
QZ
ну все ключевые решения за эваном и он же пишет в основном