ЕС
Само собой, что для какого-то подмножества языка вывод типов можно будет сделать, но всегда будут термы, для которых тип надо будет явно указать
И выше был указан тип)
x: myOtherFunc (myFunc x) 10Size: a a a
2020 June 10
ЕС
а какой констрейнт должен быть у
Вот здесь тип присутствует вполне.
AZ
Спасибо, я лучше займусь более полезным делом. Когда поймёте как выводить типы можно будет поговорить. До тех пор самым лучшим языком будет питон.
лол, питон это говно говна
AZ
идрис конечно не идеален
AZ
но можно взять тупо любой яп и он будет лучше питона
AZ
хаскель, скала, шарп, джава, голанг
ЕС
А посчитать конкретное множество, если нужно, можно подставив тип в качестве аргумента и выполнив функцию не от значения а от типа.
ЕС
но можно взять тупо любой яп и он будет лучше питона
Пока что можно взять любой яп и питон будет лучше него.
ЕС
Не считая производительности, по очевидным причинам.
AZ
питон может нравится только мазохистам хз
AZ
даже жс лучше
ЕС
Убери отсюда это убожество с прототипами пожалуйста
AZ
там классы обычные уже завезли давно
DS
Пока что можно взять любой яп и питон будет лучше него.
Лол, вот бы считать питон хорошим, с учётом его странных скоупов, ерунды с приватными и специальными методами и т.п. костылей, которых понапихано вообще везде
DS
Но для скриптов он ничего, это да
ЕС
Лол, вот бы считать питон хорошим, с учётом его странных скоупов, ерунды с приватными и специальными методами и т.п. костылей, которых понапихано вообще везде
Скоупы отличные, самые лучшие скоупы. Приватные методы делаются через __ в начале имени метода.
DS
Скоупы отличные, самые лучшие скоупы. Приватные методы делаются через __ в начале имени метода.
Речь как раз о том, что __ - это смотрится костылем полным
ЕС
Речь как раз о том, что __ - это смотрится костылем полным
Вполне нормальное решение. Чем вам не нравится?
G
Лол