p
Кстати у меня появился вопрос относительно map'a. Какова вот эта залупа (А<Т>, (T) -> L) -> A<L> считается не unsound?
А почему должна считаться лол?
Size: a a a
2020 May 10
p
Ты похожу не понимаешь значения слова unsound
p
Почему всем так хочется скинуть мемы из профунктора?
p
Все кто хотят там уже сидят
o
ой фсо
S
А почему должна считаться лол?
Потому-то это невозможно обобщить, знал?
S
Очевидно же что для коллекций и других типов разная имплементация будет, тогда какой в этом смысл
JC
Унификация интерфейса
JC
Саму map обобщить нельзя, зато функции которые ее используют можно
JC
Но вообще soundness это ж про другое вроде
S
Разве саунднесс != корректность
S
?
JC
А при чем тут корректность к невозможности обобщения
S
В том что зачем мап третьего порядка если она не работает
G
ill-defined - судя по всему, нетайпчекнутая или с неправильным синтаксисом
G
(по тексту далее)
S
Всё ещё мой вопрос остаётся неотвеченным
S
Если можно в япе мапу сделать
JC
Кстати у меня появился вопрос относительно map'a. Какова вот эта залупа (А<Т>, (T) -> L) -> A<L> считается не unsound?
А это растовый синтаксис? Или вообще?