MP
рынок это получение прибыли, получаешь прибыль - на своем месте, нет - лох
А самые нелохи - наркоторговцы и производители церковных свеч.
Size: a a a
2018 March 15
PF
Вообще в прод кто то с крупным проектом уже вышел с elm?
Пишем на elm-е фронт для опердней, долвольны.
QZ
spa или в стиле noredink когда на каждой странице свое элм-приложение?
PF
и то, и то. Плюс ещё - на каждой странице несколько elm прилоджений
PF
Наброшу пожалуй ещё про тайпклассы и дженерики - это не единственный способ в ад-хок полиморфизм. Все абстракции, которые так любят юниоры, изучающие хаскиль и проект Эйлера (включая монадки), прекрасно ложатся на "нетипизированные" темплейты в ситле языка D (C++ тоже, но там всё плохо). Вот их бы я точно предпочёл тайпклассам в elm-е. чисто моё имхо, не навязываю никому
QZ
учитывая что в элме уже есть тайпклассы, но они прибиты гвоздями в компиляторе
QZ
желание втащить туда еще какие-то "темплейты" выглядит как бред
QZ
хотя черт этих сеньоров пишуших на D поймет )
PF
всё выглядит как бред когда не знаешь
для вызывающего кода разницы нет что там внутри, главное чтобы соотв. семантика была соблюдена
для вызывающего кода разницы нет что там внутри, главное чтобы соотв. семантика была соблюдена
QZ
и это.. тайпклассы это про parametric полиморфизм, а не ad-hoc
но опять же, кто этих D сеньоров поймет )
но опять же, кто этих D сеньоров поймет )
QZ
но если серьезно то разве не проще дать пользователям возможность определять тайпклассы и инстансы (учитывая что компилятор это уже делает для себя)
QZ
чем что-то выдумывать еще
к
и это.. тайпклассы это про parametric полиморфизм, а не ad-hoc
но опять же, кто этих D сеньоров поймет )
но опять же, кто этих D сеньоров поймет )
так ведь таки ad-hoc
QZ
я чет подумал про них в контексте баундов к параметрам
PF
но если серьезно то разве не проще дать пользователям возможность определять тайпклассы и инстансы (учитывая что компилятор это уже делает для себя)
ты рационализируешь. компилятор ничего такого не делает - он строит AST, а не оперирует абстракциями.
лучше дать пользователям писать свои типы без хлама в виде нудного указания констрейтов. А компилятор пусть сам разбирается к какому условному тайпклассу тип принадлежит и правильно ли он используется
лучше дать пользователям писать свои типы без хлама в виде нудного указания констрейтов. А компилятор пусть сам разбирается к какому условному тайпклассу тип принадлежит и правильно ли он используется
QZ
ты рационализируешь. компилятор ничего такого не делает - он строит AST, а не оперирует абстракциями.
лучше дать пользователям писать свои типы без хлама в виде нудного указания констрейтов. А компилятор пусть сам разбирается к какому условному тайпклассу тип принадлежит и правильно ли он используется
лучше дать пользователям писать свои типы без хлама в виде нудного указания констрейтов. А компилятор пусть сам разбирается к какому условному тайпклассу тип принадлежит и правильно ли он используется
айсед ну блин
я про то что механизм тайпклассов уже есть, но тайпклассы и их инстансы прибиты гвоздями и новое определить нельзя
я про то что механизм тайпклассов уже есть, но тайпклассы и их инстансы прибиты гвоздями и новое определить нельзя
QZ
и вот дать возможность это делать пользователям наверное проще чем темплейты изобретать или что там еще
AK
так зачем?
AK
зачем использовать язык, если страдаешь от отсутствия тайпклассов, которые есть в соседнем языке?
2018 March 16
AK
в Эльме не будет тайпклассов и это одно из свойств за которые я этот язык люблю (но люблю я не один язык) и если они будут, то лично я скорее расстроюсь чем обрадуюсь, потому что язык потеряет свою уникальность, и тогда уже можно будет переходить на пурсу ту же, там-то всё по дао Хаскеля сделано