p
Т-34 85
Что такое "абстрактные методы"? Виртуальные?
Те которые необходимо реализовать при реализации интерыейса
Size: a a a
2020 March 03
Т8
Те которые необходимо реализовать при реализации интерыейса
Да забей на них, это не главное
Т8
Лишь бы виртуальные были
p
В питоне нет виртуальнвх методов
p
Они не нужны таи
Т8
Не только. Ещё для него должно быть доступно множественное наследование.
Да, но пока опустим
Т8
В питоне нет виртуальнвх методов
В питоне нет полиморфизма подтипов???
p
Т-34 85
В питоне нет полиморфизма подтипов???
Какой полиморфизм, динамическая типизация
Т8
Какой полиморфизм, динамическая типизация
И что?
p
Т-34 85
И что?
Там ты типы не указываешь
λ
В общем-то есть дешёвый вариант сделать опциональные параметры, но только для валуе типов: вводим в систему типов новый тип, который скрыт от пользователя OptParam, который по форме соответствует Option. Опциональные параметры выражаются таким типом. При передаче параметра соответственно значение инстанцируется, тем, что передали, а если параметр не передали, то функция сама инстанцирует параметр.
Т8
Там ты типы не указываешь
Так в рантайме-то они известны
λ
Т-34 85
И что?
Там всего один тип для всего
Т8
Там всего один тип для всего
Ерунда
p
Т-34 85
Так в рантайме-то они известны
И что?
λ
Т-34 85
Так в рантайме-то они известны
Это не типы с т.з. теории типов
Т8
И что?
Вот там вполне должно работать
V
Тоесть будет t-r & t*o->r
Считаю что так ок. Не смог придумать пример с функцией, куда мы захотим мой пример передать
(псевдокод)
(псевдокод)
Т8
Это не типы с т.з. теории типов
Да плевать, главное, что похоже
λ
Считаю что так ок. Не смог придумать пример с функцией, куда мы захотим мой пример передать
(псевдокод)
(псевдокод)
Как это в машинный код будет генерироваться?