CD
Не можешь потому что ты не знаешь что такое +
А если это будет операция метакласса вида { a + b } -> T у меня все сразу изменится?
Size: a a a
2020 August 07
p
Максимум что ты можешь выжать это сигнатуры, и мы приходим к структурной типизации которая говно
CD
Но оно некорректное же. Таким образом ты отсечешь типы, для которых a + b возвращает U, неявно преобразующийся в T.
Эта запись означает ровно это
p
И что? Just N создаст Just 42
Just всегда одна функция
Ct
Эта запись означает ровно это
Ух, жуть. Окей.
CD
Just всегда одна функция
add всегда одна функция, отображающая тип в функцию
p
add всегда одна функция, отображающая тип в функцию
Нет, там кодогенерируется несколько функций
CD
Нет, там кодогенерируется несколько функций
а в Just 42 сгенерировалось новое значение Just 42, и что?
p
а в Just 42 сгенерировалось новое значение Just 42, и что?
Ничего здесь не сгенерировалось
CD
Ничего здесь не сгенерировалось
Just 42 отличается от Just 43. add<int> отличается от add<char>
p
Just 42 отличается от Just 43. add<int> отличается от add<char>
Нет, Just 42 и Just 43 одна функция с разными аргументами
CD
Нет, Just 42 и Just 43 одна функция с разными аргументами
add - одна функция с разными аргументами
p
add - одна функция с разными аргументами
add<int> add<char> две разные функции
SP
растоблядь незаметна
export function get_wasm_unwrap(): WasmMod {
const m = get_wasm();
if (!m) {
throw new Error("err");
}
}CD
add<int> add<char> две разные функции
да, но add одна функция, она отобразила int в Just int и char в Just char
Т8
растоблядь незаметна
export function get_wasm_unwrap(): WasmMod {
const m = get_wasm();
if (!m) {
throw new Error("err");
}
}* скрипто-
p
да, но add одна функция, она отобразила int в Just int и char в Just char
Нет, в компайлтацме создастся две функции add по одной на каждый тип Т. Иди уже матчасть учи блин.
SP
нужен разбан царя
CD
Нет, в компайлтацме создастся две функции add по одной на каждый тип Т. Иди уже матчасть учи блин.
А может, ты выучишь матчасть? Нет требования создавать функции, есть требование, чтобы они воспринимались как различные функции
p
да, но add одна функция, она отобразила int в Just int и char в Just char
https://ru.m.wikipedia.org/wiki/%D0%A8%D0%B0%D0%B1%D0%BB%D0%BE%D0%BD%D1%8B_C%2B%2B#:~:text=%D0%92%20C%2B%2B%20%D0%B2%D0%BE%D0%B7%D0%BC%D0%BE%D0%B6%D0%BD%D0%BE%20%D1%81%D0%BE%D0%B7%D0%B4%D0%B0%D0%BD%D0%B8%D0%B5,%D0%B3%D0%BB%D0%BE%D0%B1%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%20%D0%B4%D0%BE%D1%81%D1%82%D1%83%D0%BF%D0%BD%D1%8B%D0%BC%20%D0%B8%D0%BC%D0%B5%D0%BD%D0%B5%D0%BC%2C%20%D1%81%D1%81%D1%8B%D0%BB%D0%BA%D0%B0).
Хотя шаблоны предоставляют краткую форму записи участка кода, на самом деле их использование не сокращает исполняемый код, так как для каждого набора параметров компилятор создаёт отдельный экземпляр функции или класса. Как следствие, исчезает возможность совместного использования скомпилированного кода в рамках разделяемых библиотек.
Хотя шаблоны предоставляют краткую форму записи участка кода, на самом деле их использование не сокращает исполняемый код, так как для каждого набора параметров компилятор создаёт отдельный экземпляр функции или класса. Как следствие, исчезает возможность совместного использования скомпилированного кода в рамках разделяемых библиотек.