сорри за оффтоп вопрос, а как при наличии retraction и неважности порядка правил в datalog гарантируется завершимость?

или retraction недопустим в head ?

да судя по документации в clauses не может быть, только в statement

Так, я в фп еще даже не джун, по этому мне позволительно В чатике постоянно Ккмета какого-то упоминают. Не забрасывайте помидорами, кто это?

https://cokmett.github.io/cokmett/ click it

человек который генерирует много библиотек и классных идей

хахаха

прикольная картинка

мне её в первый раз показал Митек на zurihack на фоне кметта задвигавшего про Yoneda lemma

смотрелось отлично

забаньте уже этот ежедневный агрегатор )

нажал кнопочку remove, надеюсь не промазал

нажал кнопочку remove, надеюсь не промазал

Промазал

не того удалил?

Сомнительная аргументация

А теперь достаточно пруфов :3 ?

А теперь достаточно пруфов :3 ?

Yap

не того удалил?

Всё, удалилось, видимо телеграм не успел синхронизовать

сообщение я позже удалил

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

Вообще на самом деле по моим наблюдениям, отсутствие юзернейма - это веский признак бота, как и одновременный заход в десяток чатов

ну про чаты хз

раньше так народ набегал на каком-нибудь хабре постят список “самые модные чаты в телеграме”

и народ прям по списку идет)

бот боту рознь

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

трафик ребята продают

причем боты умеют вычислять ботов конкурентов

а этот - то такое, бабушка или мамма чья-то, прочла в одноклассниках "Как сделать бота за 1,5 минуты"

а этот - то такое, бабушка или мамма чья-то, прочла в одноклассниках "Как сделать бота за 1,5 минуты"

Эт сложнее :) библиотек то вменяемых нет для телеги

что такое ghcid и есть ли от него какой-то профит?

Запускалка ghci или скрипта пересоьирающая все при изменении файлов

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

а со стеком она умеет?

в смысле запустить мне её удалось

но она молчит

Хз, как-то уметь должна

Я не использую уже, чуть-чуть погонял и забил

но народ пишет что у них от IDE +25% продуктивности

может я что-то теряю

от их отсутствия.

Я без ide меня наверное слушать не надо

Я у себя замечаю моменты когда бы мне ide (которое не факт что есть) помогло примерно в 1% случаев

Причем половина этих случаев покрывается чуть более высоким vim-foo

чем это не ide? разница лишь в том что собрано самостоятельно, а не коробочное решение

да у меня вообще ощущение, что если вам помогает ide, значит вы пишете код руками, а не головой

ну т.е вот надо разложить сейчас структуру в памяти для эффективного последующего доступа к ней

ide никак не помогает решить эту проблему почему-то

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

ide для работы с кодом, а не с задачами приложения

какой, например, работы?

как вы работаете с кодом?

самый банальный и распространенный пример - переименование

иде, которые анализируют структуру проекта ( а не просто папка с текстом), могут из одного места переименовать везде

но как часто это надо?

раз в неделю? раз в месяц?

не так часто, но с иде, которая это позволяет, этот процесс быстр и незаметен по времени

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

и процедура растаскивания да, занимает, особенно когда структура проекта неясна

но все это устаканивается в рамках одного дня обычно на проект

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

таких моментов разных, вроде бы мелких, на самом деле хватает изрядно хорошая иде позволяет экономить время на этом

да ни разу

а менее удобные, но более простые и универсальные инструменты sed и mv - один раз научился, всегда используешь

да, довольно гемороно, но нужно редко

переименование седом в большом проекте... ммм... delicious

норм

есть же еще git difftool и тайпчекер

впрочем, это ведь всё теоретически. на практике для линукса просто нет ни одного вменяемого IDE для хаскела с переименованиями

так что о чем тут говорить

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

впрочем, это ведь всё теоретически. на практике для линукса просто нет ни одного вменяемого IDE для хаскела с переименованиями

это да и не только под линукс но я говорил о близкой к идеальной иде

а потом - для нового языка и новой платформы - новый IDE

с другими хоткеями

набором функций

не факт, если это к примеру Idea)

а потом всё тоже самое, но с кросс-компиляцией

да она бесит иногда, но лучше ничего нет для большого набора языков

переименование седом в большом проекте... ммм... delicious

переименование чего одной функции в другую?

или типа данных. там и sed справится

что мне бы хотелось себе добавить это вывод типа по выделенному выражению чтоб не надо было делать хаки с ghcid (правда реально оно мне нужно было раз 10 за жизнь)