Rn
в моём семантика произвольна
Size: a a a
2020 July 18
p
Так если произвольна то вырази пожалуйста
Rn
(n + 1) add1(int n);
Функцию с такой сигнатурой
Функцию с такой сигнатурой
С++ не птушный мусор - в нём нет сигнатур дерьма.
p
Мне ИНТЕРЕСНО как это будет выглядеть
Rn
ну дак что выразить. В том и вопрос
p
С++ не птушный мусор - в нём нет сигнатур дерьма.
То есть там нет завтипов,
Rn
нет
Rn
просто твой недоязычок слишком примитивен
Rn
просто впиши эту функцию в контекст
Rn
я за тебя выведу её семантику
p
просто твой недоязычок слишком примитивен
В с++ нет завтипов, в идрисе есть. Почему Идрис примитивнее с++?
KR
Мне ИНТЕРЕСНО как это будет выглядеть
Сформулируй ему на логосе.... тьфу.... то есть человеческим языком семантику, а он напишет сигнатурки и пример
Rn
В с++ нет завтипов, в идрисе есть. Почему Идрис примитивнее с++?
потому что идрис не язык, а мусор. И никаких завтипов там нет. Тебя просто обманула пропаганда. Почему примитивнее - потому что у тебя заранее захардкодена в типы/операции семантика, которая преобразует типы. В С++ этого нет. Это язык более высокого порядка, т.е. он может реализовать то, что может твой недоязычок. Но этого семантики в него не заложено
Rn
т.е. С++ может создать уникальный признак для каждого значения к программе, а так же каждая операция может произвольно менять/добавлять эти признаки и выполнять произвольные операции над ними
p
просто впиши эту функцию в контекст
??? add1(int n);
void assert_bigger(int n1, int n2) {
static_assert(n1 > n2);
}
void foo() {
int a = get_number_from_user();
auto a2 = add1(a2);
assert_bigger(a2, a1); // ok
assert_bigger(a1, a2); // compile error
}p
Нужно чтобы первый ассерт проходил а второй валился
p
(на этапе компиляции)
Rn
твоё недоязычок не может в это. Ты его переоцениваешь. Но сейчас я поищу - я когда-то писал подобное - мне лень искать
Rn
но я пищу
AZ
Давай подождём пока царесрач пройдёт, я думаю, что смог бы привести аргументы и на компьютеры, и на генетику.
ну если кратко, то без ицнициативы снизу айфоны и лазеры не появляются. Компьютеры - гигантские машины для военных - да, а вот персональные для арканоидов - уже нет.
А инициатива снизу в тех моделях социализма что рисуют невозможно, всё наталкивается на "не положено"
А инициатива снизу в тех моделях социализма что рисуют невозможно, всё наталкивается на "не положено"