p
блин как же офигенно на идрисе писать. смотрю в repl какие в скоупе типчики, подставляю чтобы получить нужный типчик и оно зарабатывает
Size: a a a
2020 August 13
SP
блин как же офигенно на идрисе писать. смотрю в repl какие в скоупе типчики, подставляю чтобы получить нужный типчик и оно зарабатывает
ну я предвкушаю. спасибо
YS
блин как же офигенно на идрисе писать. смотрю в repl какие в скоупе типчики, подставляю чтобы получить нужный типчик и оно зарабатывает
Лучшая реклама идриса?
A
Т-34 85
хотя Царь говорил всё правильно и по делу
такое возможно?
Т8
Agrailag
такое возможно?
конечно, царь умён
A
Т-34 85
конечно, царь умён
Мне это напоминает восхищение школьниками Понасенковым. Только тот от мира политоты, а царь от айти
Т8
Agrailag
Мне это напоминает восхищение школьниками Понасенковым. Только тот от мира политоты, а царь от айти
а конкретно - в чём не прав Царь?
A
Т-34 85
а конкретно - в чём не прав Царь?
почти во всем. Ну и манера общения как у быдла из 8Б
SP
Agrailag
Мне это напоминает восхищение школьниками Понасенковым. Только тот от мира политоты, а царь от айти
ты правильно понимаешь
Т8
Agrailag
почти во всем. Ну и манера общения как у быдла из 8Б
конкретный пример его неправоты, и он это не признал
Т8
есть?
SP
понасенков безукоризнен. и царь тоже
SP
это необходимая фигура/роль в постмодерне - человек который будет прав, человек который переигрывает всех
A
Т-34 85
конкретный пример его неправоты, и он это не признал
лень чатик ради этого рыть
К
Т-34 85
а конкретно - в чём не прав Царь?
Нет уб в уб++
К
Т8
Нет уб в уб++
просто он под с++ понимает компилятор c++
Т8
а дальше всё логично
p
Т-34 85
просто он под с++ понимает компилятор c++
ну да, УБ встречается только в рантайме
p
но код в рантайм попал благодаря плюсам)