I
Size: a a a
2020 May 22
YS
"если в наличие есть тайпклассы и хкт - то все проблемы кажутся монадами" 🌚 (имелось в виду конечно free)
Это же и хорошо!
YS
Раз все проблемы можно решать одним способом)
YS
Не, зачем?
YS
Интерпретаторы - это вы дальше пошли
YS
Для монад уже много написано
YS
Любой код на С или Java или любом другом языке уже и так монадичен по своей сути, поэтому нельзя получить значительного выигрыша от того что этот факт будет проявлен в типах явно.
YS
Что значит "монадичный код"? .-.
АГ
Брагилевский считает, что императивный код - это подмножество монадического
YS
ну это наверное уже дебри .-. по крайней мере - для незнакомых с концепциями
I
Раз все проблемы можно решать одним способом)
только не понятно зачем язык без ide, когда тоже самое есть в java:
- интерфейсы и разные реализации - check
- стат. проверяемый DI - check (dagger2)
- возможность кидать исключения в логике - check
- возможность писать все императивно - check
Плюс огромный рыночек программистов понимающих SOLID
- интерфейсы и разные реализации - check
- стат. проверяемый DI - check (dagger2)
- возможность кидать исключения в логике - check
- возможность писать все императивно - check
Плюс огромный рыночек программистов понимающих SOLID
YS
только не понятно зачем язык без ide, когда тоже самое есть в java:
- интерфейсы и разные реализации - check
- стат. проверяемый DI - check (dagger2)
- возможность кидать исключения в логике - check
- возможность писать все императивно - check
Плюс огромный рыночек программистов понимающих SOLID
- интерфейсы и разные реализации - check
- стат. проверяемый DI - check (dagger2)
- возможность кидать исключения в логике - check
- возможность писать все императивно - check
Плюс огромный рыночек программистов понимающих SOLID
Джава - тоже отличный язык, с отличной экосистемой
АГ
Java? Серьезно?
YS
Просто есть язык с ide, есть язык без ide но с хорошей системой типов и компилятором, и тут не стоит вопроса "Зачем X если есть Y"
YS
SOLID понимать - это вопрос двух часов чтения книжки Мартина (ничего там сложного нет)
YS
Да, конечно, программистов на хаскеле сильно меньше, чем на джава, тут сказать нечего. Если это решающий фактор - не начинайте проект на хаскеле)
JS
Брагилевский считает, что императивный код - это подмножество монадического
да, вся императивщина сводится к MonadState
JS
Да, конечно, программистов на хаскеле сильно меньше, чем на джава, тут сказать нечего. Если это решающий фактор - не начинайте проект на хаскеле)
можно почти любого джависта взять в хаскельный проект и научить
YS
можно почти любого джависта взять в хаскельный проект и научить
Я вообще считаю - можно любого, у кого есть опыт разработки и "живой ум" взять на хаскель