The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Microsoft опубликовал Pyright, систему проверки типов для яз..., opennews (??), 24-Мрт-19, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


43. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +1 +/
Сообщение от Аноним (43), 24-Мрт-19, 14:04 
Хм, а зачем писать на языке с динамической типизацией, если потом  нужно подключать статику? Может кто просветить, какие реальные юзкейсы?
Ответить | Правка | Наверх | Cообщить модератору

44. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +/
Сообщение от Анонимус154 (?), 24-Мрт-19, 14:17 
Потому что набор типов, с которым работает какая-то функция или метод, в реальной жизни обычно ограничен. И тайпхинтинг здесь позволяет находить ошибки, когда в функцию, ожидающую на входе int, вдруг подают list.

Вообще, на Ютубе есть запись доклада Григория Петрова про тайпхинтинг, там все очень подробно и доступно изложено.

Ответить | Правка | Наверх | Cообщить модератору

45. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +/
Сообщение от anonymous (??), 24-Мрт-19, 14:27 
Что за бред ?
А почитать к примеру PEP484 не судьба что ли :(
Ответить | Правка | Наверх | Cообщить модератору

48. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +/
Сообщение от Анонимус154 (?), 24-Мрт-19, 14:39 
Так речь про PEP484 и идёт.
Ответить | Правка | Наверх | Cообщить модератору

54. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +/
Сообщение от anonymous (??), 24-Мрт-19, 15:28 
Ладно спрошу по другому. Если мы первый раз вызываем скрипт python, когда еще нет pyo почему сам интерпретатор не проверит это дело если мы в тексте указали все как нужно ?
Ответить | Правка | Наверх | Cообщить модератору

90. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +1 +/
Сообщение от анонимумуму (?), 24-Мрт-19, 22:23 
Потому что это не статическая типизация. Интерпретатор эту информацию просто отбрасывает. Эта информация используется статическими анализаторами вроде mypy, pyre, pyright и пр.
Ответить | Правка | Наверх | Cообщить модератору

137. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +/
Сообщение от Аноним (131), 25-Мрт-19, 20:50 
> Интерпретатор эту информацию просто отбрасывает

Так давайте разбираться в этом термине. Интерпритатор Python на самом деле транслятор и виртуальная мащина. У него есть две стадии компиляция (трансляция с языка Python в Python Bytecode) и вторая стадия интерпритация в вирутальной машине байткода.

Почему не ввести разновидность трансляции с проверкой типов, так называемую strict трансляцию. Напомню, что подобного рода трансляция (strict) есть в Visual Basic и JavaScript.

Ответить | Правка | Наверх | Cообщить модератору

46. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +3 +/
Сообщение от GreyFox (ok), 24-Мрт-19, 14:28 
Статика в Python не подключается, это не возможно. Типы аннотируются, т.е. указываются для статического анализа (можно сказать, что в виде мета информаций). В редакторе можно подсвечивать ошибки (к примеру при присваивании, при вызове функции, ...), статистический анализ как одна из стадии проверок в CI (непрерывной интеграции), можно использовать для валидации в реальном времени (удобнее описывать, идемпотентный код, ...), ...
В итоге писать код в реальных средних и больших проектах значительно удобнее. По той же причине аннотирование есть в Typescript
Ответить | Правка | К родителю #43 | Наверх | Cообщить модератору

67. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +3 +/
Сообщение от Аноним (67), 24-Мрт-19, 18:51 
А ещё удобнее было бы сразу писать на языке со статической типизацией.
Ответить | Правка | Наверх | Cообщить модератору

70. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +1 +/
Сообщение от Аноним (43), 24-Мрт-19, 19:13 
Вот да, этот вопрос меня и интересует больше всего. Если пишешь на динамике ради каких-тотее плюсов (скорость разработки и прототипирования?), то смысл в привлечении элементов отвергнутой статики. Совместить лучшее из двух миров?
Ответить | Правка | Наверх | Cообщить модератору

91. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  –1 +/
Сообщение от анонимумуму (?), 24-Мрт-19, 22:27 
Я давно хочу статически типизированный Python)
Ответить | Правка | К родителю #67 | Наверх | Cообщить модератору

98. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +1 +/
Сообщение от _ (??), 25-Мрт-19, 00:08 
Это только до тех пор, пока его и вправду не сделают. Правдо _это_ уже Питоном не будет :)
Но к тому времени у тебя появятся новые пи**тые идеи, не волнуйся. Работать снова будет некогда :)
Ответить | Правка | Наверх | Cообщить модератору

113. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +/
Сообщение от Vkni (ok), 25-Мрт-19, 07:58 
Ближе всего к этому Ocaml.
Ответить | Правка | К родителю #91 | Наверх | Cообщить модератору

80. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +2 +/
Сообщение от Аноним (38), 24-Мрт-19, 20:38 
Не зачем, а почему. Потому что до некоторых долго доходит, что на языке без статической типизации писать не стоит.
Ответить | Правка | К родителю #43 | Наверх | Cообщить модератору

99. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +/
Сообщение от _ (??), 25-Мрт-19, 00:09 
Смотря что, смотря для чего. Но чего это я? Раз Ыгспёрд сказал, то фсио ...
Ответить | Правка | Наверх | Cообщить модератору

105. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +/
Сообщение от cutlass (?), 25-Мрт-19, 02:17 
Баш норм и без нее
Ответить | Правка | К родителю #80 | Наверх | Cообщить модератору

143. "Microsoft опубликовал Pyright, систему проверки типов для яз..."  +/
Сообщение от Аноним (67), 26-Мрт-19, 11:00 
Так там и типов никаких нет кроме строк. Разве что массивы в 4 версии добавились.
Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру