[
правда, в одном экземпляре(ну, собственно, уникальные)
Size: a a a
2021 May 26
JS
звучит неправдоподобно
[
#include<type_traits>
template<typename T> struct Id {};
template<auto f = []{}>
auto make() {
return Id<decltype(f)> {};
}
int main() {
auto x = make();
auto y = make();
static_assert(std::is_same_v<decltype(x), decltype(x)>);
static_assert(std::is_same_v<decltype(x), decltype(y)>);
}
VA
auto make() скомпилится разве?
[
в 20-ых плюсах должно
[
а, возвращаемое значение auto ещё в 17-ых работает и возможно в 14
VA
Да ну не, вряд ли
VA
А хотя стоп, ты же прописал возвращаемое значение в лице структуры
АХ
В смысле от двух неймспейсов на модуль? Нет. Они навсегда. Слишком много constructor name punning
JS
разве тут в рантайме тип строится?
[
ну, может и в кт. Но выглядит как рантайм
JS
для меня не выглядит
JS
а от синтаксисов можно будет избавиться?
сейчас, как я понимаю, есть отдельные (перетекающие друг в друга) синтаксисы для
1. деклараций
2. типов
3. термов
4. образцов
вот 2 и 3 есть планы объединить?
сейчас, как я понимаю, есть отдельные (перетекающие друг в друга) синтаксисы для
1. деклараций
2. типов
3. термов
4. образцов
вот 2 и 3 есть планы объединить?
АХ
Вот тут не знаю
АХ
2, думаю, всегда будет беднее чем 3. Ну или как минимум в обозримом времени
L
Переслано от Leyλa
Питер! Оффлайн-ивент 3-го июня в 19:30 по адресу пр. Кима, 6! Регистрация: https://spb-fp-meetup.timepad.ru/event/1657563/
JS
у меня есть пачка IORef разных типов, и я хочу к ним привязать ещё какие-то данные. можно из IORef извлечь какой-то адрес, чтобы использовать его как ключ в HashMap?
JS
подозреваю, что
MutVar# перемещаемый, поэтому нельзя. я прав?