K
я либо проводные, либо гарнитуру юзаю обычно
Size: a a a
2021 June 05
t
А мне эти серёжки не нравятся, да
t
Лезут и лезут...
A
Сраные боты
Dv
Большинство бот убивает.
FO
Santos, код покажи
Dv
И это я ещё не добрался до, собственно, основных пиксельных данных. А у них уже копец какой-то. Там добавь единицу, тут не добавляй. Там X, Y, а тут Y, X.
💮
Интерфейсы динамически диспатчеризуются по нулевому аргументу (aka this) у методов, а тайпклассы — могут и статически, и тип у методов может быть любой, лишь бы параметр встречался.
💮
Как бы выглядел интерфейс Monoid в Java? С такими методами:
mempty :: a
mappend :: a -> a -> ac
Minoru
какой-то дженерик-интерфейс с `public static T mempty()` и что-то типа `T mappend(T t)`, я думаю
какой-то дженерик-интерфейс с `public static T mempty()` и что-то типа `T mappend(T t)`, я думаю
Dv
Ну, допустим, вот так:
interface Monoid<T> {
T mempty();
T mappend(T a, T b);
}Dv
Я не уверен, что там уже разрешили статик методы в интерфейсах. А если и да, то они работают совсем не так, как нам нужно для решения данной задачи.
Dv
Кажется, что наиболее популярное в ООП-мире решение предполагает, что «моноид» является отдельным инстансом, и передаётся в методы вместе с объектами, над которыми ему предстоит работать.
💮
Хм, мои представления о джаве были ошибочными.
c
Minoru
пишут, что начиная с Java 8 можно писать static внутри interface: https://www.journaldev.com/2752/java-8-interface-changes-static-method-default-method Но да, оно делает не то: я хотел, чтобы метод стал обычной функцией, не требующей this (как это происходит в C++), а оно просто запрещает переопределять метод, насколько я понял
пишут, что начиная с Java 8 можно писать static внутри interface: https://www.journaldev.com/2752/java-8-interface-changes-static-method-default-method Но да, оно делает не то: я хотел, чтобы метод стал обычной функцией, не требующей this (как это происходит в C++), а оно просто запрещает переопределять метод, насколько я понял
Dv
Это просто статик метод, как в классах
Dv
С реализацией, которую нельзя переопределить
c
Minoru
а, гм, в плюсах тоже нельзя переопредить статический метод класса… Я об этом никогда не задумывался, для меня всегда ключевым свойством было отсутствие в этом методе this
а, гм, в плюсах тоже нельзя переопредить статический метод класса… Я об этом никогда не задумывался, для меня всегда ключевым свойством было отсутствие в этом методе this
t
я про default методы говорил в интерфейсах