EG
Не настолько полноценные, как в Idris, конечно, но в Rust зависимых типов нет ни в каком виде.
class MyClass(object):
def __init__(self, i_var):
self.i_var = i_var
a = MyClass(10);
print(a.i_var)
a.i_var = "boo";
print(a.i_var)Size: a a a
2020 March 03
AZ
EG
Нужно замутить ФП на питоне с mypy
Гугли dry-python/returns
DF
В расте есть конст женерики
AZ
i_var тоже any
EG
Dollar Føølish
В расте есть конст женерики
В расте нет конст дженериков и они тебя не спасают.
p
i_var тоже any
Union[int, str]
EG
Union[int, str]
Не существует в рантайме, не засчитывается.
p
Ок, конкретно здесь any
EG
Много где Any. Поэтому нужен mypy.
AZ
Ок, конкретно здесь any
короч суть в том как раз, что где не возьмись, в итоге у тебя почти везде any. А у any гарантий особо никаких. Чем и опасно
AZ
поэтому торт и говорил про монотип
AZ
у литералов примитивных типов типы видимо есть (точнее думаю, их нет, но это поведение ненаблюдаемо), но это очень мало
p
короч суть в том как раз, что где не возьмись, в итоге у тебя почти везде any. А у any гарантий особо никаких. Чем и опасно
class MyClass(object):
def init(self, i_var):
self.i_var = i_var
a = MyClass(10);
print(a.i_var)
Здесь i_var: int
def init(self, i_var):
self.i_var = i_var
a = MyClass(10);
print(a.i_var)
Здесь i_var: int
DF
Ну я монотиповые языки просто бестиповыми называю
DF
Питон жс и тп
p
Тогда Раст монотиповыц
p
Есть Any
p
А в шарпе object
EG
У меня что-то
cargo clippy перестаёт работать постоянно.