AT
Но когерентность гарантирована не будет, это да.
interface Monoid<A> { public A mempty(); ... } ?Size: a a a
2020 January 28
K
Нет, придётся отдельныи пареметом передавать vtable
МБ
Kir
Нет, придётся отдельныи пареметом передавать vtable
Зачем?
K
Потому что тайпкласс - это набор статических свойств типа. Он привязан не к объекту типа, а к самому (самим!) типам, реализующим этот тайпкласс. По сути - класс типов это пачка перегруженных функций.
K
В случае с вашим
Реализовано это как (на уровне Haskell Core) передача доп. параметров.
Monoid<A> на жаве, для того чтобы воспользоваться мктодом mempty, вам нужен объект типа A, для его вызова. А в хаскелле это просто mempty без аргументов - компилятор выведет.Реализовано это как (на уровне Haskell Core) передача доп. параметров.
МБ
Kir
Потому что тайпкласс - это набор статических свойств типа. Он привязан не к объекту типа, а к самому (самим!) типам, реализующим этот тайпкласс. По сути - класс типов это пачка перегруженных функций.
Нет. Вы кода пишете в сигнатуре функции
Class a => ... это рассахаривается в ClassDictionary a -> ... связывание динамическоеYS
interface Monoid<A> { public A mempty(); ... } ?да, только classmethod забыли
K
Нет. Вы кода пишете в сигнатуре функции
Class a => ... это рассахаривается в ClassDictionary a -> ... связывание динамическоеЯ что-то против сказал? Под статическим я имел ввиду модификатор
static из жавы, который не может появляться в интерфейсе.А
да вроде может же
А
только он будет собственно static
K
interface Monoid<A> { public static A mempty(); ... }?А
и ничем не поможет
МБ
Kir
Я что-то против сказал? Под статическим я имел ввиду модификатор
static из жавы, который не может появляться в интерфейсе.Чё-то я потерял нить рассуждений. В Haskell тоже не будет никакого
static.AV
Это не совсем верно, оно всё статически резолвится, и во многих случаях словари инлайнятся. Единственная причина почему оно передаётся динамически, чтобы не раздувать бесконечно код
МБ
Это не совсем верно, оно всё статически резолвится, и во многих случаях словари инлайнятся. Единственная причина почему оно передаётся динамически, чтобы не раздувать бесконечно код
И что? В Java тоже многое резолвится статически при компиляции
AV
Ну и бывают сложные случаи с вложенными типами, которые не известны на этапе компиляции, там то да точно динамическое
K
В жаве элеметами интерфейса являются методы (не-статические), в тайпклассе - это аналоги
public static ..., с перегрузкой.МБ
Kir
В жаве элеметами интерфейса являются методы (не-статические), в тайпклассе - это аналоги
public static ..., с перегрузкой.Кто Вам сказал? Haskell не мономорфный
МБ
Kir
В жаве элеметами интерфейса являются методы (не-статические), в тайпклассе - это аналоги
public static ..., с перегрузкой.https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/levity-pldi17.pdf - о том, как именно обстоят дела в Haskell с полиморфизмом.
YS
Kir
interface Monoid<A> { public static A mempty(); ... }?да, всё правильно. теперь переведите на свой язык
instance Functor (Either a)