Oℕ
Чтобы знала, что вернуть в случае пустого списка для любого типа, реализующего протокол
Size: a a a
2020 December 30
VD
Походу надо конпелятор уже доставать и проверять прям. Из головы не получается сформулировать 🤔
A
пора
VD
Интересно, а на линух есть обжц или не
VD
Чистить место и качать 30 гигов на макпуке как-то не хочется.
к
а можно просто засунуть реализацию протокола в значение?
VD
Ага, шланг вроде должен уметь, без стандартных либ обойдусь пока.
к
data Instance c = c => Has
к
ну в objc или про что вы
Oℕ
Реализации протокола и так в значения засунуты
Oℕ
Куда же ещё их совать
VD
а можно просто засунуть реализацию протокола в значение?
В смысле значение с типом "хз что это, но умеет протокол Х"?
к
нет, зачем значение
к
без значения, просто набор функций
к
вон выше я дал пример же
к
на хаскеле правда
VD
Я в примере ничего не понял :(
к
data Instance c = c => Has
f :: Instance (Show a) -> a -> String
f Has x = show x
main = do
print Has 10
print Has True
f :: Instance (Show a) -> a -> String
f Has x = show x
main = do
print Has 10
print Has True
Oℕ
так в оопе значение таскает с собой словарь функций
Oℕ
хочешь без данных - делаешь значение бессмысленным