R:
Но я имел ввиду styled like
Size: a a a
2018 November 22
R:
Я могу написать такое в эльме и стили по класса разбегуться
R:
Что позволяет удобно динамически менять и генерить css-ку
λ
Ну, вон есть Arrow - там некоторые тайпклассы применяются вот так:
String.eq() // получение инстансаТак вот смысл в чем - вне скоупа лямбды
.run {
"1" eqv "2"
}
run вы не можете сравнивать строки через eqv, зато внутри скоупа строки приобретают новую функциональность засчет того, что контекст переносится внутрь инстанса тайпкласса Eq для строк. Представьте теперь, что у вас не String.eq(), а, например, какой-нибудь AnalyticsContext, внутри которого инкапсулирован инстанс какого-нибудь веб-клиента, который отсылает аналитику куда-нибудь. И вы пишете:AnalyticsContext().run { // перенос контекста
Event(id, type).send() /* вне AnalyticsContext тип Event не имеет поведения "send" */
}
И смысл такого подхода в том, что вам не приходится пользоваться, к примеру, DI-ем, потому что вся функциональность поделена на такие вот контексты, которые имеют максимум пару зависимостей. Вооотваши "монады" так себе компонуются, и контроля за эффектами на уровне типов, судя по всему, нет
λ
с полиморфизмом тоже проблемы напрашиваются
(
ваши "монады" так себе компонуются, и контроля за эффектами на уровне типов, судя по всему, нет
Начать с того, что монады все таки изначально в котлине не нужны
R:
с полиморфизмом тоже проблемы напрашиваются
В эльме с полиморфизом все просто ужасно
R:
Вы видели как elm-css написан?
e
Но я имел ввиду styled like
purescript-styled-components и тп?
R:
purescript-styled-components и тп?
Да, что-то подобное, работающее надо
R:
purescript-styled-components и тп?
Пишу по-немногу сам, но времени особо нет на это
λ
Начать с того, что монады все таки изначально в котлине не нужны
s/не нужны/не спасут/
R:
А с каких пор котлин это pure fp?
(
s/не нужны/не спасут/
Мне Arrow главным образом нравится из-за того, что можно уйти от богопротивных исключений. Either вполне справляется, а большего и не надо
(
Полиморфизм тоже сносный - есть некое подобие comprehension, а над какими типами он работает уже дело десятое
(
А с каких пор котлин это pure fp?
Так никто этого и не говорил
(
Мы вообще в команде недавно поймали Arrow на том, что IO бесполезный
(
Просто смысл в том, что где есть откровенно грязный код (уж в андроиде-то да в спринге его дофига) можно бахнуть компрехеншен и написать немного императивного кода, а в макро-видении это все все равно композируется и является полиморфным
AK
вроде бы, "прошлый я" должен был участвовать в этом "обсуждении", но вы и сами хорошо справляетесь
I
Ну, вон есть Arrow - там некоторые тайпклассы применяются вот так:
String.eq() // получение инстансаТак вот смысл в чем - вне скоупа лямбды
.run {
"1" eqv "2"
}
run вы не можете сравнивать строки через eqv, зато внутри скоупа строки приобретают новую функциональность засчет того, что контекст переносится внутрь инстанса тайпкласса Eq для строк. Представьте теперь, что у вас не String.eq(), а, например, какой-нибудь AnalyticsContext, внутри которого инкапсулирован инстанс какого-нибудь веб-клиента, который отсылает аналитику куда-нибудь. И вы пишете:AnalyticsContext().run { // перенос контекста
Event(id, type).send() /* вне AnalyticsContext тип Event не имеет поведения "send" */
}
И смысл такого подхода в том, что вам не приходится пользоваться, к примеру, DI-ем, потому что вся функциональность поделена на такие вот контексты, которые имеют максимум пару зависимостей. ВооотА если нужно 2 контекста, а сам код вынести в отдельную функцию?