Публикации по теме 'polymorphism'
Поговорим об УПС!
В нескольких корпоративных собеседованиях основной график вопросов выглядит примерно так:
Интервьюер: «Вы знаете о OOPS?»
Кандидат: «Да, я знаю».
Опрашивающий: «Дайте мне базовое определение основных понятий, таких как класс, объект и т. Д.»
Кандидат начинает определять все концепции одну за другой, затем пытается привести несколько примеров. Но, наконец:
Опрашивающий: «Я хочу правильное определение».
Лучше всего то, что кандидат знает все, и в то же время хуже всего то, что он..
Вопросы по теме 'polymorphism'
Разбираемся с Lift и Setω и вхождениями переменных в выражения
В предыдущем вопросе у меня были типы для игрушечного языка
data Type : Set where
Nat : Type
Prp : Type
Я думал интерпретировать их, используя непересекающийся союз Type → Set ⊎ Set₁ , но подумал, что лучше всего будет поднять...
73 просмотров
schedule
23.03.2024