Хочется странного: типизированный питон

Cython

mypy - подобное ищете?

Что-то такое начали делать в 3.6, но как там сейчас дела - надо смотреть. Всё же python это duck-typing язык.

Тайп хинтов хватит всем.

Нет, нету. Бери хацкелл.

Тайп хинтов хватит всем.

Да, как тайп хинты, но это полумеры.

https://crystal-lang.org/ не питон, а руби. но типизированный

Почему? Пишешь с тайпхинтами, прогоняешь через mypy

Почему? Пишешь с тайпхинтами, прогоняешь через mypy

Ну потому что, например, в одном из проектов, в котором нет задокументированного кодстайла, я уже цапался с одним товарищем из-за того, что я пишу в соответствии с PEP8, а в проекте так не принято... хотя, чёрт знает, что вообще там принято. Если в таких случаях ещё пытаться навязывать типизацию... Всем же плевать всегда, понимаешь? Все пишут типа без ошибок. Потому всякие стандарты разработки, тайпхинты, тесты - это не для них. А язык, в котором типизация гвоздями прибита - как бы обязывает.

Всё же python это duck-typing язык.

duck-typing и статика это ортогональные вещи. Можно проверять интерфейс объекта статически. Во многих языках так и делают

В таких случаях тебя и статика не спасет, найдут другой способ выстрелить в ногу. Как в свою так и в твою.

подожди 3.8 или 3.9, если не бросят, то хинтинг допилят. а пока полагайся на ide, если уж невмоготу

Хочу питон со строгой статической типизацией. Есть ли такое нынче в природе?

Определи, что такое «питон» для тебя. Объектная система? Структурная (утиная) типизация? Наличие опредленных батереек, библиотек? Наличие BDFL?

Golang

Такой же порог входа (если не ниже), но статическая типизация.

Тайп хинтов хватит всем.

Doxygen не переваривает их.

У Golang другое назначение. Незачем его советовать кому попало - он и так становится всё более модным, так что плохие программисты, которые сейчас пользуются яPython-ом, и без советов начнут программировать на Go... и тоже плохо, несмотря на статическую типизацию.

я уже цапался с одним товарищем из-за того, что я пишу в соответствии с PEP8, а в проекте так не принято...

То есть ты не можешь заставить одного коллегу писать нормальный код, но надеешься весь проект разом перевести на другой язык? Тебе не кажется что в твоей логике есть неисправимая поломка?

Потому всякие стандарты разработки, тайпхинты, тесты - это не для них.

Покажите мне язык который заставляет писать тесты? Если в проекте принято говнокодить, то смена языка тут уже не поможет.

ага 100%-ое покрытие, ооп ради ооп, java-style

Go

То есть ты не можешь заставить одного коллегу писать нормальный код, но надеешься весь проект разом перевести на другой язык? Тебе не кажется что в твоей логике есть неисправимая поломка?

Я вообще не собираюсь никого заставлять переходить на другой язык. Случай с тем проектом - всего-лишь один из кирпичиков в моём опыте, который подтолкнул к мысли, спросить, а есть ли такой язык.

Погляди на Groovy. Ничего ближе него и Cython ты не найдёшь. А так, статичное ООП — Java.

Все приличные люди потихоньку переходят с питона на няшную растишечку. Ты смотри, а то засидишься, лол.

В Пичальм завезли уже давно поддержку тайпхитнов, она не только работает, но даже это делает хорошо. Конечно до mypy ещё очень далеко, то темнеменее...

mypy, естественно.

Хочу питон со строгой статической типизацией.

Нет, не хочешь.

Все хотят.

Нет.

Идея: взять питон, выкачать из всяких википедий перечисленное по ссылке «список языков программирования», для каждого разбить описание на слова, удалить из питонских «dynamic, duck», и наоборот добавить «static» и отсортировать все в порядке убывания вероятности наличия слов из модифицированного питонского.

Хочу питон со строгой статической типизацией. Есть ли такое нынче в природе?

Boo.

Если не требуется именно Питон, то ассоциативно к нему близок Go.

В обоих языках типизация строгая, статическая, но утиная.

https://docs.python.org/3/library/typing.html

Boo

Оно разве живое?

Не знаю, понятие живости релативно :)

https://github.com/boo-lang/boo

Latest commit 5e5cbb5 on 18 Jul

Тайп хинтов хватит всем.

мне не хватило

Так-то вообще годнота, но мне казалось, что оно давно сдохло.

В таких случаях тебя и статика не спасет

со статикой хотя бы кодить приятнее

Врешь, даже Гвидо хочет.

Я сам его тоже полноценно не шупал, только тесты погонял, вот и запомнилось.

Жаждем подробностей.

У Golang другое назначение.

интересно. можно подробнее?

Жаждем подробностей.

имею опыт поддержки большого и долгоиграющего проекта. рефакторинг когда-то неправильно принятых решений - ни чем не лучше чем в js или php.. дык js хотя бы развивается и более-менее портативен, благодаря своему простому синтаксису.. а вот Питон, со своими срачами в коммунити - выглядит опасно-перспективно.

Врешь, даже Гвидо хочет.

теперь у него появилась возможность исправить ошибку. есть там какие подвижки в эту сторону?

https://www.youtube.com/watch?v=GiZKuyLKvAA

статическую типизацию

interface{} - это статическая типизация?

interface{}

вполне определённый тип, между прочим. и во многих случаях можно обойтись без него.

вполне определённый тип, между прочим. и во многих случаях можно обойтись без него.

Статическая типизация уровня void*

Ocaml. Приятный такой, почти что F#.

Нету. Увы. Сам ищу.

Статическая типизация уровня void*

что вам нужно знать про `interface{}`

https://golang.org/ref/spec#Interface_types
https://golang.org/ref/spec#TypeSwitchStmt
https://golang.org/pkg/reflect/

то что это далеко не `void *`

Собственно, весь mypy.

Врешь, даже Гвидо хочет.

Так он же вроде отошёл от дел? Или нет?

Как его уход с поста BDFL мешает ему хотеть и/или продолжать пилить mypy? Скорее логичнее наоборот.