Молодцы, конечно, всего за неделю такое анонсировать. Записи докладов хоть планируются?

сообщество RuHaskell и «Лаборатория Касперского» вновь приглашают всех заинтересованных на встречу

всех троих?

Дмитрий Зуйков в докладе «Haskell вместо СУБД» поделится опытом отказа от реляционной СУБД в веб-проекте в пользу in-memory структуры данных и CAS (Content-addressable storage).

ЧЕГО?! Именно реляционной?! Вот это с удовольствием послушал бы, только жаль, приехать не получится - виза, работа, все дела.

поделится опытом отказа от реляционной СУБД в веб-проекте в пользу in-memory структуры данных и CAS

ЧЕГО?! Именно реляционной?! Вот это с удовольствием послушал бы

Откуда такая радость? Ожидаешь повышения быстродействия или надеешься сэкономить на этапе проектирования структуры данных? Первое - согласен, может быть весомым аргументом. Если второе, то я бы так сильно не радовался.

Откуда такая радость?

Я не радуюсь, мне просто интересно - как?! :) Как я это представляю, очень сложная задача.

А, ну да, технически это любопытно.

Как и в прошлый раз будет базар примерно ни о чем, а потом выйдут студенты из зала и пойдут в сторону метро обсуждая между собой хаскель так, как будто они его учат в вузе или даже просто любят. Не пойду я туда короче.

хотелось бы текстов/слайдов/записей докладов для страждущих. темы интересные.

имеется ввиду наверное что то вроде acid-state

https://ocharles.org.uk/blog/posts/2013-12-14-24-days-of-hackage-acid-state.html

Видеозапись должна быть, как и в прошлые разы

и в какой раз так, простите, было?

Насколько я знаю по задаче там было достаточно key-value, но сначала был использован postgres с хранимыми процедурами для реализации логики. Но это было медленно и плохо поддерживалась, перевод все на решение в языке привело, к заметно у ускорению и упрощению развития и поддержки. Но лучше доклад послушать, т.к. я в этом деле не участвовал и знаю понаслышке.

пре-анонс, и сбор тем был несколько месяцев назад, анонс несколько недель назад, просто сюда никто не постил.

https://ruhaskell.org/posts/events/2016/07/28/meetup-summer.html

И кстати темы были интереснее. Но раскрытие оставляло желать лучшего. Я то надеялся, что они что-то вроде ВОВа на хаскеле написали, а они змейку демонстрировали.

Уже 15-й комментарий и никто не начал языкосрач. ЛОР скатился...

Ну ок, окамл лучше. В нем даже полиморфные варианты есть, не говоря уж про нормальное ООП. Синтаксис не заковыристый. Рантайм линейный, никаких монад не нужно. И расширений языка тоже не нужно, все интегрируется в один язык. Зря я слишком поздно на него обратил внимание и потерял кучу времени в попытках варганить на этом вашем хаскеле, на котором запутатся в организации иерархии классов раз плюнуть, да и пакеты в полном беспорядке по версиям компилятора и зависимостям. Короче мрак.

Мода на чистое ФП сильно угасла за последние пару лет. Неужто все дружно теперь бросились заниматься нейросетями? :)

никаких монад не нужно

без монад ты сам не рад!

// в порядке поддержания здоровой дискуссии

complexity never disappears. It might be moved, postponed, shifted – but it is still there.

http://www.rabbitonweb.com/2017/03/16/ascetic-masochism-of-functional-program...

ну пишите на ассемблере, раз неве дизаппиарс, чего ж вы? и скорость и памяти наэкономисте.

я не знаю что там автор имеет ввиду под дизаппиарс на самом деле, но одно дело ассемблер, другое си, третье жабка, четвёрное хаскель

из практики очевидно что лучший инструмент даёт лучшие результаты. никто в здравом уме не будет писать на си приложения которые обычно пишутся на жабке. ибо комплексити может и шифтед, но ну его нафиг шифтить её назад, цена растёт как тесто на дрожжах.

что до хаскеля и монад, то похоже что этот подход подтверждает свою эффективность.

Типа вова в докладе для entry level?

Ну и после доклада я помню что группой людей из которых все кроме пары, которые уже работают на Haskell, успешно работали, используя haskell, пошли в какое-то кафе..

Игр типа вава нету, но вообще про игры есть одна фирма которая пишет, но там мелкие

ну пишите на ассемблере

Как на ассемблере? Зачем на ассемблере? Когда на ассемблере?

Есть же нормальные быстрые современные конпелируемые языки, делающие сишку с плюс плюсами как стоячих. С адекватной понятной всем императивной парадигмой. Зачем твой хацкель после этого кому-то нужен? Кроме как быть музейным экспонатом.

Приведи ка пруфца!

никто в здравом уме не будет писать на си приложения которые обычно пишутся на жабке. ибо комплексити может и шифтед

Просто часть этого комплексити сшифтилась в JVM, разработку иерархии классов и прочие архитектуры.

из практики очевидно что лучший инструмент даёт лучшие результаты

Но не убирает комплесити: https://medium.com/@rulexec/functional-programming-considered-harmful-2148582...

Есть же нормальные быстрые современные конпелируемые языки, делающие сишку с плюс плюсами как стоячих

as in?

Блин, я совсем забыл про сайт, а сабреддит похоже сдох.

А на fprog уже не модно писать? (все равно не поеду, потому что мне далековато до столицы)

Вот кстати да. Добавили бы фид с рухаскелля на fprog.ru/planet.

1) я не понимаю, в чём разница между «убирает» и «не убирает» , если «часть её ушла в jvm». по моему это и назыается «убирает». так как рядовому программисту с этим больше не приходится иметь дело.

2) куда ушла комплексити при переходе от asm на c? и только не надо про библиотеки: на асме была туча библиотек весьма вероятно что в момент перехода они были лучше чем сишные.

а если никуда, то почему не пишут на ассемблере, ведь результат на ассемблере лучше: меньше потребление памяти, лучше быстродействите.

а по поводу твоих ссылок - луддитов всегда полно, что тут поделаешь. многие люди просто не осиливают (как например Яша http://ru-haskell.livejournal.com/ , такой забавный пример). И если в фп есть выхлоп (а он похоже есть), то они, конечно, остануться на обочине истории. а в официанты никто не хочет. и у этих ребят есть свои евангелисты. так было и так будет.

но там мелкие

Настолько мелкие, что для них FRP отлично работает. Как я подозреваю, в больших играх применять arrows идея так себе. Хотя от общей организации кода в классы можно сильно выиграть по сравнению с традиционным зоопарком объектов, нещадно динамиккастящих друг друга к нужным интерфейсам. Вот об этом я и хотел услышать. А не очередную демонстрацию FRP в вакууме.

в чём разница между «убирает» и «не убирает» , если «часть её ушла в jvm»

Ну это как если программист сразу пишет на C, или он пишет с применением гарбаж коллектора и какого-нибудь тайпчекера(который из комментариев выводит типы), которые пишут(и исправляют там баги) другие люди.

куда ушла комплексити при переходе от asm на c?

В компилятор, а так же нагрузкой на память и процессор(и усилия в разработку более ёмкой памяти и быстрых процессоров).

почему не пишут на ассемблере

Пишут на питон и джаваскрипт, чтобы отложить комплексити на подальше и подольше(а часто и на других людей, ну ещё и на железо).

Вот скажем пишут программу на питон. И комплексити отложена, пока не случится runtime exception из-за того что передали строку куда надо число. А если это случается редко, то можно её передвинуть и наладить watchdog который перезапускает сервер после ошибки.

Если же ты пишешь программу на хаскеле(или ещё на чём-то более математическом), то на тебя ложится большая комплексити по доказательству полной корректности программы.

Или пишешь ты на ява, а потом надо убрать тормоза и тебе придётся изучать внутреннее устройство JVM вплоть до ассемблера.

На мой взгляд в твоих словах есть правда, но всё таки не всё так как ты говоришь.

на яве именно что проще писать чем на си (т.е. сложность ниже). да, jvm, да, стандарнтная библиотека. Но есть ещё организация кода и автоматическое управление памятью. есть автоматизация труда. именно это делает компилятор - автоматизирует труд. не надо больше mov, int и прочей муры. в яве компилятор делает больше работы по проверке труда программиста чем в том же си. поэтому на яве долг будет в среднем меньше.

функциональные языки позволяют много больше автоматизировать. а значит долг будет меньше. причём сильно меньше. а значит дешевле написание и поддержка.

в конце концов если бы всё было так как ты говоришь, то прав бы был анонимус со своим яваскриптом. однако, сегодня надо быть совсем фанатиком чтобы не понимать что такое яваскрипт и не пытаться с него слинять то ли на дарт,то ли на тайпскрипт, то ли на эльм, то ли на хаскель/агду/идрис.

Лаборатории Касперского

Опять эти проприетарные какашки лезут...

Смешной недоезыг, чего ещё от микрософта ждать. Ненужно.

Haskell вместо СУБД

Странно что никто еще не пошутил про «Хаскель вместо языка программирования».

окамл лучше

Если б тот окамл еще оживить, да GIL убрать (ага, обещали, да что-то всё затихло), да тайпклассов добавить - тут бы хаскель и почти ненужен стал.

хз, я этим не занимался, у меня сейчас столько дел было, что я с трудом за всем следить успеваю. И доклад опять не сделал :(

FRP != AFRP, ну ищи игроделов на haskell, я с ними не знаком, как и с игроделами в принципе.

Зачем тайпклассы, функторы (которые параметризованные модули) очень даже рулят. Жалко конечно что они компилтайм. Так и получается, что если можешь себе позволить абстрагироваться в компилтайм, то окамл замечательно подходит, а иначе проще джавку какую заюзать с динамической подгрузкой классов. Ну или экспериментальные смли типа aliceml смотреть.

В стрелках более всего бесит то, что надо явно собрать все состояние мира в единый поток. Что-то я там рыпался по поводу arrows для records (ну типа lens в виде arrow), но не помню уже, на каком этапе мне надоело. Может меня отпугнул матан, которым они замазали вполне простую и понятную идею lens в кучу всяких непонятных тайпклассов.

Я, конечно, люблю окамл, но синтаксис это явно не то, что нужно выдавать за его преимущество. Синтаксис окамла, что стандартный что revised вызывает боль.

Синтаксис вообще не нужно выдавать ни за преимущество, ни за недостаток.

Почему же? Например, у LISP это явный недостаток

Только пока не пишешь на языке.

Довольно много писал на общелиспе, окамле, эрланге и го. Все очень разные в плане синтаксиса, но на всех удавалось успешно решать поставленные задачи в срок.

Ну, я например на крестах успешно решаю задачи, но их синтаксис - по-прежнему серьезный недостаток. Конечно, не решающий.

просто любопытно, чисто субъективно что больше нравится и почему?

ну и «довольно много» - сколько тыщ строк на каждом?

Для сферической задачи в вакууме выберу окамл: довольно хорошая производительность, плюс предсказуемое поведение за счет строгих вычислений. Ну и его я знаю лучше других языков)

На лиспе писал довольно давно в аспирантуре, сейчас уже и не вспомню точно. Текущие проекты на окамле и эрланге 20068 и 44605 соответственно. К репе с кодом на го сейчас нет доступа, поэтому точно сказать не могу.

любопытно, спасибо