AA
а корка лучше чем хаскель?
Size: a a a
2021 February 06
R
Explicit is better than implicit
Ну я использую <> таким образом и мне норм. Но с <|> видимо не прокатит
c
В каких случаях экзистенциальные типы лучше использовать вместо обычной структурки с функциями?
Вопрос скорее теоретический, потому что конкретной проблемы на данный момент нет, просто интересно.
Вопрос скорее теоретический, потому что конкретной проблемы на данный момент нет, просто интересно.
MK
Ну я использую <> таким образом и мне норм. Но с <|> видимо не прокатит
Ты наверняка ещё и монаду для стрелки используешь
MK
А может и для списка
R
Ты наверняка ещё и монаду для стрелки используешь
Не, не помню такого
R
А может и для списка
Гилти
MK
Я вот даже каждый раз проверяю как устроен моноид для мейби!
R
Я вот даже каждый раз проверяю как устроен моноид для мейби!
Потому что он устроен по-наркомански
AA
Explicit is better than implicit
так че, че лучше-то корка или хаскель?
MK
Не настолько по-наркомански как First, впрочем
А там что?
ЗП
ну он их придумал, вот большая часть им и написана
производные придумал?)
R
производные придумал?)
Производные от типов
DM
Пусть у меня есть функция f :: a -> b -> c -> ... -> d и g :: d -> e
Есть ли какой-то простой способ получить "композицию" f и g типа a -> b -> c -> ... -> e кроме лямбды с указанием аргументов?
Есть ли какой-то простой способ получить "композицию" f и g типа a -> b -> c -> ... -> e кроме лямбды с указанием аргументов?
возможно есть вариант завести
newtype и задерайвить функтор, где фмапом является композиция, но я не уверен сможет ли оно так