А какого рода задачи вы решали на прологе?

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

Вроде бы prolog такое должен уметь, но с наскока я такой пример не понял как делать.

на Хаскеле эта задача решается аппликативной валидацией.

хотя на любом языке это будет близко к аппликативной валидации

то есть можно не проигрывать в обратную сторону, а ко проверке условия прицепить логгирование

так я узнаю только первое не сработавшее условие? или все?

аппликатив как раз гарантирует, что сработают все проверки до общего отказа.

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

а, апликатив, кажется я начял понимать

там же еще есть расширение, которое делать applicaive do
и навеное через do нотацию можно такое сделать читаемым

в конкретно этой задаче ApplicativeDo не повышает читаемость

но мы же про общую логику, а не про детали реализации вроде говорили

Ну что - делаем offline meetup? например через неделю? - один доклад есть - нужно еще два!

через неделю и в пятницу, а? как вам такое?

норм

Вообще круто, я в питере как раз буду

19ого или 26?

19

ок - забились

ух ты, есть опция оффлайн!

обменяемся штамами 🙂

Показалось «штанами»

После митапов в сауне возможно ожидать чего угодно