170 похожих чатов

Изи. Система типов. Где type class? Что за слабые интерфейсы?

7 ответов

5 просмотров

что за набор символов? еще более конкретнее давай

Alexander-Zalutskiy Автор вопроса
Sky Dreams
что за набор символов? еще более конкретнее давай

Оке. Простой пример. Есть абстрактный тип Functor<T>. У него есть метод fmap. Я хочу чтобы он возвращал на уровне типов тот же тип у которого я вызвал этот метод, а не тип Functor<Z>. Вызвал метод fmap у ArrayList, получил ArrayList и так далее

Alexander Zalutskiy
Оке. Простой пример. Есть абстрактный тип Functor<...

что мешает сделать и метод дженериковым?

Alexander-Zalutskiy Автор вопроса
Sky Dreams
что мешает сделать и метод дженериковым?

И как ты это разрушишь?) давай. Сделай мне такой интерфейс и класс у него. Если что fmap принимает T->Z

Alexander-Zalutskiy Автор вопроса
Sky Dreams
то интерфейс то абстракт

От абстракта надо наследоваться. Множественного наследования нет. Поэтому интерфейс

Alexander-Zalutskiy Автор вопроса

Так это вообще не то

Похожие вопросы

Обсуждают сегодня

Anyone here suffers from unexplained aural migraines, who would be up for talking for a bit? Doesn't *have* to be aural, but I am not asking about headaches, I mean actual mi...
Martin Rys
55
подскажите пожалуйста, как мне освободить результат записанный в переменную result? в чем проблема подскажите если МОЖЕТЕ?
Михаил Helper
28
кто-то пользуется компонентами rx ? как их лучше ставить, через OPM? (lazarus)
Iluha Companets
10
есть тут кто-то , кто только начал изучать си? если проходите курс на степике или как-то сами изучаете, пишите, может, скооперируемся?..
Eule
25
Слушайте, ещё такая интересная задачка. Сделан аудит действий пользователей через триггеры в базе, соответственно каждый пользователь имеет свой логин и пароль в базе. Это пре...
Сергей Бычков
12
Скажите, тут нет проблемы? IMyInterface1 = interface function GetInterface2: IInterface2; ... function TMyInterface.GetInterface2: IInterface2; begin Result := TI...
Ruslan aka DUDE
18
вопрос по москвину - не понимаю вот такого вопроса похоже Сколько разных всегда завершающихся функций с типом a -> a -> b -> a -> a можно реализовать? Две функции одинаково...
Fedor
11
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Кстати, раз про скачивание файлов разговор зашел) Сделал бота для себя (транскрибирующего и суммаризирующего встречи) но не ожидал что за 2 месяца 10к пользователей набежит😅...
Andrey Obolenskiy
8
что, сложно ифдеф на версию компилятора сделать?
Iluha Companets
6
Карта сайта