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

*c++ *haskell
Требуется по нашей роли в конференции, нашему affiliation, чужой роли и чужому affiliation, а также целевой роли, определить, можем ли мы целевого чувака перевести в целевую роль. Дико не хватает паттерн-матчинга из какого-нибудь хацкеля, поэтому я хочу нарисовать аналог на темплейтах —
template<MUCAffiliation ourAff, MUCRole ourRole, MUCAffiliation aff, MUCRole role, MUCRole targetRole>
class MayChangeRole;

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

Правда, блин, облом, это все в компил-тайме будет, какая пичаль :(
Ебаный С++.

#1153958
from Azoth_primary, 7 months ago
Recommended by (1): @O01eg

← All messages

Replies (112)

Post a reply (xmpp)

@Tremerix:
Alien C++
#1153958/1
from Psi+, 7 months ago
@0xd34df00d:
@Tremerix ?
#1153958/2
from web, 7 months ago, in reply to /1
@magog:
перепиши весь азот на хаскеле
#1153958/3
from Kopete, 7 months ago
@borman:
Вариант "не выебываться и написать свич" это уже не модно, пичаль-пичаль.
#1153958/4
from codeee/Vacuum IM, 7 months ago
@magog:
@borman а то! нормальный посоны свич не юзают =)))
#1153958/5
from Kopete, 7 months ago, in reply to /4
@0xd34df00d:
@borman Ты представляешь пиздец этого свича? Функция от пяти аргументов же, по пяти нужно селект делать.
#1153958/6
from web, 7 months ago, in reply to /4
@gelraen:
слушай, ты какой-то упоротый...
#1153958/7
from home, 7 months ago
@borman:
BTW, бывает еще C-style pattern matching для маленьких множеств — сделать битовую маску и разбирать случаи по ней.
#1153958/8
from codeee/Vacuum IM, 7 months ago
@magog:
@gelraen ебать ты америку открыл только что
#1153958/9
from Kopete, 7 months ago, in reply to /7
@0xd34df00d:
@gelraen С чего ты взял?
#1153958/10
from web, 7 months ago, in reply to /7
@0xd34df00d:
@borman Нетипобезопасно.
#1153958/11
from web, 7 months ago, in reply to /8
@gelraen:
@0xd34df00d не могу понять нахрена тут городить горы темплейтов
#1153958/12
from home, 7 months ago, in reply to /10
@borman:
@0xd34df00d Но
#1153958/14
from codeee/Vacuum IM, 7 months ago, in reply to /11
@borman:
@0xd34df00d Но это, срать-ебать, не АБСТРАКЦИЯ!
#1153958/15
from codeee/Vacuum IM, 7 months ago, in reply to /11
@0xd34df00d:
@gelraen Чтобы красивенько выбирать по параметрам и в наиболее явном и очевидном виде задавать соответствие.
#1153958/16
from web, 7 months ago, in reply to /12
@O01eg:
облом, это все в компил-тайме будет
пиши на шарпе
#1153958/17
from Ψ+, 7 months ago
@gelraen:
@0xd34df00d не выйдет. даже тут xmpp.org ад и содомия
#1153958/18
from home, 7 months ago, in reply to /16
@borman:
@0xd34df00d Напиши код с паттерн-матчингом, кстати, чтобы нам представлять себе масштаб бедствия.
#1153958/19
from codeee/Vacuum IM, 7 months ago, in reply to /16
@akapetryxa:
ыть, это разве не логическая задачка?
#1153958/20
from Pavilion, 7 months ago
@0xd34df00d:
@gelraen Я там и читал и пиздец видел.
Но в теплейтах это явно и няшно задается.
#1153958/21
from web, 7 months ago, in reply to /18
@O01eg:
Кстати, зачем? Тебе сервер просто ошибку пришлёт.
#1153958/22
from Ψ+, 7 months ago
@0xd34df00d:
@akapetryxa ШТО
#1153958/23
from web, 7 months ago, in reply to /20
@0xd34df00d:
@O01eg Чтобы делать неактивными те экшны, действия которых не имеют смысла.
#1153958/24
from web, 7 months ago, in reply to /22
@akapetryxa:
@0xd34df00d ЕСЛИ А и Б ТО ДА
АЕСЛИ А и С ТО НЕТ
ИНАЧЕ НЕЗНАЮ :)))
#1153958/25
from Pavilion, 7 months ago, in reply to /23
@borman:
@akapetryxa "слышу звон, да не знаю, где он"
#1153958/26
from codeee/Vacuum IM, 7 months ago, in reply to /25
@akapetryxa:
@borman задача на пересечение множеств решается математически, разве нет?
#1153958/27
from Pavilion, 7 months ago, in reply to /26
@0xd34df00d:
@borman paste.pocoo.org
Ну разве не няшка?
#1153958/28
from web, 7 months ago, in reply to /19
@borman:
@akapetryxa Решаться решается, вопрос, как это записать кратко.
#1153958/29
from codeee/Vacuum IM, 7 months ago, in reply to /27
@0xd34df00d:
@akapetryxa Тут множеств дохуя, простые свитчи — хуита.
#1153958/30
from web, 7 months ago, in reply to /27
@borman:
@0xd34df00d Ты пока на один if наговнокодил, ты всю таблицу-то распиши. Хотя б на псевдокоде.
#1153958/31
from codeee/Vacuum IM, 7 months ago, in reply to /28
@akapetryxa:
@borman битами
#1153958/32
from Pavilion, 7 months ago, in reply to /29
@borman:
@akapetryxa Если ты посмотришь, я это уже предлагал.
#1153958/33
from codeee/Vacuum IM, 7 months ago, in reply to /32
@0xd34df00d:
@borman Я ее руками заебусь на псевдокоде расписывать, да ну нафиг.
Тем более, в рантайме все равно нужную специализацию не выберешь.
#1153958/34
from web, 7 months ago, in reply to /31
@akapetryxa:
@borman ну ладно, чё...
#1153958/35
from Pavilion, 7 months ago, in reply to /33
@0xd34df00d:
@borman xmpp.org
xmpp.org
#1153958/36
from web, 7 months ago, in reply to /31
@O01eg:
@0xd34df00d А зачем? Ты вроде как часть стандарта реализуешь.
#1153958/37
from Ψ+, 7 months ago, in reply to /34
@0xd34df00d:
@O01eg Щито?
#1153958/38
from web, 7 months ago, in reply to /37
@O01eg:
@0xd34df00d Зачем тебе это в рантайме?
#1153958/39
from Ψ+, 7 months ago, in reply to /38
@borman:
@0xd34df00d Я высрал кирпич, отправлю тебе орбитальной бомбардировкой. Ты тут ноешь о том, как неудобно и как тебе хотелось, чтобы было возможно (ибо было бы няшно), а написать няшно ты и не пробовал.
#1153958/40
from codeee/Vacuum IM, 7 months ago, in reply to /34
@0xd34df00d:
@O01eg Потому что мне нужно это в рантайме определять.
#1153958/41
from web, 7 months ago, in reply to /39
@0xd34df00d:
@borman Няшно == ?
#1153958/42
from web, 7 months ago, in reply to /40
@akapetryxa:
@0xd34df00d битами :)
#1153958/43
from Pavilion, 7 months ago, in reply to /42
@borman:
@0xd34df00d Ты утверждаешь, будто паттерн-матчингом это будет няшно. Так возьми и напиши.
#1153958/44
from codeee/Vacuum IM, 7 months ago, in reply to /42
@0xd34df00d:
@borman Я утверждаю, что это будет не менее няшно произвольного другого варианта, ибо это прямая запись логики почти что и минимум лишней информации.
#1153958/45
from web, 7 months ago, in reply to /44
@borman:
@0xd34df00d Кто мешает написать тебе паттерн-матчинг на плюсцах ручками?
#1153958/46
from codeee/Vacuum IM, 7 months ago, in reply to /45
@akapetryxa:
ох, а мне тоже надо muc запилить :) думаем, думаем :)
#1153958/47
from Pavilion, 7 months ago
@O01eg:
@borman А это что он написал?
#1153958/48
from Ψ+, 7 months ago, in reply to /46
@borman:
@akapetryxa Это, тащемта, сервер-сайд фича.
#1153958/49
from codeee/Vacuum IM, 7 months ago, in reply to /47
@0xd34df00d:
@borman Тем, что это, гм, фича компилятора, и я сходу не соображу, как ее в рантайме сэмулировать без явного расписывания.
#1153958/50
from web, 7 months ago, in reply to /46
@borman:
@O01eg Он написал срать-ебать-говно на темплейтах.
#1153958/51
from codeee/Vacuum IM, 7 months ago, in reply to /48
@akapetryxa:
@borman пункты меню задизаблить?
#1153958/52
from Pavilion, 7 months ago, in reply to /49
@borman:
@akapetryxa А, ну если оно тебе так надо...
#1153958/53
from codeee/Vacuum IM, 7 months ago, in reply to /52
@0xd34df00d:
@borman Твои варианты на плюсах?
Олсо, почему срать-ебать-говно? Няшно и мило, в стиле плюсов.
#1153958/54
from web, 7 months ago, in reply to /51
@O01eg:
@borman Ты так говоришь, как будто это плохо.
#1153958/55
from Ψ+, 7 months ago, in reply to /51
@0xd34df00d:
@borman Мне не надо, юзерам-идиотам надо.
#1153958/56
from web, 7 months ago, in reply to /53
@akapetryxa:
@borman конечно... юзер должен НЕ иметь свободы там где не надо
#1153958/57
from Pavilion, 7 months ago, in reply to /53
@akapetryxa:
@0xd34df00d плюсую
#1153958/58
from Pavilion, 7 months ago, in reply to /56
@borman:
@0xd34df00d Я что, против?
#1153958/59
from codeee/Vacuum IM, 7 months ago, in reply to /56
@O01eg:
@0xd34df00d Кстати, запили многомерный массив
#1153958/60
from Ψ+, 7 months ago, in reply to /54
@0xd34df00d:
@O01eg Тогда даже для таких вариантов, как MUCAdmin и MUCOwner, когда в любом случае True, надо описывать все остальные комбинации. Поэтому я и паттерн-матчинг хочу, потому что там есть _ в хацкеле и просто отсутствие явной специализации в плюсах.
#1153958/61
from web, 7 months ago, in reply to /60
@0xd34df00d:
@0xd34df00d А все остальные комбинации — это 775 вариантов для MayChangeRole и 1225 для MayChangeAffiliation.
#1153958/62
from web, 7 months ago, in reply to /61
@borman:
@0xd34df00d
{
{Aff::Any, Role::Participant, ...},
{Aff::Admin, Role::Moderator, ...}
...
}

Ты уверен, что специализация движка паттерн-матчинга на этот случай будет настолько длинной, что ты получишь профит от твоего синтаксического говна?
#1153958/63
from codeee/Vacuum IM, 7 months ago, in reply to /54
@0xd34df00d:
@borman Это явно не 775/1225 комбинаций, а, гм, на порядок меньше минимум.
#1153958/64
from web, 7 months ago, in reply to /63
@borman:
@0xd34df00d ШТО? Ты о чем вообще?
#1153958/65
from codeee/Vacuum IM, 7 months ago, in reply to /64
@0xd34df00d:
@borman 5 вариантов aff, 3 варианта ролей.
5×3×5×3×3 вариантов для MayChangeRole.
5×3×5×3×5 вариантов для MayChangeAffiliation.
#1153958/66
from web, 7 months ago, in reply to /65
@borman:
@0xd34df00d И? Какие делаем выводы?
#1153958/67
from codeee/Vacuum IM, 7 months ago, in reply to /66
@0xd34df00d:
@borman Что паттерн-матчинг решает в данном случае над прямым тупым отображением из R×A×R×A×R → Bool, когда нужно все параметры задавать (как в случае массивов).
#1153958/68
from web, 7 months ago, in reply to /67
@borman:
@0xd34df00d Эмм, в массиве ты пишешь ровно то же, что и в любом паттерн-матчинге. На количество случаев это никак не влияет.
#1153958/69
from codeee/Vacuum IM, 7 months ago, in reply to /68
@akapetryxa:
@0xd34df00d ну совсем бредовые случаи исключаются
#1153958/70
from Pavilion, 7 months ago, in reply to /66
@0xd34df00d:
@borman Схуяли? В хаскель-нотации если писать, то там я могу написать
mayChange Admin = True
mayChange Owner = True

А в случае массивов мне тупо с точки зрения типов нужно перебирать все остальные переменные, блеать.
#1153958/71
from web, 7 months ago, in reply to /69
@0xd34df00d:
@0xd34df00d Сука, ебаный жуйк схавал ебаные знаки подчеркивания ><
#1153958/72
from web, 7 months ago, in reply to /71
@borman:
@0xd34df00d То есть правда, что ты расширяешь каждое перечисление ровно на один элемент (Any, который я тебе, кстати, в примере написал)?
#1153958/73
from codeee/Vacuum IM, 7 months ago, in reply to /71
@0xd34df00d:
@0xd34df00d Более того, компилятор хаскеля за меня проверит, покрывают ли мои матчинги все возможные варианты, и нет ли перекрытий.
#1153958/74
from web, 7 months ago, in reply to /72
@O01eg:
@0xd34df00d А я предлагал тебе написать личкрафты на хаскеле
#1153958/75
from Ψ+, 7 months ago, in reply to /74
@0xd34df00d:
@borman Но мне-то приходит не Any, и сравнивая Any с любым другим, я получаю False. Тут уже придется городить свой класс со своим перегруженным operator==, который для Any возвращает True.
Пиздец.
#1153958/76
from web, 7 months ago, in reply to /73
@0xd34df00d:
@O01eg Где ты был 5 лет назад...
#1153958/77
from web, 7 months ago, in reply to /75
@O01eg:
@0xd34df00d Ты пять лет городил это говно?
#1153958/78
from Ψ+, 7 months ago, in reply to /77
@borman:
@0xd34df00d У тебя хаскель головного мозга. Ты совсем охуел? Не для каждого случая надо рожать синтаксического монстрика.
#1153958/79
from codeee/Vacuum IM, 7 months ago, in reply to /76
@0xd34df00d:
@O01eg Да, ~7 марта 2006 это началось.
#1153958/80
from web, 7 months ago, in reply to /78
@0xd34df00d:
@borman Щито?
#1153958/81
from web, 7 months ago, in reply to /79
@O01eg:
@borman А чем плоха реализация СТАНДАРТА в компилируемом виде?
#1153958/82
from Ψ+, 7 months ago, in reply to /79
@borman:
@O01eg Я не об этом.
#1153958/83
from codeee/Vacuum IM, 7 months ago, in reply to /82
@Tremerix:
@O01eg SUDDEN EXPLOSION OF HIDDEN TRUTH
#1153958/84
from Psi+, 7 months ago, in reply to /78
@0xd34df00d:
@0xd34df00d Ну ладно, без класса, можно просто
bool operator== (Role r1, Role r2)
{
if (r1 == RAny || r2 == RAny)
return true;
return static_cast<int> (r1) == static_cast<int> (r2);
}
#1153958/85
from web, 7 months ago, in reply to /81
@borman:
@0xd34df00d if ((pat.role==Any || pat.role==item.role) && ...)
#1153958/86
from codeee/Vacuum IM, 7 months ago, in reply to /81
@0xd34df00d:
@borman А о чем?
#1153958/87
from web, 7 months ago, in reply to /83
@borman:
@0xd34df00d /86
#1153958/88
from codeee/Vacuum IM, 7 months ago, in reply to /87
@0xd34df00d:
@borman И писать это везде? Да у тебя си головного мозга!
#1153958/89
from web, 7 months ago, in reply to /88
@borman:
@0xd34df00d Везде называется два места? Два места по не более-чем-пять-строчек (если правила в столбик выписывать)?
#1153958/90
from codeee/Vacuum IM, 7 months ago, in reply to /89
@jtootf:
паттерн-матчинг в ОО-языках принято делать через визитор; в большинстве случаев получается элегантнее свитча
#1153958/91
from galois, 7 months ago
@0xd34df00d:
@borman Там их дохрена ваще, еще +2 роли, и еще больше вариантов. Лучше op перегрузить.
#1153958/92
from web, 7 months ago, in reply to /90
@0xd34df00d:
@jtootf paste.pocoo.org
Ну чем не няка? :3
#1153958/93
from web, 7 months ago, in reply to /91
@jtootf:
@0xd34df00d а зачем оно тебе в компайл-тайм?
#1153958/94
from galois, 7 months ago, in reply to /93
@borman:
@0xd34df00d Хотя.. Если обвернуть это в макрос и забить на то, как оно будет внутри, получится вполне ок.
#1153958/95
from codeee/Vacuum IM, 7 months ago, in reply to /93
@0xd34df00d:
@jtootf ХЗ, я еще не придумал, как связать компил-тайм и рантайм нормально.
#1153958/96
from web, 7 months ago, in reply to /94
@0xd34df00d:
@borman > макрос
Вот риальни си головного мозга.
#1153958/97
from web, 7 months ago, in reply to /95
@borman:
@0xd34df00d Вот тебе в каф писать вот это вот:
template<MUCRole ourRole, MUCAffiliation aff, MUCRole role, MUCRole targetRole>
class MayChangeRole<...> { enum May { Result = 1 }; };
каждый раз?
Смысла эта конструкция не несет вообще. Любишь write-only код?
#1153958/98
from codeee/Vacuum IM, 7 months ago, in reply to /97
@0xd34df00d:
@borman Он-то как раз не write-only. Но все красиво и понятно.
#1153958/99
from web, 7 months ago, in reply to /98
@borman:
@0xd34df00d Я вижу кучу одинаковых темплейтов и сру кирпичами в поисках разницы.
ALLOW (MUCAdmin, _ourRole, _aff, _role, _targetRole);
ALLOW (MUCOwner, _ourRole, _aff, _role, _targetRole);
...
#undef ALLOW
Разве не понятнее?
#1153958/100
from codeee/Vacuum IM, 7 months ago, in reply to /99
@O01eg:
@borman Быдломакросы не умеют специализацию.
#1153958/101
from Ψ+, 7 months ago, in reply to /100
@borman:
@O01eg ШТО? Какая еще специализация? Я просто предлагаю каждую из его специализаций завернуть в макрос для удаления синтаксического мусора.
#1153958/102
from codeee/Vacuum IM, 7 months ago, in reply to /101
@0xd34df00d:
@borman Ты аккуратнее, а то я не остановлюсь и заюзаю там где-нибудь Boost.PP.
#1153958/103
from web, 7 months ago, in reply to /102
@O01eg:
@0xd34df00d Да перепиши ты личкрафты на C++0x уже
#1153958/104
from Ψ+, 7 months ago, in reply to /103
@borman:
@0xd34df00d Да хоть какие-нибудь (имена вымышленные) Boost.Pattern + Boost.Tuple + Boost.Option заюзай.
#1153958/105
from codeee/Vacuum IM, 7 months ago, in reply to /103
@0xd34df00d:
@O01eg :(
#1153958/106
from web, 7 months ago, in reply to /104
@akapetryxa:
описать константы операций(так или иначе придётся) с битами требований(role(0..2), aff(3..7), и применимостью к (10+(0..7))) и голимую процедуру
Allowed(op, from, to): boolean;
var x: биты
включаем в x(from.role, from.aff, 10+to.role, 10+to.aff)
return x=op; всё :)
лень описать константы видимо :)
а если учесть иерархию, то выводы можно делать уже на уровне сравнения from с to :)
в лоб блять.
#1153958/107
from Pavilion, 7 months ago
@borman:
@akapetryxa Ты что, там же без КЛАССОВ, ТЕМПЛЕЙТОВ и БУСТА!
#1153958/108
from codeee/Vacuum IM, 7 months ago, in reply to /107
@Crazy-Owl:
я сейчас блевану от того, какое говно ваш С++
#1153958/109
from 12998683571294662926322162, 7 months ago
@0xd34df00d:
@Crazy-Owl Ну А ТО.
И чего я на нем пишу?
#1153958/110
from web, 7 months ago, in reply to /109
@Crazy-Owl:
@0xd34df00d личкрафты?
#1153958/111
from 20808839571294676935879841, 7 months ago, in reply to /110
@0xd34df00d:
@Crazy-Owl == схуяли.
#1153958/112
from web, 7 months ago, in reply to /111
@Crazy-Owl:
@0xd34df00d што
#1153958/113
from 20808839571294676935879841, 7 months ago, in reply to /112

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

Subscribe

Replies (112)

Messages

Tags all

Search

Statistics