A
это уже детали реализации
Size: a a a
2021 November 09
MK
В лиспе макросами можно подпилить язык под любую парадигму (даже ту, что ещё не появилась, но появится в будущем), в целом возможность подобным лиспу образом расширять язык далеко не у всех языков есть.
EV
А есть ли, кстати, макросы для опциональной проверки типов? (как в Python'е)
Aß
у ракета есть
Aß
если ты про елсип, то есть для неопциональной
EV
Да.
А что значит неопциональная? Чтобы везде их указывать? 🤔
А что значит неопциональная? Чтобы везде их указывать? 🤔
АД
А что значит опциональная проверка типа? Типо можно проверять, а можено не проверять? :р
Aß
а, в этом плане, я думал чтобы включать отключать можно было
EV
Да.
Ну и на такой код
from typing import ListУ
def a(x: List[int], y):
print(map(str, x), y)
a(99, 5)
x тип указан, у y — нет.Ну и на такой код
mypy ругнётся:sample_types.py:6: error: Argument 1 to "a" has incompatible type "int"; expected "List[int]"
Aß
cl-check-type
Aß
но он проверяет и в рантайме
ДП
самый лучший тайпинг это gradual
ДП
Хотя опциональная проверка типов это типо software defined typing как понимаю.
VL
Так это когда чек происходит? В рантайме?
AS
если я правильно помню то нигде. тайпхинты только для линтеров
VL
VL
Sbcl умеет в такое и многое другое
EV
Не, линтером.
В рантайме Python в типы не умеет. Там же утиная типизация.
В рантайме Python в типы не умеет. Там же утиная типизация.
A
питон умеет в типы в рантайме
SZ
flake8-mypy