MK
Size: a a a
2020 March 26
YV
Зато типы есть! Сиай зелёный!
Ага ))
MV
Потому что рекурсивных типов нет
MV
А могут ли они вообще быть по определению - большой вопрос
E
А зачем тебе такое?
Это n-массив так описывается, такую конструкцию можно передать в numpy.array и он сконструирует 1,2,3-мерный массив соответственно для моего примера. То есть программа умеет принимать на вход нечто array-like, но это точно не List[Any], а список чисел или список списков чисел или... ну и т.д.
E
А могут ли они вообще быть по определению - большой вопрос
MK
Можно попробовать сделать Union достаточной глубины
E
Можно попробовать сделать Union достаточной глубины
да я тоже так думаю, сделать до какого-то некоторого N. Но аннотация типа в подсказке или в доке развернётся в нечитаемое нечто :)
MK
да я тоже так думаю, сделать до какого-то некоторого N. Но аннотация типа в подсказке или в доке развернётся в нечитаемое нечто :)
Это правда, конечно)
MK
Но кажется другого пути пока нет
E
Ну я видел эту ишью, на самом деле
Ну вот они там что-то обсуждают, issue не мертвое и его не закрыли, может быть и сделают какой-то костыль для таких случаев. Так то понятно, что в статически-типизированных языках тоже нет рекурсивных типов. По крайней мере в тех, которые я знаю :)
MK
Мало ты языков знаешь, значит ;)
MK
Я каждый день пишу на языке с ними
MK
И джсон кстати отлично мапится
E
Я даже знаю о чём ты :)
MV
Ну вот они там что-то обсуждают, issue не мертвое и его не закрыли, может быть и сделают какой-то костыль для таких случаев. Так то понятно, что в статически-типизированных языках тоже нет рекурсивных типов. По крайней мере в тех, которые я знаю :)
> Может быть
MK
Да и в плюсах же можно класс сам в себя по указателю вложить
E
Да и в плюсах же можно класс сам в себя по указателю вложить
Да можно конечно, и в Rust можно немного по-другому, но я не знаю как это ложится на всякие теории типов и как там теоретически это описывается.