CC
Ну если я хочу множество упорядоченных множеств кортежей из множеств
Size: a a a
2020 May 21
CD
Они же могут вкладываться?
ну
student : class {
grade : int [ serialize-type: invoke [ name = doSerializeGrade ]]
}
student : class {
grade : int [ serialize-type: invoke [ name = doSerializeGrade ]]
}
CC
ну
student : class {
grade : int [ serialize-type: invoke [ name = doSerializeGrade ]]
}
student : class {
grade : int [ serialize-type: invoke [ name = doSerializeGrade ]]
}
Заебись
CD
правда такая конструкция в xml не переводится
CC
Похуй на хмл
CD
в xml может быть только строковый атрибут
CD
у меня пока две проблемы
CC
не совсем
O
Ну вот смотри, тот самый пример с плюсовыми концептами и
requires(T a, T b) {
{ a + b } -> T, //можно складывать
//a + b == b + a //такого нет, но хочу
}
requires(T a, T b) {
{ a + b } -> T, //можно складывать
//a + b == b + a //такого нет, но хочу
}
А это не из разряда зависимых типов уже?
CD
educate: function(teacher : teacher-type) [ return = void ]
CD
первая
CD
как размечать возврат функции
CC
в xml может быть только строковый атрибут
У тебя информация описывается как строка
CC
но внутри строки может лежать че угодно
CD
У тебя информация описывается как строка
ну я могу досериализовать, да
O
Я вижу одну самую существенную проблему в макросах (по крайней мере в Си и Rust): они не описывают своим интерфейсом пред и постусловия, из-за чего либо непонятно как их использовать бывает, либо вообще ошибки описываются как последствия, а не как причины
Вот, не понимаю, почему в Rust решили прогуляться по тем же граблям, но чуть более элегантно...
CD
могу еще вот так сделать
G
Вот, не понимаю, почему в Rust решили прогуляться по тем же граблям, но чуть более элегантно...
++
CC
educate: function(teacher : teacher-type) [ return = void ]
Что я вижу, зарезервированное слово?)
CC
Господин решил функции сериализовать?