EG
Ну я показывал тривиальнейшие примеры на идрисе, которые не компилируются, потому что идрис тупой
Size: a a a
2021 February 19
IL
Да вроде умные
Duck-typing они выражают плохо, громоздко, и вообще не всегда всё можно выразить. Феномен Duck-typing же нельзя тоже исключать
ΑZ
Duck-typing они выражают плохо, громоздко, и вообще не всегда всё можно выразить. Феномен Duck-typing же нельзя тоже исключать
дак тайпинг не нужен если у тебя есть тайпклассы
p
Duck-typing они выражают плохо, громоздко, и вообще не всегда всё можно выразить. Феномен Duck-typing же нельзя тоже исключать
Зачем нужен дак тайпинг то
KR
Ну наконец-то, хотя бы срёмся за типы, а не гео-политику ❤️
p
дак тайпинг не нужен если у тебя есть тайпклассы
Да
ΑZ
потому что вся история дактайпинга - "ой мы не умеем объявлять интефрейсы для чужих типов"
EG
Duck-typing они выражают плохо, громоздко, и вообще не всегда всё можно выразить. Феномен Duck-typing же нельзя тоже исключать
Duck typing называется «структурные интерфейсы» в цивилизованном мире
IL
дак тайпинг не нужен если у тебя есть тайпклассы
На них не всё выразишь
ΑZ
На них не всё выразишь
например?
EG
И кое-где есть, в том же mypy или TS
p
И кое-где есть, в том же mypy или TS
или в го
EG
Но в целом на номинативных интерфейсах, то бишь трейтах/тайпклассах, можно довольно неплохо жить
EG
или в го
В го динамическая типизация во всех смыслах, которые имеют значение
p
В го динамическая типизация во всех смыслах, которые имеют значение
там есть структурные интерфейсы же
EG
там есть структурные интерфейсы же
Типа да
IL
например?
То что я не ввел тайпкласс не значит, что мой объект по факту не выполняет некий интерфейс. Более того, понять, что он его выполняет можно было бы даже в компил-тайме. Просто современные системы типов этого как бы не делают
p
interface { fun do_some() void; }
EG
Но на практике ты везде кидаешься пустыми интерфейсами, которые те же Any
ΑZ
То что я не ввел тайпкласс не значит, что мой объект по факту не выполняет некий интерфейс. Более того, понять, что он его выполняет можно было бы даже в компил-тайме. Просто современные системы типов этого как бы не делают
ну так ты не ввел - другой человек введет. Свой тайпкласс для твоего типа. И опишет этот самый интерфейс