24 декабря Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Лисп - семейство языков программирования. Характерные особенности лиспов: динамичность, гомоиконность (код как данные), программируемость.
Основные диалекты — Common Lisp - разрабатывался как промышленный язык, пригодный для широкого спектра применения, из-за чего имеет достаточно объемную спецификацию. Является мультипарадигменным (процедурщина, функциональщина, ооп (CLOS)), с сильной, динамической типизацией. Есть опциональная декларация типов и, в некоторых реализациях (sbcl, например), частичный их вывод. Описание особенностей: http://habrahabr.ru/post/143490 Основные реализации: + свободные: SBCL (нативный код), Clozure CL (нативный код), ECL (через сишку), Clisp (байт-код; небольшой размер образа; похоже, заброшен), Clasp (llvm; ориентирован на интероп с c++), ABCL (байт-код JVM), gcl, cmucl + коммерческие: LispWorks, Allegro CL, Scieneer CL, mocl (для программирования под ведро и ios) — Scheme - это минималистичный лисп, пригодный в основном для обучения, исследований. Тем не менее, Racket вполне практичен. Racket включает в себя много подъязыков (typed racket, lazy racket, frtime racket), включая схему стандартов r5rs и r6rs. — Clojure - Стильный, модный, молодежный лисп с бóльшим уклоном в функциональщину, иммутабельными структурами данных, поддержкой параллельщины с транзакционной памятью, агентами. Ориентированность на JVM сильно отразилась на дизайне языка, что многим не нравится. — Emacs Lisp - его область применения ограничивается емаксом. Является наследником ТОГО САМОГО MacLisp'а. — Tcl - скриптовый язык с немного наркоманскимстранным синтаксисом. Из коробки множество батареек на любой случай жизни, среди которых неповторимый Tk. Язык очень удобен для написания скриптиков, особенно когда к ним требуется приделать графический интерфейс. — Rebol — PicoLisp - Наркоманская хуита — newLISP - Скриптовый лисп с компактным и быстрым интерпретатором и батарейками на любой случай жизни. В первую очередь предназначен для скриптоты, которую обычно пишут на perl, python, tcl, sh: обработка текстов, работа с сетью, базами данных, взаимодействие с ОС, построение графиков и т.п. Список возможностей: http://www.newlisp.org/index.cgi?Features Отличия от других диалектов: http://www.newlisp.org/index.cgi?page=Differences_to_Other_LISPs
— Clojure + Programming Clojure, 2nd edition (для новичков) + The Joy Of Clojure, 2nd edition (есть есть бэкграунд в Лиспе или ФП) + Попрактиковаться можно на Exercism'е http://exercism.io/languages/clojure
Среды разработки Одно из основных преимуществ лиспа в сравнении с языками с циклом разработки "написал → перекомпилировал → запустил в отладчике" - поддержка интерактивно-итеративного метода разработки. Но без инструментария, обеспечивающего полноценное взаимодействие с реплом, оно сводится на нет. Поэтому писать без использования нормальной среды - значит упустить важную особенность языка.
— Common Lisp + Emacs + SLIME - самый лучший вариант. + vim + SLIMV + LispWorks + AllegroCL IDE упаси боже + Eclipse + cusp + <Что-нибудь для сублайма/атома уже запилили, наверное?>
>>649769 Он его поднимает. Просто другие способы его поднять не сработали. Оставалось только попробовать летающую тарелку и гравитационные лучи. Вот так питон и взлетел. А если выключить луч, то питон упадёт.
>>656605 >Ну так и хорошо же. Не очень. Жаводрисня в кложурном коде выглядит слишком гхм... гармонично. Профит сомнителен. >Все это томкаты, jdbc драйверы, разве плохо? Конечно. Но некоторым вроде норм.
>>656605 Если торчащая изо всех щелей жава тебя тебя не сильно смущает, то кложура, может быть, не такой уж и плохой выбор. Хотя я бы на твоём месте сначала присмотрелся к скале или котлину.
>>656706 >>656642 >>656625 Отлично, зашел в лиспотред чтобы услышать какое говно кложура. Ну ничего, если мне не понравится то уйду на коммон лисп. Или скалу, раз настаиваете.
Ананасы, а как у Лиспа обстоят дела с вебом? Есть ли удобные фреймворки с MVC архитектурой и функциональными плюшками (асинхронность, иммутабельность и т.д.)?
Я писал сайты/веб-сервисы на Java, C#, Python, PHP, Node.js, немного смотрел Ruby, Perl и Go, но ничего из этого не понравилось, как-то все оно громоздко и неуклюже, с тоннами глючащего говнокода. Вот сейчас решил попробовать функциональщину и размышляю, что лучше выбрать, Лисп, Хаскель или Эрланг.
>>657274 Ну, существует также мнение, что кресты сами по себе приносят больше вреда, чем пользы. Да и еблю с Map<String, Vector<Pair<X, Y>>> едва ли можно признать нормальной. В этом смысле мне больше нравится ocaml. Да и в общелиспе благодаря частичному выводу типов отлавливается большинство ошибок, связанных с типизацией.
>>657284 >удобные фреймворки с MVC архитектурой Построены на модели чистых вычислений почти полностью (асинхронность, иммутабельность): React c Redux. Или ScalaJS c React и с Diode. >а как у Лиспа обстоят дела с вебом вот так (скорее всего): >неуклюже, с тоннами глючащего говнокода
>>657284 Сейчас в основном используются фреймворки, построенные поверх clack ( http://clacklisp.org/ ): caveman, lucerne, ningle. Иммутабельные структуры данных есть, но в виде отдельной библиотеке, которой мне никогда пользоваться не приходилось. fset, кажется, она называлась. Для асинхронности существует cl-async и построенная поверх него библиотека promise'ов - blackbird. Как-то так. И да, общелисп - не функциональщина.
>>657889 Поделюсь что-ли впечатлениями от процесса написания игрушки.
На начальном этапе, когда я делал механику, все было замечательно. REPL идеально подходит для такого рода вещей. Накатал пару функций, тут же посмотрел как они себя ведут. Красота.
Дальше пошла ебля с ffi. Здесь все волшебство репла кончилось. Понадеявшись на сборку мусора я поймал замечательные баги с неверной очисткой памяти и вообще порчей этой самой памяти при нескольких перезапусках SDL/переподгрузкой спрайтов. Ладно, хоть продакшн версия не страдает от этого недуга, т.к. после выхода полностью убивает образ. В общем прелести репл разработки свелись к тому, что постоянно приходилось перезапускать этот самый репл. Времени на поиск причин, очевидно, не было, потому что надо было делать игру. Итак столько дней было убито на попытки заставить это все работать под виндой и некоторые другие фиксы библиотеки.
Но это все частности, библиотека сырая, комьюнити полтора инвалида. Спишем на это.
CLOS при всей своей навороченности выдает такие стек трейсы (по крайней мере в sbcl) что отладка превращается в загрузку всего кода в голову, в попытках понять где вообще это произошло. Да, не осилил.
Макросы наиохуеннейшая вещь. Описания поведения карт и боссов замечательно легли на маленький dsl.
Рефакторинг динамически типизированного языка, особенно с макросами уровня with-slots это полный распиздос. Да, не осилил.
В общем чувства после конкурса у меня смешанные — с одной стороны вроде и писать приятно, с другой стороны, сказался недостаток опыта решения конкретных задач, которые подкидывает лишп и его библиотеки.
>>658334 Значит за столько лет её никто не написал? А криптографические программы на лиспе писать можно? Как у него со скоростью? Всякую стенаграфию шифровать на алгоритме который легко распространить но сложно понять принцип работы получится?
>>658341 >А криптографические программы на лиспе писать можно? http://www.cliki.net/Ironclad >Как у него со скоростью? SBCL, CCL и все (вроде бы все) коммерческие реализации генерируют довольно эффективный код.
>>658251 Наверное, стоило тебе посоветовать использовать более отлаженный да и вообще неплохо написанный lispbuilder-sdl. Правда он первую версию sdl'я поддерживает, а не вторую. > В общем прелести репл разработки свелись к тому, что постоянно приходилось перезапускать этот самый репл. Можно было обернуть место, где у тебя инициализируется игровой мир, перезапуском и его уже дергать без переинициализации sdl. >особенно с макросами уровня with-slots with-slot'ом лучше не злоупотреблять. Обычно он используется для слотов, которые считаются приватными, потому как обращается к ним напрямую через slot-value, а не через методы-accessor'ы, которые могут быть переопределены пользователем.
Помогите с формулойАноним18/02/16 Чтв 14:43:23#62№658432
Господа, задали ДОМАШКУ в вузе. Я не прошу ее решать, прошу только помочь с формулой (ну да, сказать формулу - считай решить, лол). Просто подскажите формулу, как проверить "входит ли одна окружность в другую". Я с детства в контрах с алгеброй и геометрией. Вот текст задачи: "Даны координаты центров и радиусы двух окружностей на плоскости. Может ли вторая окружность целиком содержится внутри первой?" Не нужно решение, просто формула или хотя бы подскажите, куда копать. С меня нефть или фотки Эммы Стоун.
>>658432 >Я с детства в контрах с алгеброй и геометрией Нет, просто ты ленивое мурло, решившее поступить в вуз "шоб як у всiх". Отчисляйся, высшее образование не для тех, кто задачу седьмого класса решить не может.
>>658486 Да я знаю, что она простая. Но я не знаю, в каком направлении копать, блять. Ебаный в рот, у меня по геометрии было три года подряд ебаная два, по алгебре аж три. Ну что, сложно сказать, что искать? Что за упыри, блять.
>>658503 За это время мог бы уже изобразить задачу да сориентироваться, как её решать. Расстояние между центрами вычисли, а потом сравнивай с радиусами.
>>658542 Мне уже знакомый хохол с хабра скинул формулу. Это вообще какая-то вычислительная геометрия, оказывается. Почему такая конъюктура на большинстве форумов? Если кто-то спрашивает, то его сначала хуесосят, пытаются провести анализ, проецируя свои реалии на этого человека (например, тот имбецил, который ляпнул про вуз), а потом дают наставление? Да я ебал, аж бесит.
>>658565 Ты совсем ебнутый? Я специально написал, что я не умею в геометрию и алгебру, чтобы таких имбецилов, как ты, прогнать. Нет же, любой, кто знает (или делает вид, что знает), но не хочет сказать, считает долгом высраться в стиле "а ты сначала подумай, а потом реши". Как по-твоему, если я вообще не умел в геометрию, сейчас приду к выводам о решении формулы? Тебе же на это похуй, ты просто захотел высраться и высрался. Типичный дегенерат с постсовка. На стаке за "а ты подумай", "да это элементарно" банят нахуй и правильно.
>>658584 ты правда даун, лол бля, не знать алгебру - одно дело да и то её можно знать на уровне 3-4 класса максимум 7-9 а вот кукарек насчёт геометрии пиздец какой тупой в каком месте она нужна кроме дрочева задач?
>>658612 >вместо ответа он решил скосить под дурачка неплохо ты под себя подливки ебнул, даун ;) не знать геометрию - пиздец гуманитарем надо быть думать что она пригодится в программировании не относящемся к топологии и архитектуре - нужно быть не просто гуманитарием нужно быть абсолютно отбитым ебанатом, который запизделся по ходу дискуссии ;) ладно там тервер или дискретка, она нужна почти всем, но геометрия кто то запизделся чуточку короче, разбирайтесь, хотя понятно, что тут школьник с пятеркой по геометрией обосрался, защищает марь ивановну, у которой он любимчик
>>658652 обосрался, обтекай, маня я вообще мимокрокодил и геометрию я знаю, как и кучу других мат.дисциплин меня аж перекосоебило от громкого заявления, что без геометрии не получится писать код это несколько несвязанные между собой дисциплины а ты петушок с клювиком :^)
>>658658 Никто не говорит, блядь, что для любого кода требуется знание геометрии. Смысл в том, что с долбоебом, не владеющим школьной программой, никто вменяемый не будет взаимодействовать, а тем более что-то там советовать/помогать. Это блядь базовые навыки, как чистить зубы, и не гадить под себя. И не коси под другого анона.
>>658670 >Никто не говорит, блядь, что для любого кода требуется знание геометрии. >Не можешь в геометрию - не сможешь и код писать. ну такое, обосрался чуток ты а насчет базовых навыков и уж тем более школьной программы - все зависит от области применения, мне в экоме нужен онли матстат, тервер и дискретка, ну иногда диффуры, другое не применяют, это не значит, что в толопогии они пригодятся у тебя фундаментальные заблуждения на уровне дауна т.к. школьная программа опять же может пригодиться в разных областях, я химию не знал вообще и биологию они мне не нравились и я их не учил, а вот матан люблю, ну по крайней мере понимаю >>658676 где ошибка, петушок с клювиком, знаков нет это да я их не ставлю (точнее иногда ставлю), а вот по орфографии - все правильно. тут ты обосрался при всех, лал
>>658683 Пиздец блядь, вот тебе урок орфографии: так пишет говно без мозга: >это несколько несвязанные между собой дисциплины вот так пишет хомо сапиенс: >это нисколько не связанные между собой дисциплины
>>658683 Научись читать, говнюк. Я не пишу, что школьная программа пиздец как нужна полностью и каждый день. Я пишу, что уебыш, не осиливший в 6 классе геометрию, должен быстро уверенно пиздовать в макдак говорить "Свободная касса", или быть переработанным на метан в случае копротивлений. Так понятней, мразота?
>>658696 понятней, но у тебя опять же заблуждения на уровне дауна умение разбираться в школьной программе по тому или иному предмету зависит от области знаний, в которой ты работаешь ты вряд ли сможешь раскидать мне таблицу наследования рецессивных генов, а это проходят классе в 10, но это и не нужно тем кто не связан с медициной так что обтирай трусики от какашек >>658697 >несвязанные >деепричастие бляяяя, давай в пятый класс, там выучишь про наличие полных форм, зависимые слова, возможность замены синонимом и т.д.
>>658698 >умение разбираться в школьной программе Не нужно прямо сейчас уметь разбираться во всей школьной программе. Я, например, хуй сейчас распишу энергетические уровни, хотя в соответствующее время делал это как нехуй.
Проблема осилить уравнение окружности в 5м классе — вполне достаточный признак имбецильности.
>>658712 ну это да %здесь должен быть список из пары тысяч уравнений, понятий, правил, методов, задач и т.д, неосиляторство которых является признаком имбецильности% мы скорее подходим к вопросу о гуманитариях и технарях
>>658724 а подробнее? >нисколько не связанные раздельно, т.к. `нисколько` усиливает отрицание >несколько несвязанные таки не с причастием в общем случае
>>658730 я в общем о том, что ты покакал себе в рот, спизданув про то, что у меня там ошибка но ты молодец, что не стал отрицать, да еще и полез правила поискал, нашел и сам признался, что ошибки не было хотя вопрос непринципиальный
>>658712 Не нужно прямо сейчас уметь разбираться во всей школьной программе. Я, например, хуй сейчас распишу уравнение окружности, хотя в соответствующее время делал это как нехуй.
Проблема осилить энергетические уровни в 10м классе — вполне достаточный признак имбецильности. Ну ты понел. мимо
>>658374 >Можно было обернуть место, где у тебя инициализируется игровой мир, перезапуском и его уже дергать без переинициализации sdl. Я так и делал же. >with-slot'ом лучше не злоупотреблять. Не принципиально. Сделал я себе макрос на with-accessors уровня with-slots, чтобы не писать по 10 раз одно и то же. Суть проблемы в том что я переименовал/выпилил свойство из класса и рефакторинг этого дерьма нихуя не приятен. >>658794 Оформлять надо. Пока лень.
>>658836 Хз, не пробовал. Хочется статическую типизацию, чтобы убрал поле из класса и код не соберется, показывая каждую строчку где оно используется, но тут уж либо-либо.
Раст что-ли пощупать? Там и макросы есть вроде как.
>>658852 Щупал, но мне не понравился. Ебля с этими владениями памяти напрягает похлеще лифтинга монад в хаскеле. Попробуй лучше ocaml. Там тебе и макросы (хотя они отличаются от лисповых и вообще я их не осилил), и ФП, и ООП, и ебли с типизацией и мутабельными данными нет.
>SBCL compiles by default: even functions entered in the read-eval-print loop are com‐ >piled to native code, unless the evaluator has been explicitly turned on. (Even >today, some 30 years after the MacLisp compiler, people will tell you that Lisp is an >interpreted language. Ignore them.
>>659060 Блядь, а вот это проблема: > SBCL, like most (maybe all?) implementations of Common Lisp on stock hardware, has > trouble passing floating point numbers around efficiently, because a floating > point number, plus a few extra bits to identify its type, is larger than a machine > word. (Thus, they get "boxed" in heap-allocated storage, causing GC overhead.) > Within a single compilation unit, or when doing built-in operations like SQRT and > AREF, or some special operations like structure slot accesses, this is avoidable: > see the user manual for some efficiency hints. But for general function calls > across the boundaries of compilation units, passing the result of a floating point > calculation as a function argument (or returning a floating point result as a > function value) is a fundamentally slow operation.
>>659061 Написал текст, подумал, удалил. Окамл довольно хороший язык, но у него нихуя нет. А если ты под виндой, то там у него нихуя нет в квадрате. Зато там есть макросы, которые позволяют перепердолить язык, как тебе хочется (я пока в них не смотрел), и производительность почти как у крестов.
>>659061 Ну, если пересаживаться на окамл после хаскеля, то первым делом в глаза бросается отсутствие тайпклассов, от чего в стандартной библиотеке ты можешь увидеть +. -. /. для флоатов и + - / для интов, что немного напрягает при написании числодробилок, т.е. ad-hoc полиморфизма нет (если не считать ООП, которое в языке стоит немного особняком), только параметрический. Но это отчасти компенсируется системой модулей, функторами (параметризируемыми модулями). Стандартная библиотека - говно. Такое ощущение, что её когда-то примерно на половину не успели доделать, а потом просто забили. Но существуют замены ей: batteries и core от jane street. Сборщик мусора многопоточный они не осилили, unboxed-типов не завезли. Ситуация с библиотеками примерно как у общелиспа. Может чуть хуже. >>659148 >и производительность почти как у крестов. Ну, до крестов ему далековато. Немного быстрее sbcl.
>>659148 >Зато там есть макросы, которые позволяют перепердолить язык Это не совсем макросы в лисперском понимании. Они представляют из себя расширения препроцессора. https://en.wikipedia.org/wiki/Camlp4#Example
>>659341 Ну, звезды - не показатель. Вангую, что больше половины звёзд ставили праздные зеваки, которые прочитали где-то на хакерньюс о новом суперпроекте от лицокниги.
>>660819 >as the CLOS slot types are not available for the type inferencer, nor do CLOS slot types provide any efficiency benefits. Нашел. sbcl их только для проверки типов может использовать, но не для вывода типов.
Господа, делал задачку из сиспа, а она не хочет работать. Концептуально - вроде правильно. Сначала считает длину, потом берет список, найденную длину как n-1 (список же идет с нуля) и рекурсивно считает, по идее должно возвращать последний элемент. Но не работает. В чем трабл, как вы думаете? Текст из сиспа Упражнение 2.17. Определите процедуру last-pair, которая возвращает список, содержащий только последний элемент данного (непустого) списка. (last-pair (list 23 72 149 34)) (34)
>>658852 >Раст что-ли пощупать? Там и макросы есть вроде как. Они там куцые, как дженерики по сравнению с темплейтами. Насколько я понял, даже факториала не посчитать, просто шаблонные подстановки кода. Но там еще плагины для компилятора можно писать, там уже есть тьюринг полнота.
>>665774 Только под винду, потому что под линь лень собирать в кучу .so Если надо, могу собрать под линь, но либы надо будет доставлять через пакетный менеджер или руками. http://tatrix.org/public/games/lispstone.zip
>>672914 А ты бессмертный дохуя? 13 (ТРИНАДЦАТЬ!) лет прошло, всё так же тормозит и не имеет ни вменяемых компиляторов, ни библиотек. ЗАЧЕМ??? Зачем вам это окаменевшее говно? Чтобы показать какой ты ХАКЕР? Чтобы все охуели? Фанаты некроговна похожи на идиота из Goat.se, который умеет из очка делать бездонное дупло. Это невероятно выглядит, этого очень трудно достичь, ЗАЧЕМ это делать со СВОИМ очком?
>>672911 А что такого? На общелиспе писали ещё в те времена, когда твоя мамка была молодой девчушкой. Удивительно, но спустя столько времени он всё ещё остаётся современным, в отличие от твоей мамки.
>>672920 >13 (ТРИНАДЦАТЬ!) лет прошло, всё так же тормозит и не имеет ни вменяемых компиляторов Лолчто? Вменяемыми компиляторы и 13 лет назад, и 15, и даже 20. А библиотек - да, не очень много.
>>672920 Каких именно библиотек тебе не хватило? В чем невменяемость SBCL/Clozure? >Чтобы показать какой ты ХАКЕР? Чтобы все охуели? Это, конечно, хорошо, что у тебя есть хотя бы такая мотивация, но у людей могут быть другие причины, представь себе. Ты бы смог их понять, если бы попытался немного вникнуть в предмет обсуждения, чего ты не сделал, судя по >всё так же тормозит 0/10, try harder m8
Решил пройти SICP, скачал схем отсюда https://www.gnu.org/software/mit-scheme/ . Не могу понять как им пользоваться, слишком олдскульно. Дайте советов, спасибо.
>>673365 Вернулся. Первое задание сицпа, сума квадратов наибольших двух чисел из трех возможных. Ебаные скобочки
(define (square x) (* x x)) (define (sumofsquares x y) (+ (square x) (square y))) (define (largest x y z) (sumofsquares (cond ((and (>= x y) (>= x z)) x) ((and (>= y x) (>= y z)) y) (else z)) (cond ((and (>= x y) (<= x z)) x) ((and (>= y x) (<= y z)) y) (else z))))
>>673533 Реально рабочие проекты есть? Работают? Разрабатываются? Именно проекты, а не полтора прыща на GitHub. Вакансии есть? Востребован? Коммьюнити есть? На любом языке, главное чтобы >1.5 быдлокодера. Вектор развития? Библиотек нет уже 30+ лет - а через 30 уже будут?
>>673551 >Реально рабочие проекты есть? Есть. >>673551 >Работают? Да. >>673551 >Разрабатываются? Да. >>673551 >Именно проекты, а не полтора прыща на GitHub. Да. >>673551 >Вакансии есть? Мало. >>673551 >Востребован? Мало. >>673551 >Коммьюнити есть? Не слишком большое. >>673551 >Библиотек нет уже 30+ лет - а через 30 уже будут? Они и раньше были. И сейчас есть. За это время уже несколько раз успели полностью обновиться (в том смысле, что старые выкинули, написали новые). Алсо, с появлением quicklisp'а ситуация с библиотеками (точнее, с их доступностью) заметно улучшилась.
>>673559 >с появлением quicklisp'а Не Quicklisp, а Quicklisp beta. Beta уже в назвнании - это разве не пиздец? Релизом она станет лет через 20-25, хотя, как упомянул этот >672914 упоротый, по меркам лиспа это все еще будет относительно быстро и свежо.
>>673533 Пиздец, вопросы есть, ответов нет, некрофилы требуют еще вопросов. Ок, задам их еще раз в 6м треде. Может там появится кто-то без мозгоплесени.
>>673582 Можешь ещё проектики всяких CMU поискать. Или лиспворкс в промышленности. Или всякие семантиквебы на аллегро. Да или просто йоба-сайтики. Только зачем тебе это?
>>673631 А, мне показалось, что у тебя условия одинаковые. Можно было и проще, кстати. [code lang=scheme] (define (largest x y z) (cond ((> x y z) (+ (square x) (square y))) ((> z y) (largest x z y)) ((> y x) (largest y x z)))) [/code]
>>673529 >>другие причины >5й тред спрашиваю, хуею с заплесневелых мозгов некрофилов. Скорость разработки. Выразительность. Любая фича любого другого языка реализуется в CL за полчаса под пивас (ок, почти любая, call/cc не завезли, увы). Производительность, при грамотном использовании макросов и деклараций типов, отсасывающая, разве что, C/C++. Интерактивная разработка, загрузка и компиляция нового кода без остановки программы, встроенные средства для дебаггинга и интроспекции. Максимально гибкая объектная система, породившая такие языки как Python или Ruby (являющиеся, по сути, недолиспами с инфиксным синтаксисом). "Некрофил с заплесневелыми мозгами" -- тот, кто использует один из вариантов высокоуровневого ассемблера, вместо языка, опередившего свое время и повлиявшего на дизайн практически всех мейнстримных ЯП.
>>674091 > языка, опередившего свое время и повлиявшего на дизайн практически всех мейнстримных ЯП Ну збс, опередил свое время 50 лет назад, повлиял на всех, зачем его сейчас-то использовать? Серьезно, последний стандарт общелишпа вышел 22 года назад (и уже тогда был устаревшим мессом, собранным из 10 разных версий прямиком из 70х), даже няшная за это время успела два новых выкатить. Если уж браться за лиспы сейчас, то за схему/ракет/кложуру, CL стоит оставить легасикрестьянам.
>>674113 Представь, что это setjmp/longjmp, сохраняющий состояние стека. Или "first-class goto". >>674177 А что именно тебя в стандарте не устраивает кроме отсутствия call/cc, TCO и того, что это lisp-2? Все, что должно, по идее, быть в стандарте (сокеты, многопоточность, MOP), есть во всех живых имплементациях, врапперы для их портабельного использования тоже есть. Такой-то CFFI есть. Хуле еще надо? >Если уж браться за лиспы сейчас, то за схему Схема -- не лисп. Схемка, конечно, няшка и май вайфу, но тут люди про серьезные проекты™ говорят, а как их писать, когда есть стандарт, в котором почти нихуя и зоопарк несовместимых между собой реализаций -- хуй знает. >кложуру Тогда уж браться за обычную жабу и не страдать хуйней.
>>674224 > Хуле еще надо? Надо выкинуть все старье (типа динамических переменных и car/cdr) и дублирующий функционал, привести все к одному виду (типа -p суффиксов у предикатов), OOP должен быть интегрирован с остальным языком, а не быть левой приблудой, добавленной в последний момент, юникод должен быть в стандарте, макросы должны быть гигиеничными, стандартная библиотека должна быть больше. >сокеты, многопоточность, MOP есть во всех живых имплементациях В каждой со своими тараканами и через свои костыли. > 2016 > CL > серьезные проекты Лiл.
>>674236 >старье >типа динамических переменных Схемер что ли? С чего ты взял, что это старье? Одна из самых удобных фишек лиспа. >OOP должен быть интегрирован с остальным языком Оно и так интегрировано. Другое дело, что в стандартной библиотеке практически не используется. >юникод должен быть в стандарте Хотел было возразить, но оказалось, что его и правда нет в стандарте. Тем не менее, во всех живых реализациях заподдержку завезли с два десятка лет назад. >макросы должны быть гигиеничными А, и точно схемер. Покажи, как анафорические макросы с гигиеной реализуются. >стандартная библиотека должна быть больше Ещё больше? >В каждой со своими тараканами и через свои костыли. И много ты их разглядел через closer-mop или usocket, которые де-факто стандарт?
>>674236 https://github.com/cl21/cl21 А вообще, пилится замена стандартной библиотеке с MOP, gray-steams, alexandia и т.д. Но, как у них сказано >CLOS-based functions and MOP -- write fast, tune later оно пока что только write fast.
>>674417 > Схемер что ли? С чего ты взял, что это старье? Одна из самых удобных фишек лиспа. Их оставили для совместимости со старым кодом, со времен, когда lexical scoping еще не утвердился, они не нужны и регулярно приводят к багам. Посмотри как elisp-ры с ними страдают. > Другое дело, что в стандартной библиотеке практически не используется. Вот-вот. > Покажи, как анафорические макросы с гигиеной реализуются. Анафорические макросы нахуй не нужны в реальной жизни, зато отсутствие гигиены приводит к куче проблем. Максросистема общелиспа это еще один кусок говна прямиком из 60х, оставшийся для совместимости, хотя уже в 80х все понимали, что надо делать как в схеме. > Ещё больше? Меньше в плане ненужной/повторяющейся/устаревшей хуиты и больше в плане функционала и интегрированности, типа современной STL или даже BCL. > которые де-факто стандарт И вот так 20 разных либ, разбросанных по интеренетам, и каждая - де-факто стандарт для отдельной кучки лишпохачкеров. >>674444 Он ожил штоле? Он же года два как мертвым лежал. Но если ожил то збс, но это надо было делать 15 лет назад и комитетом, не столько добавляя сколько выкидывая, переписывать учебники, все дела. Я чую это благое начинание так и останется поделкой для полутора хачкеров.
>>673585 >>673627 Этот текст один сплошной ЛОЛ. Ты хоть сам читал его? На полторы простыни автор высказывает следующие тезисы: 1. На Лиспе не хватает функционала 2. На Лиспе нет того что нам нужно 3. Мы все это дописали сами, изобрели костыли с колесом 4. Держим хуеву тучу лисперов, чтобы это все работало 5. ЛИСП ОХУЕНЕНН!!!1111
Автор - невероятный идиот, блядь как я смеялся. Ты хоть сам читал по ссылке? Это ты привел пример реально рабочих проектов? Ты упорот?
>>674463 >они не нужны Мне нужны. Без них многие вещи писать сложнее. >регулярно приводят к багам Одна область видимости для функций и переменных тоже к багам приводит. Да и про динамическую типизацию тоже такое нередко слышишь. Но ничего, люди же справляются. >Посмотри как elisp-ры с ними страдают. Елиспы страдают не с динамическими, а без лексических переменных. Не путай. >Анафорические макросы нахуй не нужны в реальной жизни Я тебя не спрашивал: нужны они или нет. В этом вопросе твое мнение меня не интересует. Я просил показать реализацию. >зато отсутствие гигиены приводит к куче проблем Странно, что в реальной жизни они не попадаются. >И вот так 20 разных либ, разбросанных по интеренетам Обновляй методичку. Уже давно методом естественного отбора поотсеивались всякие uffi, metabang и т.д. >каждая - де-факто стандарт для отдельной кучки лишпохачкеров. Это ты про dwim.hu что ли? Эти странные уже прекратили свою деятельность.
>>674501 Насколько я помню, автор описывал проблемы, с которыми им приходилось сталкиваться. >Это ты привел пример реально рабочих проектов? А он не реально рабочий или что? Думаешь, эти хитрецы наняли ораву индусов и посадили обрабатывать запросы, а сами сказали, что всё написано на лиспе?
>>674504 > В лиспе уже 60 лет можно сделать Х, а в других языках - нельзя. > Но ведь Х не нужен, усложняет использование языка и приводит к плохо отлаживаемым проблемам. Развитие PLT с 70х по настоящее время показало полную несостоятельность такого подхода и подложило множество гораздо более продуманных, удобных и безопасных альтернатив. Остальные языки давно уже отказались от Х как от устаревшей технологии и вовсю пользуются этими альтернативами. > Я тебя не спрашивал: нужны они или нет. Мне нужны. В реальной жизни эти проблемы не попадаются. Ничего, люди же справляются. В этом вопросе твое мнение меня не интересует. Я просил показать реализацию X в других языках. Каждый раз.
>>674509 >наняли ораву индусов и посадили обрабатывать запрос Они пишут, что наняли ораву бородатых прыщеслизней и посадили изобретать костыли и колеса. Это гораздо элитней, да.
>>673585 Автор с гордостью декларирует, как они любят подбирать язык под задачу. А потом описывает трудности, решение которым - Python. Но они используют Лисп. Дебилы блядь.
>>674236 >выкинуть все старье (типа динамических переменных и car/cdr) Не используй. >привести все к одному виду (типа -p суффиксов у предикатов) Приведи. >OOP должен быть интегрирован с остальным языком, а не быть левой приблудой лiлшто >макросы должны быть гигиеничными Не используй негигиеничные. Или руки чешутся, боишься сорваться ненароком? >юникод должен быть в стандарте >стандартная библиотека должна быть больше Ну какой же это схемер -- обычный гвидосектант. >>674327 Костыль на макросах, раскрывающийся в абсолютно не пригодную к отладке лапшу. >>674505 Всякие прикольные штуки, на схеме написанные и все такое. Чтоб было, а хуле нет?
>>674695 >Костыль на макросах, раскрывающийся в абсолютно не пригодную к отладке лапшу. Да, есть такое. Но для применения вполне пригодна. Алсо, разве встроенный call/cc легче поддается отладке?
>>677885 Кстати, жтот же товарищ замутил cl-collider, клиент для SupperCollider: http://www.youtube.com/watch?v=xzTH_ZqaFKI Пытался заставить его работать, но, увы, безрезультатно. Хотя scide работает и пищит.
Эх, все таки большое сообщество кложуры и куча готового дерьма под неё подкупают. Перебороть что-ли отвращение к джаве? Отговори, меня, анончик, скажи мне что общелисп пизже.
>>678655 $ time lein help Leiningen is a tool for working with Clojure projects.
Several tasks are available: change Rewrite project.clj by applying a function. check Check syntax and warn on reflection. classpath Print the classpath of the current project. clean Remove all files from project's target-path. compile Compile Clojure source into .class files. deploy Build and deploy jar to remote repository. deps Download all dependencies. do Higher-order task to perform other tasks in succession. help Display a list of tasks or help for a given task. install Install the current project to the local repository. jar Package up all the project's files into a jar file. javac Compile Java source files. new Generate project scaffolding based on a template. plugin DEPRECATED. Please use the :user profile instead. pom Write a pom.xml file to disk for Maven interoperability. release Perform :release-tasks. repl Start a repl session either with the current project or standalone. retest Run only the test namespaces which failed last time around. run Run a -main function with optional command-line arguments. search Search remote maven repositories for matching jars. show-profiles List all available profiles or display one if given an argument. test Run the project's tests. trampoline Run a task without nesting the project's JVM inside Leiningen's. uberjar Package up the project files and dependencies into a jar file. update-in Perform arbitrary transformations on your project map. upgrade Upgrade Leiningen to specified version or latest stable. vcs Interact with the version control system. version Print version for Leiningen and the current JVM. with-profile Apply the given task with the profile(s) specified.
Run `lein help $TASK` for details.
Global Options: -o Run a task offline. -U Run a task after forcing update of snapshots. -h, --help Print this help or help for a specific task. -v, --version Print Leiningen's version.
These aliases are available: downgrade, expands to upgrade
See also: readme, faq, tutorial, news, sample, profiles, deploying, gpg, mixed-source, templates, and copying.
>>678655 >Перебороть что-ли отвращение к джаве? А стоит ли оно того? А ведь она там всюду. [code lang=clojure] (def IPaddress "10.71.18.81") (def port 1500)
(def socket (Socket. IPaddress port)) (println "Connected:" (.isConnected socket)) (def in (DataInputStream. (BufferedInputStream. (.getInputStream socket)))) (def out (DataOutputStream. (BufferedOutputStream. (.getOutputStream socket)))) (def command "Some string") (println "Input:" command) (.writeUTF out command) (.flush out) (def response (.readUTF in)) (println "Output: " response) [/code] >скажи мне что общелисп пизже. Общелисп пизже.
Решил таки пощупать палочкой кложуру. В оп-посте рекомендуют The Joy of Clojure, а автор emacsrocs и parens of the dead предлагает http://www.braveclojure.com/ Что скажете, с чего лучше начать?
>>679958 Обычный апарат: Intel(R) Core(TM) i5-4590 CPU @ 3.30GHz Но, ебаный по голове, секунду с хером только для того, чтобы выдать хэлп, это какой-то нездоровый пиздец.
>>679923 Чуть-чуть почитал breaveclojure. Неплохо расписали как настроить окружение и про емакс. Дальше забил хуй, переключился на joy of closure. Прочитал первые две главы — через каждое слово java, java, java, java.
Бектрей сидора-пидора выглядит модно-мололежно, но по информативности, как про мне еще хуже слайма.
>>680510 Вот что меня раздражает в экосистеме общелиспа, так это то, что есть миллиард заброшенных проектов. Из-за этого приходится руками перебирать кучу дерьма, в поисках того, что хоть как-то поддерживается. Может я просто не знаю где искать либы?
Анон, не разберусь с деревьями из SISP'а, если не трудно - помоги. Решение задачки я просто нагуглил, вот оно:
Процедура fringe будет производить обход дерева в глубину слева направо и собирать узлы в порядке обхода в один список. Ее структура очень похожа на структуру count-leaves. При рассмотрении каждого узла также рассматриваются три случая: пустое дерево, листовой элемент и нелистовой элемент (поддерево).
-Для пустого дерева на входе мы генерируем пустой список на выходе. -Для листового элемента на входе генерируем список из этого одного элемента. -Для нелистового элемента возвращаем список, составленный из списка для его первого поддерева, к которому добавлен с помощью append результат для этого же элемента без первого поддерева. (Что это значит?)
Что происходит, когда задача "доходит" до момента с (list 2(list 3 4). По идее (list 2(list 3 4) и 5 - не являются парой, и что происходит? Я просто уже часов пять лбом бьюсь и не могу понять, помоги пожалуйста!
>>680713 Так, я тут проверил, (list 2(list 3 4)) и 5 являются парой. Но все равно не могу взять в ум, как так получается, что выводится в результате (1 2 3 4 5).
По идее, я так думал, должно вывести (1 (2 (3 4)) 5). Потому что, на первом проходе car = 1, на втором проходе car = (2 (3 4)), на третьем проходе car = 5. Куда подевались скобочки на втором проходе? Я правда нихуя не пойму.
>>680759 Ебаааать, брат, много красивых женщин тебе и баранов толстых. Оказалось, что логика schem'ы работает не так, как я себе ее представлял. Хотя несколько уебищно и не по сиспу, там такое ну точно не разбирали.
>>680769 >там такое ну точно не разбирали. Рекурсию там в самом начале разбирают же. Ну и где-то перед обходом дерева должен был рассматриваться обход списка.
>>680777 И рекурсию и обход списка разбирали. Прикол в том, что отладчик не проходит третью строчку до конца, а начинает брать значение car'а и проходится с ним от начала до конца, потом добавляет его в (list tree), потом берет cdr, но от изначального значения и считает его. Это что-то вообще пиздец.
>>680784 Короче, в сиспе деревья очень плохо разобраны, как мне показалось. Просто дан пример подсчета количества его листов, а дальше - разбирайся сам, еще и в очень странных приемах, просто ебанись каких странных.
>>680784 Попробовал прогнать в отладчике. Да, правда. Рэкет неправильно визуализирует ветку else в cond. Замени там else на (number? tree), тогда визуализироваться будет правильно, хоть и код сломается для нечисловых деревьев.
>>680880 О чем и речь. Хуево с маленьким сообществом. CL21 джва года никто не трогал. Бида. Да и даже если его будут пинать, то у нас тут такая куча легаси, что его адаптация выглядит очень спорно.
>>681085 >чтобы без отдельного пространства имен для функций >и call/cc чтобы был Фу, схемер чтоль? У нас здесь такие не в почете. >и call/cc чтобы был Но тогда не будет сигнального протокола с перезапусками и unwind-protect'а. Нахуй так жить?
>>681120 >Но тогда не будет сигнального протокола с перезапусками Почему? В чем противоречие, если рестарты можно реализовать с помощью call/cc? Или, если нельзя, объясни, пожалуйста, почему. >unwind-protect Ну будет он называться dynamic-wind, какая разница, в самом деле.
>>682012 Более нечитабельным, чем на кложуре, вряд ли получится сделать. Разве что если напрямую сишку пердолить через низкоуровневый ffi. Но в здравом уме так никто делать не будет
>>682077 Ты про это что ли? >Give concise mathematical definitions for the functions computed by the procedures f, g, and h for positive integer values of n. For example, (k n) computes 5n2. Имеется в виду вручную, а не программно
>>682244 вся вонь итч против кложуры ток в том что она ТАРМОЗИТ и что ЖАВА. Даже принимая во внимание столь скептические взгляды, это не препятствие чтобы ее использовать. Особенно если ты жава нейтив.
>>682290 Ты считаешь что в 21 веке позволительно ТАК тормозить на элементарных вещах? А жава это полный пиздец,. А раз кложура хостед, значит и кложура полный пиздец.
>>682666 clojure транслируется в жаву? можешь дать выхлоп? нет, не можешь потому что кложура транслируется в байткод Вот кложурскрипт транслируется в жс, а не в байткод.
ввожу на sheme https://repl.it/BuuC (define (gsd a b) (if (= b 0) a (gcd b (remainder a b)))) а он выдает что процедура remainder не определена, а в SICP написано что эта элементарная процедура присутствует в sheme, что делать?
>>683332 >(quote (quote 2)) -> ''2 Видимо, ты сломал свой рэкет и он больше ничего не интерпретирует, а просто выдает то, что ты ввел. (quote x) вычисляется в x, так что (quote (quote 2)) -> '2 >>683197 Это же мемчик, чтобы ньюфагов траллить, хуле ты. На самом деле, да, полезна, если это первый опыт, связанный с программированием, ну и для расширения сознания, если на схеме/ML/чем-то подобном не писал. Как вводная в разработку компиляторов/интерпретаторов еще может быть. Навыки, улучшающие конкурентоспособность на рынке труда, скорее всего, эта книга не даст, так что можешь не превозмогать, хотя главы с третьей поинтересней будет. >>681166 Бамп вопросу! Поясните, кто-нибудь, в чем несовместимость call/cc и рестартов (кроме религиозной)? В GNU/MIT Scheme же завезли и то и то.
>>682828 >Написать свою реализацию. в голову пришло только (define (>= x y) (or (> x y) (= x y))) (define (remainder a b) (if (>= (- a ( b a)) 0) (- a ( b a)) (remainder (- a 1) b)))
все время выдает нули, задумка такая умножая "a" "b" и каждый раз снижая (-a 1) мы получим положительное число которое будет равно остатку или нуль если делиться без остатка, но вышла хуета
Ананасы, объясните мне одну вещи. Изучаю понемногу ракет и решил запилить что-нибудь простое на sdl. Так вот столкнулся с проблемой. Я совершенно не понимаю как создать указатель, а затем передать его в функцию.
>>683973 >sdl_event не структура. И точно, не доглядел. Пока не вижу в документации, как с объединениями обращаться. >А как, например, с передачей обычных переменных? А вот не знаю. Попробуй из репла подергать. Думаю, ffi об этом должен позаботиться.
>>683995 создатели кложуры посчитали что tco в jvm это как шредингера, поэтому лучше добавить явный рекур, чем обманывать надежды разработчиков на то, что tco оптимизирует их рекурсию. Работает как рекурсия, но не выдает stack overflow.
>>684003 В скале вроде компилятор умеет в TCO. >>684016 >1. не всегда Т.е. они просто не осилили и забили? Типа ебитесь сами с хвостовыми вызовами. >2. а если тебе нужна именно хвостовая рекурсия? Ну и напишешь хвостовую, а компилятор пусть оптимизирует. Зачем лишние сущности-то в языке плодить?
>>684050 Если у языка (ВЫСОКОУРОВНЕВОГО ЯЗЫКА!) такой сырой компилятор, что программист должен беспокоиться: "а смог ли он заоптимизировать", то нахуй такой вообще использовать? Да и вообще, это какая-то исключительная ситуация, баг. Наткнулся - ну сообщи разработчикам, пусть исправляют. А вот выпячивать средства оптимизации в язык - не дело. >>684059 http://anadea.info/ru/blog/scala-tailrec-optimization Первая ссылка в гуголе. У него без аннотаций компилятор догадался.
>>684071 >>684059 >>684050 >>684030 >>684016 >>684005 >>684003 >>684000 >>683995 recur - это когда ты хочешь чтобы компилятор кложуры оптимизировал хвостовой вызов, не-recur - это когда ты не хочешь чтобы компилятор кложуры оптимизировал вызовы. При этом их может отпимизировать jvm, но тут никто никакой гарантии не дает, так как жвмов более 9000, и естессно лучше полагаться на recur
ПРОСТИТЕ МНЕ ГОСПОДА КОМПЬЮТЕРНЫЕ УЧЕНЫЕ И МАТЕМАТИКИ МОЮ БЕЗГРАМОТНОСТЬ
>>684079 >не-recur - это когда ты не хочешь чтобы компилятор кложуры оптимизировал вызовы Как можно не хотеть оптимизации? >При этом их может отпимизировать jvm Среди jvm-языков не принято заниматься оптимизациями байт-кода, и они полностью полагаются на jit jvm'а?
>>684106 > Как можно не хотеть оптимизации? если бы оптимизация была неявной, такие же воображули как ты возмущались бы "как можно было лишить меня выбора?". Дальнейшую дискуссию на эту тему считаю бессмысленной. > Среди jvm-языков не принято заниматься оптимизациями байт-кода, и они полностью полагаются на jit jvm'а? JVM ориентируется на джаву а не на jvm-языки. В jave нет TCO на уровне компиляции.
>>684172 >если бы оптимизация была неявной, такие же воображули как ты возмущались бы "как можно было лишить меня выбора?" Хуйни-то не неси. >JVM ориентируется на джаву а не на jvm-языки. В jvm есть инструкции, позволяющие сделать хвостовой вызов? Судя по существованию recur, они есть. Какие тогда могут быть претензии к jvm?
>если бы оптимизация была неявной, такие же воображули как ты возмущались бы "как можно было лишить меня выбора?". Вот много ли недовольных от обязательной TCO в схеме, интересно было бы узнать.
>>684933 Вот анон вчера спрашивал про ffi рэкета. Поясни, соглашение об именовании продиктовано лисп1-проблемами или есть иные причины? Я про _union, _SDL_Event и прочие.
>>685016 >В пакете cl уже есть макрос с именем step У меня оно говорит, что переопределило его. Ну ок, переименую. >А не охуеет ли оно у тебя без мемоизации? Странно. А вики сказала, что в лишпе мемоизация по дефолту есть, собсно почему я к нему и обратился. Ололо, пиздит?
>>685992 Я понимаю, что ты особенный, и считаешь что все разговаривают и думают так же как и ты, но будь добр, сделай исключение для нас, смердов, расскажи как конкретно ты, повелитель вселенной, пишешь код "наживую".
>>686004 Ну да, SuperCollider именно для такого и предназначен. Все эти волшебные видео с обновлением канваса на лету (js + skewer/swank-js = то же самое). Не надо мне рассказывать про постановочные видео, расскажите мне про ваш реальный воркфлоу.
>>686019 Если код содержит основной цикл (отрисовка, обработка запросов, событий и т.п.), то разработка выглядит точно так же, как на "постановочных" видео: написал каркас, запустил и начинаешь постепенно реализовывать, наблюдая за результатом. А в случае ошибки исправляешь её, дергаешь один из доступных перезапусков и продолжаешь дальше. В остальных случаях процесс отличается тем, что о сохранении промежуточного состояния приходится заботиться самому, и тем, что код сначала пишется выражениями, а затем реструктурируется в функции/методы. Может, немного сумбурно описал, но, думаю, суть понятна.
>>686975 Ты сам то пробовал? Пока я пилил игрушку на конкурс мне пришлось перезапустить sbcl чуть более 9000 раз, потому что сишные либы, на которых все держится не очень то под это приспособлены.
Хотя если взять тот-же clack, то вполне можно эвалить обработчики на лету, да. Но чем это отличается от любой скриптопараши, ведь там то же самое: файл сохранил, страничку в браузере обновил, вуаля.
>>687272 >Ты сам то пробовал? Конечно. Именно так и делал, когда писал на сдл с опенгл. >Пока я пилил игрушку на конкурс мне пришлось перезапустить sbcl чуть более 9000 раз, потому что сишные либы, на которых все держится не очень то под это приспособлены. На сдл2? Там, скорее всего, не сишные библиотеки виноваты, а сырая лисповая обертка. >Но чем это отличается от любой скриптопараши, ведь там то же самое: файл сохранил, страничку в браузере обновил, вуаля. Сохранением состояния, например. И запрос из-за ошибки в обработчике зачастую можно не повторять, достаточно вызвать перезапуск.
Wiki предлагает мне нестандартный (declare ...): http://wiki.call-cc.org/man/4/Using%20the%20compiler#an-example-with-multiple-files Это работает, но нестандартно и экспортируется вообще все, а хочется именно модули. Насколько я понял, это просто использование тулчейна няшки для линковки бинарей. Все прелести сишки присутствуют, вплоть до невозможности экспорта макросов.
>>694130 Раз уж речь про Guile, есть тут аноны, прогающие под него? Покажите пример workflow. Как настраиваете load path? Добавить в него "." из .guile или завести себе директорию с модулями, куда складывать весь более-менее реюзаемый код?
>>699779 При старте она не просто тормозит, а делает как твикс "И пусть весь мир подождет". А в остальное время она рандомно подвисает мерзенько при выполнении команд из репла.
>>702913 purescript вроды бы довольно маргинальная штука. Обычно Elm c ClojureScript сравнивают. Мой выбор - ебал в рот статическую типизацию, поэтому ClojureScript офк
>>703452 Статическая типизация это будущее же. Из статической типизации можно сделать динамическую, завернув все в box-ы, а из динамической статическую уже хуй сделаешь.
>>703452 И создаёт другую кучу проблем. Плюс на статически типизированном языке быстро не поразрабатываешь. Нахуй надо. Минимализм, простота, гибкость, скорость разработки - вот что нужно, а не ёбаная тайп сейфити для аутистов, во всяком случае в вебе.
>>703755 Ой вот не надо. В любом случае ты подразумеваешь что твой код использует определенные типы данных. И если пишешь ты не на крестах, а на каком-нибудь go, код пишется вполне себе быстро.
Да, прототип наклепать на коленке, гораздо удобнее на динамической параше. Но если у тебя большой проект который надо поддерживать, то статическая типизация спасет от кучи проблем при развитии кодовой базы.
>>704043 Нет, и вряд ли научится. Его ценность в другом. >>704072 Вот кстати чем меня бесят тесты, так это тем что ты тупо удваиваешь количество кода, в котором ты можешь налажать. Хорошо работают только тесты уровня КО: а давайте сложим два и два, и проверим что на выходе должно быть четыре.
>>704087 > Вот кстати чем меня бесят тесты, так это тем что ты тупо удваиваешь количество кода, в котором ты можешь налажать.
Тебе надо при этом одинаково налажать. Тесты для сложных алгоритмов работают очень хорошо. Сначала кодишь брутфорс, потом тесты, а потом оптимизируешь реализацию.
>>703755 > И создаёт другую кучу проблем. Назови несколько.
> Плюс на статически типизированном языке быстро не поразрабатываешь.
С выводом типов поразрабатываешь как нехуй делать. Посмотри на тот же Haskell, типы явно определять практически не нужно. Неявное приведение типов может и помогает, но динамическая система типов нахуй не нужна. Динамическая система типов это тип Box A, где вместо A любая хуйня вроде Integer, [Char] и т.д. Нахуя в рантайме проверять тип A, когда можно всегда накомпилить для нового типа код без проверок внутри него?
>>704482 >Посмотри на тот же Haskell, типы явно определять практически не нужно. Ну это ты лукавишь. Может, в каком-нибудь окамле и не принято указывать сигнатуры, но уж точно не в хаскеле. >Нахуя в рантайме проверять тип A, когда можно всегда накомпилить для нового типа код без проверок внутри него? При safety=0 sbcl так и делает. А вообще, в рантайме много чего делать не следовало бы, но, увы, абстракций с нулевой стоимостью пока завести никуда не смогли.
>>703755 >на статически типизированном языке быстро не поразрабатываешь Как будто ты на динамическом быстро поразрабатываешь. Написал -> ой, не работает -> исправил -> ой, опечатка -> исправил -> ой, что-то не сходится -> через четыре часа отладки нашёл, что где-то в ебенях сложил апельсины с километрами.
>>704714 То, что ты описал, обычно встречается в языках со слабой типизацией. И необязательно с динамической: в той же сишке, например, сложение апельсинов с километрами приведёт к трудноуловимой ошибке.
>>704867 Ты мне вот что расскажи. Как рефакторить код без типизации? В статической ты просто, например удаляешь функции/поле в структуре и все, компилятор тебе сам скажет где что надо поправить. И поэтому элементарно делаются инструменты, которые делают подобные изменения автоматически.
>>704926 Редактор проверяет только простейшие вещи, и то частенько на них обсираясь. >>704933 Ты проецируешь свой неудачный опыт общения с какой-нибудь жавой на весь статически типизированный мир.
>>704939 увы, но тот же Haskell - язык для медленного вдумчивого top-down проектирования и по другому на нём нельзя
да, по сравнению с жабой у него куда более развитая система типов, но тем не менее они в одной категории медленной тырпрайз разработки (хаскеля там нет, но он отлично зашел бы), а реальный мир, тем более в вебе, часто требует именно хуяк-хуяк-впродакшен языков, а на статике так не получится
>>704919 Рефакторинг, если ты не помнишь, миру подарил динамически типизированный смолтолк. И зародилась эта техника там в основном благодаря легкости (в сравнении со статически типизированными) внесения изменений.
>>704919 Ну и покажи мне хоть один инструмент для автоматического рефакторинга хаскеля, который делается элементарно. И почему ты думаешь, что создание анализатора для языка проще опроса рантайма?
>>704973 Какой-то этот го слишком хуяк-хуяк. Почему флаги getopt находятся в gorename, а usage-строка в модуле rename? Ну и код нечитабельный пиздец. Слишком уж он многословный.
Основные диалекты
— Common Lisp - разрабатывался как промышленный язык, пригодный для широкого спектра применения, из-за чего имеет достаточно объемную спецификацию. Является мультипарадигменным (процедурщина, функциональщина, ооп (CLOS)), с сильной, динамической типизацией. Есть опциональная декларация типов и, в некоторых реализациях (sbcl, например), частичный их вывод.
Описание особенностей: http://habrahabr.ru/post/143490
Основные реализации:
+ свободные: SBCL (нативный код), Clozure CL (нативный код), ECL (через сишку), Clisp (байт-код; небольшой размер образа; похоже, заброшен), Clasp (llvm; ориентирован на интероп с c++), ABCL (байт-код JVM), gcl, cmucl
+ коммерческие: LispWorks, Allegro CL, Scieneer CL, mocl (для программирования под ведро и ios)
— Scheme - это минималистичный лисп, пригодный в основном для обучения, исследований. Тем не менее, Racket вполне практичен. Racket включает в себя много подъязыков (typed racket, lazy racket, frtime racket), включая схему стандартов r5rs и r6rs.
— Clojure - Стильный, модный, молодежный лисп с бóльшим уклоном в функциональщину, иммутабельными структурами данных, поддержкой параллельщины с транзакционной памятью, агентами. Ориентированность на JVM сильно отразилась на дизайне языка, что многим не нравится.
— Emacs Lisp - его область применения ограничивается емаксом. Является наследником ТОГО САМОГО MacLisp'а.
— Tcl - скриптовый язык с немного наркоманскимстранным синтаксисом. Из коробки множество батареек на любой случай жизни, среди которых неповторимый Tk. Язык очень удобен для написания скриптиков, особенно когда к ним требуется приделать графический интерфейс.
— Rebol
— PicoLisp - Наркоманская хуита
— newLISP - Скриптовый лисп с компактным и быстрым интерпретатором и батарейками на любой случай жизни. В первую очередь предназначен для скриптоты, которую обычно пишут на perl, python, tcl, sh: обработка текстов, работа с сетью, базами данных, взаимодействие с ОС, построение графиков и т.п.
Список возможностей: http://www.newlisp.org/index.cgi?Features
Отличия от других диалектов: http://www.newlisp.org/index.cgi?page=Differences_to_Other_LISPs
Как изучить?
— Common Lisp
+ Practical Common Lisp http://www.gigamonkeys.com/book/ или русский перевод — http://lisper.ru/pcl/
+ On Lisp http://www.paulgraham.com/onlisp.html
+ Common Lisp HyperSpec http://www.lispworks.com/documentation/HyperSpec/Front/ — стандарт языка
+ Art of Metaobject Protocol — подробное описание MOP и CLOS
+ Попрактиковаться можно на Exercism'е http://exercism.io/languages/lisp
Алсо, годная статья про проектирование eDSL'ей на CL http://swizard.info/articles/solitaire/article.html
— Scheme
+ http://www.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme.html
+ Racket Guide
+ SICP (это скорее вводные лекции по программированию, а не учебник по схеме, но тоже пойдет)
+ Попрактиковаться можно на Exercism'е http://exercism.io/languages/scheme
— Clojure
+ Programming Clojure, 2nd edition (для новичков)
+ The Joy Of Clojure, 2nd edition (есть есть бэкграунд в Лиспе или ФП)
+ Попрактиковаться можно на Exercism'е http://exercism.io/languages/clojure
— Tcl/Tk
+ Официальный учебник http://www.tcl.tk/man/tcl8.5/tutorial/tcltutorial.html
+ Документация по tcl http://www.tcl.tk/man/tcl8.6/TclCmd/contents.htm и tk http://www.tcl.tk/man/tcl8.6/TkCmd/contents.htm
+ Статьи про Tcl и Tk на wikibooks с примерчиками https://en.wikibooks.org/wiki/Category:Tcl_Programming
+ TkDocs с примерами на tcl, perl, ruby http://www.tkdocs.com/tutorial/index.html
Среды разработки
Одно из основных преимуществ лиспа в сравнении с языками с циклом разработки "написал → перекомпилировал → запустил в отладчике" - поддержка интерактивно-итеративного метода разработки. Но без инструментария, обеспечивающего полноценное взаимодействие с реплом, оно сводится на нет. Поэтому писать без использования нормальной среды - значит упустить важную особенность языка.
!!Чтобы не пердолиться с емаксом, лучше можно взять уже преднастроенный spacemacs ( https://github.com/syl20bnr/spacemacs ).
— Common Lisp
+ Emacs + SLIME - самый лучший вариант.
+ vim + SLIMV
+ LispWorks
+ AllegroCL IDE упаси боже
+ Eclipse + cusp
+ <Что-нибудь для сублайма/атома уже запилили, наверное?>
— Scheme
+ Emacs + geiser
+ drRacket
— Clojure
+ Emacs + CIDER
+ LightTable
+ Vim-fireplace
+ Cursive Clojure (IntelliJ plugin)
+ Counterclockwise (Eclipse plugin)
— Tcl
+ Emacs + tcl-mode (только подсветка синтаксиса и простенькое взаимодействие с реплом, но жить можно)
Библиотеки
— Common Lisp
+ Quicklisp ( https://www.quicklisp.org/beta/ ) - CPAN из мира CL
+ Quickdocs ( http://quickdocs.org/ ) - документация по всем пакетам из quicklisp
+ Cliki ( http://cliki.net/ )
+ Обзор экосистемы общелиспа на швабре ( http://habrahabr.ru/post/265589/ )
— Scheme
+ Racket: http://pkgs.racket-lang.org/ и http://planet.racket-lang.org/
+ Chicken: http://wiki.call-cc.org/chicken-projects/egg-index-4.html
+ http://snow.iro.umontreal.ca/?tab=Packages
+ http://www.schemespheres.org/spheres
Предыдущие треды: http://arhivach.org/?tags=3055,113
Текущая версия шапки: http://pastebin.com/NQcjG6Kp