FO
а смысл в таком поведении? Напоминает C++ с шаблонами
чтоб не городить шаблоны?
или использовать шаблоны по-умолчанию
Size: a a a
2020 January 28
BD
Эмс... Но он же, типа, должен контекст понимать... Нет? Разве в C++ бывает
ptr->void?он без контекста, это предиктивная сетка простая
BD
контекст неявный в виде уже изученного кода
FO
чтоб не городить шаблоны?
или использовать шаблоны по-умолчанию
или использовать шаблоны по-умолчанию
ну напишите свое надмножество над C++, который транпилируется в C++ с шаблонами
МБ
а кто-нибудь встречал статические типизируемые АОТ компилируемые языки со структурной эквивалентностью типов?
как пример
вот в DoSomething можно передать как и Foo так и Bar без использования обобщений или чего-то подобного
то есть по-русски функция принимает любой тип содержащий определенный набор полей
подойдут любые типы содержащие такие же поля
как пример
struct Foo {
public int a;
public int b;
}
struct Bar {
public int a;
public int b;
public int c;
}
void DoSomething(Foo f) { ... }вот в DoSomething можно передать как и Foo так и Bar без использования обобщений или чего-то подобного
то есть по-русски функция принимает любой тип содержащий определенный набор полей
подойдут любые типы содержащие такие же поля
Отчасти: Go, Scala, OCaml
BD
а кто-нибудь встречал статические типизируемые АОТ компилируемые языки со структурной эквивалентностью типов?
как пример
вот в DoSomething можно передать как и Foo так и Bar без использования обобщений или чего-то подобного
то есть по-русски функция принимает любой тип содержащий определенный набор полей
подойдут любые типы содержащие такие же поля
как пример
struct Foo {
public int a;
public int b;
}
struct Bar {
public int a;
public int b;
public int c;
}
void DoSomething(Foo f) { ... }вот в DoSomething можно передать как и Foo так и Bar без использования обобщений или чего-то подобного
то есть по-русски функция принимает любой тип содержащий определенный набор полей
подойдут любые типы содержащие такие же поля
где-то было что-то такое, Modula-3?
FO
Да и непонятен случай, если:
struct Foo {
public int a;
public int b;
public int d;
}
struct Bar {
public int a;
public int b;
public int c;
}
int DoSomething1(Foo f) { return f.a + f.b; } // correct
int DoSomething2(Foo f) { return f.a + f.d; } // incorrectOM
ну напишите свое надмножество над C++, который транпилируется в C++ с шаблонами
это понятно
интересно посмотреть на что-то готовое, если вообще существует
интересно посмотреть на что-то готовое, если вообще существует
BD
Да и непонятен случай, если:
struct Foo {
public int a;
public int b;
public int d;
}
struct Bar {
public int a;
public int b;
public int c;
}
int DoSomething1(Foo f) { return f.a + f.b; } // correct
int DoSomething2(Foo f) { return f.a + f.d; } // incorrectэто уже не структурно эквивалентно
YS
а кто-нибудь встречал статические типизируемые АОТ компилируемые языки со структурной эквивалентностью типов?
как пример
вот в DoSomething можно передать как и Foo так и Bar без использования обобщений или чего-то подобного
то есть по-русски функция принимает любой тип содержащий определенный набор полей
подойдут любые типы содержащие такие же поля
как пример
struct Foo {
public int a;
public int b;
}
struct Bar {
public int a;
public int b;
public int c;
}
void DoSomething(Foo f) { ... }вот в DoSomething можно передать как и Foo так и Bar без использования обобщений или чего-то подобного
то есть по-русски функция принимает любой тип содержащий определенный набор полей
подойдут любые типы содержащие такие же поля
вам нужны безымянные структуры или возможность бесплатно явно кастовать Foo <-> Bar?
OM
вам нужны безымянные структуры или возможность бесплатно явно кастовать Foo <-> Bar?
да, типа такого
YS
да, типа такого
типа одного или другого?
FO
это уже не структурно эквивалентно
а являются ли структурноэквивалентными следующие структуры?
struct Foo {
public int a;
public int b;
}
struct Bar {
public int b;
public int a;
public int c;
}OM
типа одного или другого?
второе*
YS
в Хаскеле безымянные структуры есть в библиотеках
OM
посмотрю
OM
а являются ли структурноэквивалентными следующие структуры?
struct Foo {
public int a;
public int b;
}
struct Bar {
public int b;
public int a;
public int c;
}вот такие случаи тоже интересны
по идее нужно считать эквивалетными
по идее нужно считать эквивалетными
OM
но при таком придется компилировать разные функции видимо?
оффсеты в памяти у полей будут различные
оффсеты в памяти у полей будут различные
FO
вот такие случаи тоже интересны
по идее нужно считать эквивалетными
по идее нужно считать эквивалетными
а я думаю ,что не эквивалентны, так как (простите за UB):
Foo f;-> верно, но
address(f.a[1]) == address(f.b)
Bar b;-> не верно
address(b.a[1]) != addess(b.b)