ND
дурачки короче
Size: a a a
2020 December 21
DP
Хотел на хабр выложить
могу если что на выходных помочь с переводом, за пару выходных можно сделать в принципе. но я не супер нейтив инглиш, но там и слог достаточно понятный. скорее, требует больше передать по смыслу ближе к сути и красиво литературненько, наверное, так? вы уже начали перевод, где можно присоединиться?
LL
а clojure чем им не функциональный?
Так не лисп же
DP
типов нет)))
да все там есть (в скобочках - типы не нужны, нормальные контракты то что надо)
DP
clojure - это вполне себе лисп, с определенными ограничениями (из-за платформы)
LL
Я мемлю
DP
а, сорян. просто я реально встречался с мнением (и не одним) лисперов - что кложа якобы не лишп
DP
и что она там разрозняет сообщество, не тру и так далее
ND
да все там есть (в скобочках - типы не нужны, нормальные контракты то что надо)
ну есть мнение что функциональное программирование это только статическая типизация
ND
хотя кто мешает функции ворочать в динамике не понятно
DP
По-моему, у лиспа маркетинг слабый, вот и нет мотивации у людей осиливать. 😁 Я за всё время не нашёл ни одной вакансии на cl. Только на clojure их относительно много.
маркетинг слабый это однозначно. но на мой взгляд, это далеко не единственная проблема лиспа (маркетинг). в любом случае технические проблемы (отсутствие либ, каких-то решений, полузаброшенные проекты и так далее) опять же на мой взгляд, чтоб холиваров не разводить, проблема - в сугубо социальной плоскости, маркетинг туда же, но не им единым.
ND
дурачки, короче, как я и сказал
YK
маркетинг слабый это однозначно. но на мой взгляд, это далеко не единственная проблема лиспа (маркетинг). в любом случае технические проблемы (отсутствие либ, каких-то решений, полузаброшенные проекты и так далее) опять же на мой взгляд, чтоб холиваров не разводить, проблема - в сугубо социальной плоскости, маркетинг туда же, но не им единым.
из технических проблем ещё половина вещей не работает нормально на чем-то кроме линукса/*бсд
YK
McCLIM например
SA
ну про типы не нужны это вы расскажите своей бабушке
SA
и про контракты тоже
DP
технические проблемы - это следствия, непопулярности, нераспространенности. а если посмотреть еще более вглубь - отсутствия мотивации учить и писать код у нью-фагов / мелкого бизнеса / корпораций. нет мотива - нет команды, нет команды - нет продукта, нет продукта - нет реализации и тестирования, нет тестирования и либ - нет ньюфагов, бизнеса и корпораций
SA
конечно же нормальная математическая теория не нужна а круто то что кодеры на коленке придумали и приделали сбоку
DP
речь о статических типах, на сколько я понимаю контекст. и да - они не нужны, кроме как опционально. потому что контракты - намного более мощное средство, чем традиционные типы. а математические теории нужны.
VM
ну про типы не нужны это вы расскажите своей бабушке
Насколько я помню, теория типов была натянута на лямбда-исчисление позже и это говорит о том, что для функционального программирования (если считать лямбда-исчисление таковым) типы не важны.