Тухлый Александр (0xd34df00d)

*haskell *c++
Вообще говоря, если у нас есть N функторов, например, для поиска подходящего элемента в контейнере, и возникает задача последовательного ослабления критериев (количества функторов, которые должны одновременно возвращать true), если на предыдущем этапе ничего не найдено, и необходимо пройтись по всем возможным комбинациям функторов, то можно сделать как-то так. Ввести некий фиктивный функтор, всегда возвращающий true, неплохо ебануться на отличненько с шаблонами и, в частности, variadic templates для реализации list comprehension из этих функторов, дабы сформировать соответствующий массив N-мерных векторов из функторов, где N — количество функторов, во всевозможных комбинациях, и затем в цикле тупо применять последовательно (а-ля некий такой find_first двухуровневый).

Я упоролся.

#1020023
from idead, 9 months ago
Recommended by (1): @O01eg

← All messages

Replies (48)

Post a reply (xmpp)

@Wimsey:
блеать, ты ломаешь мой мозг.
#1020023/1
from /portable/qutIM 0.3, 9 months ago
@qnikst:
да
#1020023/2
from mcabber, 9 months ago
@Drino:
Первотег ломает программистам мозг, чо.
#1020023/3
from boxroomCC3F3A3E, 9 months ago
@0xd34df00d:
@Drino Почему ж ломает-то.
#1020023/4
from idead, 9 months ago, in reply to /3
@kaberc:
да, ты упоролся %
#1020023/5
from 28242520601288434503349587, 9 months ago
@0xd34df00d:
@Wimsey R!
#1020023/6
from idead, 9 months ago, in reply to /1
@Drino:
@0xd34df00d Потому что они начинают писать функциональный подход на языках, которые не предполагают функционального подхода.
#1020023/7
from boxroomCC3F3A3E, 9 months ago, in reply to /4
@0xd34df00d:
@Drino C++ templates вполне себе функциональны, чо.
#1020023/8
from idead, 9 months ago, in reply to /7
@Drino:
@0xd34df00d Да, а рассчёт условий в циклах/ифах вполне себе ленив. Тем не менее C++ это не функциональный язык.
#1020023/9
from boxroomCC3F3A3E, 9 months ago, in reply to /8
@borman:
@0xd34df00d Эта функциональность не приводит к лавинообразной кодогенерации?
#1020023/10
from web, 9 months ago, in reply to /8
@0xd34df00d:
@borman Приводит. Мне страшно думать о том, сколько это будет собираться для количества функторов больше 2-3, скажем. Там же 2^n.
#1020023/11
from idead, 9 months ago, in reply to /10
@0xd34df00d:
@Drino Не функциональный. Но иногда так хочется!
#1020023/12
from idead, 9 months ago, in reply to /9
@borman:
@0xd34df00d Тогда перестань заниматься херней, поищи статьи на тему того, что ты делаешь и напиши это в годном c++-style.
#1020023/13
from codeee/Vacuum IM, 9 months ago, in reply to /11
@Drino:
@0xd34df00d Это следствие сломанности твоего мозга, не? :3
#1020023/14
from boxroomCC3F3A3E, 9 months ago, in reply to /12
@0xd34df00d:
@borman В моем случае всего 2 функтора, и в C++-style будет легче написать все варианты руками.
#1020023/15
from idead, 9 months ago, in reply to /13
@0xd34df00d:
@Drino Я просто познал прекрасно )
#1020023/16
from idead, 9 months ago, in reply to /14
@0xd34df00d:
@0xd34df00d s/прекрасно/прекрасное/
#1020023/17
from idead, 9 months ago, in reply to /16
@Drino:
@0xd34df00d Прекрасное познаёт тебя, анально. Не? :3
#1020023/18
from boxroomCC3F3A3E, 9 months ago, in reply to /16
@borman:
@0xd34df00d А, ну просто ты расписал условие так, как будто у тебя серьезная задача.
#1020023/19
from codeee/Vacuum IM, 9 months ago, in reply to /15
@0xd34df00d:
@borman Я обобщил и вывел общий принцип.
#1020023/20
from idead, 9 months ago, in reply to /19
@0xd34df00d:
@Drino Нет, я сверху )
#1020023/21
from idead, 9 months ago, in reply to /18
@Drino:
@0xd34df00d Дидфуде познаёт позу наездницы над прекрасным? :3
#1020023/22
from boxroomCC3F3A3E, 9 months ago, in reply to /21
@0xd34df00d:
@Drino Што ты толстый такой :3
#1020023/23
from idead, 9 months ago, in reply to /22
@borman:
@0xd34df00d Нет, ты собрался писать list comprehension для двух элементов. Или страничка про факториал на хаскеле настолько запала тебе в мозг?
#1020023/24
from codeee/Vacuum IM, 9 months ago, in reply to /20
@Drino:
@0xd34df00d Ок-ок, ты не даёшь прекрасному двигаться и мешаешь ему проявлять инициативу! Нехарашо! :3
#1020023/25
from boxroomCC3F3A3E, 9 months ago, in reply to /23
@0xd34df00d:
@borman Я собрался писать list comprehension для N элементов, 2 — частный случай N для N = 2. Я болен оверинжинирингом, да, known bug.
#1020023/26
from idead, 9 months ago, in reply to /24
@Drino:
@0xd34df00d Напиши лучше код и вбрось в жуек. С комментами.
#1020023/27
from boxroomCC3F3A3E, 9 months ago, in reply to /26
@0xd34df00d:
@Drino > с комментами
DO NOT WANT
#1020023/28
from idead, 9 months ago, in reply to /27
@Drino:
@0xd34df00d Убиться, ну ок.
#1020023/29
from boxroomCC3F3A3E, 9 months ago, in reply to /28
@borman:
@0xd34df00d Я это и сказал. У меня тоже сильный бугурт вызывают программы типа "реализация такого-то алгоритма на си в n<100 строчек".
#1020023/30
from codeee/Vacuum IM, 9 months ago, in reply to /26
@0xd34df00d:
@borman Я только не очень понял связи бугурта такого рода с ориджинал постом.
#1020023/31
from idead, 9 months ago, in reply to /30
@Drino:
@borman А скорость работы при этом не страдает?
#1020023/32
from boxroomCC3F3A3E, 9 months ago, in reply to /30
@borman:
@Drino Напротив. Я противопоставляю переполненному абстракциями раздутому коду короткий и лаконичный код, выполняющий одну задачу. Такой код может часто и работать быстрее за счет малого размера. Но не обязательно.
#1020023/33
from codeee/Vacuum IM, 9 months ago, in reply to /32
@Drino:
@borman Понятно.
#1020023/34
from boxroomCC3F3A3E, 9 months ago, in reply to /33
@part1zano:
А щачло карпа, меж тем, всенепременно замыкается на Кольский полуостров через гастроном №5 на улице Герцена. И вот если мы возьмём Кольский полуостров, возьмём экономику, и замкнём, то получим Te-le-fun-ken!!
#1020023/35
from web, 9 months ago
@0xd34df00d:
@part1zano Что ты меня тут шизофазией тrавишь, а? )
#1020023/36
from idead, 9 months ago, in reply to /35
@kaberc:
@0xd34df00d Он — Илья Муромец, ему можно.
#1020023/37
from 28242520601288434503349587, 9 months ago, in reply to /36
@part1zano:
@0xd34df00d Это простейший ментальный блок, я его раза IRL применял, когда мне один знакомый библиотекарь начал пургу в моск загонять %)
#1020023/38
from che-netboo979E95DF, 9 months ago, in reply to /36
@jtootf:
во всех нормальных языках это называется не функторами, а предикатами; ну и зачем тут городить массив комбинаций я откровенно не понимаю — достаточно ввести отношение Ord на этих предикатах
#1020023/39
from galois, 9 months ago
@0xd34df00d:
@jtootf А как тебе поможет отношение Ord на предикатах?
#1020023/40
from idead, 9 months ago, in reply to /39
@Drino:
@jtootf Хм, а что такое предикат? /me знает только математическое определение
#1020023/41
from boxroom73B992B9, 9 months ago, in reply to /39
@jtootf:
@0xd34df00d я трижды перечитал постановку, и понял, что я тебя всё-таки не понимаю. когда твой функтор возвращает true?
#1020023/42
from galois, 9 months ago, in reply to /40
@0xd34df00d:
@jtootf Когда данное^W структура, которую он мапит в Bool, удовлетворяет соответствующему предикату условию.
#1020023/43
from idead, 9 months ago, in reply to /42
@jtootf:
@0xd34df00d в общем, я радости и ликования не понимаю :)
#1020023/44
from galois, 9 months ago, in reply to /43
@0xd34df00d:
@jtootf Можно упарываться и городить пиздецы из шаблонов же!
#1020023/45
from idead, 9 months ago, in reply to /44
@jtootf:
@0xd34df00d цель должна оправдывать средства. иезуиты были неглупыми людьми
#1020023/46
from galois, 9 months ago, in reply to /45
@jtootf:
@Drino логическая функция. a -> Bool, как-то так
#1020023/47
from galois, 9 months ago, in reply to /41
@Drino:
@jtootf Ок
#1020023/48
from boxroom73B992B9, 9 months ago, in reply to /47

Тухлый Александр (0xd34df00d)

Subscribe

Replies (48)

Messages

Tags all

Search

Statistics