AK
мол термины использовать не нужно
не нужно их использовать при объяснении теории начинающим, вообще без них не обойтись конечно
Size: a a a
2018 March 16
QZ
Я лично пытаюсь понять, как отсутсвие фичи улучшило эльм... предположу, что это ускорило компиляцию...
ускорило разработку языка скорее, оно ж в одно лицо пилится считай
ДП
а haskell жжет напалмом)
Где он жжет напалмом? Вот где?
AK
Я лично пытаюсь понять, как отсутсвие фичи улучшило эльм... предположу, что это ускорило компиляцию...
улучшило читабельность кода, вроде бы на Хаскеле и UI пишете, знаете что наличие в UI лишней фичи не значит что это дружелюбный UI?
A
Где он жжет напалмом? Вот где?
выше листинг был с обьявление инстансов)
A
да блин даже в matlab такой жести нету😂
ДП
выше листинг был с обьявление инстансов)
А что с ним не так? Там всё кристально ясно.
к
улучшило читабельность кода, вроде бы на Хаскеле и UI пишете, знаете что наличие в UI лишней фичи не значит что это дружелюбный UI?
конечно, ведь важно не наличие фичи а ее полезность и удобство для юзера, бесполезные фичи лишь мешают
сомневаюсь, что юзер захочет писать свои никнейм по 10 раз в форме
сомневаюсь, что юзер захочет писать свои никнейм по 10 раз в форме
MK
выше листинг был с обьявление инстансов)
тут как обычно подмена понятий, если что-то незнакомо или непривычно это не значит, что оно сложно. Ниже ведь объяснили зачем это
PF
айсед ну блин
я про то что механизм тайпклассов уже есть, но тайпклассы и их инстансы прибиты гвоздями и новое определить нельзя
я про то что механизм тайпклассов уже есть, но тайпклассы и их инстансы прибиты гвоздями и новое определить нельзя
Есть механизм проверки соответсвия типов который тебе удобно считать скрытыми от тебя тайпклассами. Но это пофиг конечно, назови хоть аквалангом.
Важно тут то, что если это тайпклассы, то они - правильные. Чтобы использовать тип в качестве ключа мапы, ни где прописывать каким образом он сравнивается. Вот это и есть тайпклассы здорового человека - которых не видно и не слышно. Если речь о том чтобы дать программистам возможность определять такие типы - я только за. Но чтобы без явного указания ограничений, ибо это бесит, это тайп классы курильщика. Если компилятор не в состоянии сам выводить ограничения типа из контеста использования типа, то уж лучше вообще без всяких тайпклассов
Важно тут то, что если это тайпклассы, то они - правильные. Чтобы использовать тип в качестве ключа мапы, ни где прописывать каким образом он сравнивается. Вот это и есть тайпклассы здорового человека - которых не видно и не слышно. Если речь о том чтобы дать программистам возможность определять такие типы - я только за. Но чтобы без явного указания ограничений, ибо это бесит, это тайп классы курильщика. Если компилятор не в состоянии сам выводить ограничения типа из контеста использования типа, то уж лучше вообще без всяких тайпклассов
A
тут как обычно подмена понятий, если что-то незнакомо или непривычно это не значит, что оно сложно. Ниже ведь объяснили зачем это
я не про то что незнакомо, я с этим эффектом знаком)
A
но всё равно пахнет усложнением)
AK
конечно, ведь важно не наличие фичи а ее полезность и удобство для юзера, бесполезные фичи лишь мешают
сомневаюсь, что юзер захочет писать свои никнейм по 10 раз в форме
сомневаюсь, что юзер захочет писать свои никнейм по 10 раз в форме
для написания никнейма можно всё ещё функцию объявить, оверабстракции тоже не панацея, почему тогда математики в практических вычислениях не используют общую алгебру?
к
для написания никнейма можно всё ещё функцию объявить, оверабстракции тоже не панацея, почему тогда математики в практических вычислениях не используют общую алгебру?
так используют же
к
на современную физику посмотрите
к
кольца, поля, группы, все смешалось
RS
Слушайте, но ведь правда создаётся впечатление, что хаскелисты не любят всё, что не похоже на хаскель. Elm это другой язык, с другой философией. Зачем пассивная агрессия?
QZ
Есть механизм проверки соответсвия типов который тебе удобно считать скрытыми от тебя тайпклассами. Но это пофиг конечно, назови хоть аквалангом.
Важно тут то, что если это тайпклассы, то они - правильные. Чтобы использовать тип в качестве ключа мапы, ни где прописывать каким образом он сравнивается. Вот это и есть тайпклассы здорового человека - которых не видно и не слышно. Если речь о том чтобы дать программистам возможность определять такие типы - я только за. Но чтобы без явного указания ограничений, ибо это бесит, это тайп классы курильщика. Если компилятор не в состоянии сам выводить ограничения типа из контеста использования типа, то уж лучше вообще без всяких тайпклассов
Важно тут то, что если это тайпклассы, то они - правильные. Чтобы использовать тип в качестве ключа мапы, ни где прописывать каким образом он сравнивается. Вот это и есть тайпклассы здорового человека - которых не видно и не слышно. Если речь о том чтобы дать программистам возможность определять такие типы - я только за. Но чтобы без явного указания ограничений, ибо это бесит, это тайп классы курильщика. Если компилятор не в состоянии сам выводить ограничения типа из контеста использования типа, то уж лучше вообще без всяких тайпклассов
да они не скрытые даже если что. проблема что новые добавить нельзя
AK
тут как обычно подмена понятий, если что-то незнакомо или непривычно это не значит, что оно сложно. Ниже ведь объяснили зачем это
не означает, но есть энный коэффициент багажа знаний, необходимый для умелого использования фичи, вот тайпклассы разбирать — это почти как два новых языка программирования выучить
A
забавно еще то что сами математики фигарят расчеты на питоне, а кодеры фигарить инженерный код на математическом haskell)