A
Посмотри на свой пример, который ты первым кинул и к которому я прикопался. И попытайся, например, реализовать его тело.
Size: a a a
2020 July 27
АГ
они призваны заменить плейсхолдеры типов на какие-то конкретные типы. в пхп все динамическое... зачем это в пхп, если есть интерфейсы, никак не догоню... сигнатура сигнатурой, но в коде же будет подразумеваться, что с этими переменными что-то делается... ну тут разве что для скалярных типов это применимо... но ведь можно же обернуть классом...
A
они призваны заменить плейсхолдеры типов на какие-то конкретные типы. в пхп все динамическое... зачем это в пхп, если есть интерфейсы, никак не догоню... сигнатура сигнатурой, но в коде же будет подразумеваться, что с этими переменными что-то делается... ну тут разве что для скалярных типов это применимо... но ведь можно же обернуть классом...
Объясняю. Типы нужны чтобы до запуска программы проверить, что программа удовлетворяет неким условиям. И отбросить заведомо некорректную программу.
SP
они призваны заменить плейсхолдеры типов на какие-то конкретные типы. в пхп все динамическое... зачем это в пхп, если есть интерфейсы, никак не догоню... сигнатура сигнатурой, но в коде же будет подразумеваться, что с этими переменными что-то делается... ну тут разве что для скалярных типов это применимо... но ведь можно же обернуть классом...
interface Foo {
public function bark(object $obj): array;
}
class MyFoo implements Foo {
public function bark(MyClass $obj): array;
}
что будет?A
вот тебе any any
в этом примере с мапом у тебя тип получается [a] -> ( a -> b) -> [b] и это имеет смысл.
А первый пример был с типом a -> b
А первый пример был с типом a -> b
SP
в этом примере с мапом у тебя тип получается [a] -> ( a -> b) -> [b] и это имеет смысл.
А первый пример был с типом a -> b
А первый пример был с типом a -> b
function post<T, R>(data: T): Promise<R> {}SP
в таком смысл есть?
SP
тут же тоже a -> b
АГ
interface Foo {
public function bark(object $obj): array;
}
class MyFoo implements Foo {
public function bark(MyClass $obj): array;
}
что будет?будет ошибка несоответствия сигнатур?
АГ
в целом не вижу тут проблемы, т.к. MyClass это object (ковариантен)
SP
будет ошибка несоответствия сигнатур?
вот. И как ты прикажешь сделать автору фреймворка интерфейс который нельзя менять и который позволяет пользователю библиотеки свой тип подставить?
A
в таком смысл есть?
Окей. Предположим ты написал функцию с такой сигнатурой. И даже сделал для нее реализацию.
У меня есть код $result = post('some string);
Какой-тип в результате должен быть у $result?
У меня есть код $result = post('some string);
Какой-тип в результате должен быть у $result?
АГ
просто интерфейс требует более общий тип, а тут получается что этот класс уже нельзя будет использовать как реализацию этого интерфейса, т.к. он требует более конкретного типа, чем подразумевается интерфейсом
SP
Окей. Предположим ты написал функцию с такой сигнатурой. И даже сделал для нее реализацию.
У меня есть код $result = post('some string);
Какой-тип в результате должен быть у $result?
У меня есть код $result = post('some string);
Какой-тип в результате должен быть у $result?
ладно, понял... туплю
SP
просто интерфейс требует более общий тип, а тут получается что этот класс уже нельзя будет использовать как реализацию этого интерфейса, т.к. он требует более конкретного типа, чем подразумевается интерфейсом
"аргументы в наследнике могут быть шире чем в паренте но не наоборот, а вот тип возвращаемого значения всегда должен быть уже". Так завещала бабушка Лисков и ее принцип подстановки
SP
еще это называется robustness principle
АГ
вот. И как ты прикажешь сделать автору фреймворка интерфейс который нельзя менять и который позволяет пользователю библиотеки свой тип подставить?
что мешает реализовать интерфейс, и сунуть объект этого класса туда, где требуется некая реализация этого интерфейса? не пойму в чем проблема...
SP
> Be conservative in what you do, be liberal in what you accept from others (often reworded as "Be conservative in what you send, be liberal in what you accept").
SP
что мешает реализовать интерфейс, и сунуть объект этого класса туда, где требуется некая реализация этого интерфейса? не пойму в чем проблема...
покажи как это будет выглядеть
SP
ибо мне кажется что у тебя выйдет свой
object который ничего конкретного не говорит