Анна
Жгите :)
Nikolay
Nikolay
sendDocument возвращает SendDocumentReq
sendPhoto возвращает SendPhotoReq
Оба реализуют интерфейс IRequestBase<Message>
Должны ли они возвращать интерфейс?
Nikolay
Вся проблема, что экспрешн должен быть одного типа, а если результат сендов разный, то и иф и матч ну никак не угадают интерфейс
Так они не угадывают даже если им подсказать) Нужен каст
Hog
Какой тип второго параметра execute?
Nikolay
А
Hog
Контекст и ?
Nikolay
Анна
sendDocument возвращает SendDocumentReq
sendPhoto возвращает SendPhotoReq
Оба реализуют интерфейс IRequestBase<Message>
Должны ли они возвращать интерфейс?
чот я туго соображаю с утра :) сейчас попробую врубиться
Анна
@Dolfik ты хочешь чтобы у тебя там типы сами красиво вывелись?
Hog
Вот это сенды и должны возвращать :)
Hog
Всех с днём знаний!
Nikolay
И есть второе подозрение, интерфейсы это не функциональненько, из-за этого проблемы
Hog
Вечером вашим посмотрю - до чего додумались :)
Nikolay
Но я хз работает полиморфизм в фп
Hog
Это ж дотнет :)
Анна
Оно с выводом типов может плохо дружить
Анна
ещё там value restriction наш любимый мог всплыть
Анна
Nikolay
Тут либо интерфейс возвращать, либо кастить
Nikolay
Но опять же, сработает, если тип будет:
IRequestBase<Message>
а если у второго будет
IRequestBase<User>
то не прокатит
Nikolay
И это плохо
Nikolay
Так как мне по сути generic не важен
Анна
должен же subtyping работать
Nikolay
Хотя не, это же возвращаемый тип
Nikolay
Иначе не получится)
Анна
Но опять же, сработает, если тип будет:
IRequestBase<Message>
а если у второго будет
IRequestBase<User>
то не прокатит
надо общий параметр у дженерика сделать наверное
Hog
IRB<M> и IRB<U> никак между собой не связаны
Nikolay
Мне нравится как в typescript сделано
Hog
Они ж не в иерархии
Hog
Можно
Hog
Тогда понятно, какой тип возвращать, да? :)
Nikolay
Где наши заядлые фшарписты?
Nikolay
@fvnever вызываю тебя
Dr. Friedrich
Хто тут!
Анна
Я себя чувствую покемоном
Nikolay
Посмотри)
Анна
Dr. Friedrich
sendDocument возвращает SendDocumentReq
sendPhoto возвращает SendPhotoReq
Оба реализуют интерфейс IRequestBase<Message>
Должны ли они возвращать интерфейс?
Не должны. Всегда принимай максимально общий тип, а возвращай максимально конкретный!
Nikolay
А как пофиксить ту ситуацию, что на скрине?
Nikolay
Эту
Nikolay
Dr. Friedrich
Ну я понял, тебе ковариация функций нужна.
Dr. Friedrich
В сишорпе бы это заработало!
Nikolay
Может другой подход к полиморфизму здесь нужен?
Анна
Nikolay
Есть идея какую-нибудь функцию написать, которая кастить будет 🤔
Анна
Нет, не очень нужен.
я тут поняла, что я упустила вообще из виду, как в F# с сабтайпингом. Дыра!
Nikolay
я тут поняла, что я упустила вообще из виду, как в F# с сабтайпингом. Дыра!
Не дыра, а не нужен
Nikolay
А в Reason тоже?
Анна
прям не язык, а каток: всех укатает!
Nikolay
@gsomix ты со мной не разговариваешь? :)
Анна
И полиморфные варианты!
моего мини-курса не хватит, чтобы всё это студентам рассказать. И головы моей дырявой не хватит 🙈
gsomix
@AnutaU Только вариантность в OCaml — настолько популярная фича, что я даже синтаксис не знаю. :)
Анна
надо идти ботанить опять, а некогда 😭
Анна
Крылатый
А, ок) Корейский ведь?
Анна
А, ок) Корейский ведь?
да. Кстати, если запариться подбором иероглифов по написанию, то так будет читаться "спокойное-ленивое" 😂 Ну как один из вариантов
Крылатый
Лол, прикольно)