короч, поинфри отстой

toListOf :: Optic (->) (K (Endo [a])) s s a a -> (s -> [a]) toListOf lens = flip appEndo [] . getK . lens (K . Endo . (:)) была такая сложная ебанина

Я все упростил и снова стало поинтфри, но нормальное) toListOf :: Optic (->) (K (Endo [a])) s s a a -> (s -> [a]) toListOf lens = unwrap . lens wrap where wrap :: a -> K (Endo [a]) a wrap x = K (Endo (x:)) unwrap :: K (Endo [s]) a -> [s] unwrap (K (Endo endo)) = endo []

у lens over tea какое-то слишком неподходящее название

я кстати начал читать и мне не понравилось чет

что тебе понравилось?

я изобретал линзы по их типам и сразу правильные решения получились, а там куча шагов показывают ненужых. Потом для сложных вещей почитаю, но сейчас мне показалось там все очень странным

у lens over tea какое-то слишком неподходящее название

да вроде норм. просыпаюсь, чищу зубы, завтракаю и 20 минут перед выходом на работу читаю (за чаем)

а так нет ничего интереснее ставить рандомные функции до тех пор, пока под тип не подойдет, а потом пытаться понять, почему оно работает) После второго раза замечаешь систему

так задания можно в SF делать

потом узнать что есть разные генераторы доказательств

toListOf :: Optic (->) (K (Endo [a])) s s a a -> (s -> [a]) toListOf lens = flip appEndo [] . getK . lens (K . Endo . (:)) была такая сложная ебанина

toListOf :: Optic (->) (K (Endo [a])) s s a a -> (s -> [a]) toListOf l = foldrOf l (:) []

нет у меня твоего foldOf , говорю же

foldrOf :: Optic (->) (K (Endo r)) s t a b -> (a -> r -> r) -> r -> s -> r foldrOf l f z = flip appEndo z . foldMapOf l (Endo . f)

нужно его писать

foldMapOf :: Optic (->) (K r) s t a b -> (a -> r) -> s -> r foldMapOf l f = getK . l (K . f)

а так решение wrap/unwrap мне больше нравится)

просто foldrOf как раз четко как в Foldable

Так все таки композиция с двумя параметрами это валидное желание/осуществиемое?

foldr :: (a -> b -> b) -> b -> t a -> b foldr f z t = appEndo (foldMap (Endo #. f) t) z

o(o, o) - вот

const ooo = o(o)(o); ooo(inc)(add)(2)(3) // 6

вообще в рамде compose работает с любым количеством аргументов для 1 функции

о(о, о) моя оборона

Композ то да, а вот дальше как

ну вызовет он первую функцию с многими аргументами

А как дальше ? из первой приходится кортеж уже возвращать

аа, так тебе нужен reader

Нукась

и composeK потом

ща, я посмотрю, как в рамде с ридером работать

Мне тоже интересно

ща, я посмотрю, как в рамде с ридером работать

никак) юзать ramda-fantasy

но вообще вот https://github.com/ramda/ramda-fantasy/blob/master/docs/Reader.md

никак) юзать ramda-fantasy

ramda-fantasy депрекейтед

ну я ее по дефолту считаю частью рамды, потому что она в репле по дефолту ихнем

но ридер это просто функция

Что то должно вроде флетМепа быть в rx, только типа на функциях

Нахер я это сказал

Кароче да ридер тема

Спасибо!)

ну да, flatMap - это типа chain/bind монад. Ридер - тож монада

ну вот (*10) >>= (*) >>= (+) $ 10 -- 1010

Окей, я догнал, что это за козвезды и choice. Имея функцию a -> f b мы с помощью Choice.left' превращаем ее в Either a x -> Either (f b) x ( _Left = left' ), то есть функция теперь работет на ейзере только при Left. Но призма должна вернуть другое: Either a x -> f (Either b x). То есть нужно преобразовать Either (f b) x в f (Either b x). И вот как провернуть этот финт на профункторе я хз вообще хз. Да и без профунктора тоже хз, sequence какой даже для Right не подходит

ну это вроде как Клейсли и КоКлейсли

у f есть какая-нибудь дополнительная информация или он просто * -> *

Окей, я догнал, что это за козвезды и choice. Имея функцию a -> f b мы с помощью Choice.left' превращаем ее в Either a x -> Either (f b) x ( _Left = left' ), то есть функция теперь работет на ейзере только при Left. Но призма должна вернуть другое: Either a x -> f (Either b x). То есть нужно преобразовать Either (f b) x в f (Either b x). И вот как провернуть этот финт на профункторе я хз вообще хз. Да и без профунктора тоже хз, sequence какой даже для Right не подходит

это ты про какой метод из каты?

_Left

какую я там ересь пытаюсь по типам сделать _Left :: Prism (Either a x) (Either b x) a b _Left p = rmap (either (Left . fmap Left) (pure . Right)) (left' p)

а призму сделал?

ну дык это призма же и есть

_Left

метод prism он будет просто в многих местах общий

ну пока я не сделал и тупо в лоб реализации _Left, чтобы обобщать)

ЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕ

СДЕЛАЛ

_Left :: Prism (Either a x) (Either b x) a b _Left p = rmap (either (fmap Left) (pure . Right)) (left' p)

пара часов ушло

сука

2 часа на баг убил

в рамде упорото ошибки вылетают

так, все тесты прошел, нужно теперь обобщить _Left :: Prism (Either a x) (Either b x) a b _Left = rmap (either (fmap Left) (pure . Right)) . left' -- | A prism which focuses on the right branch of an Either _Right :: Prism (Either x a) (Either x b) a b _Right = rmap (either (pure . Left) (fmap Right)) . right'

так, все тесты прошел, нужно теперь обобщить _Left :: Prism (Either a x) (Either b x) a b _Left = rmap (either (fmap Left) (pure . Right)) . left' -- | A prism which focuses on the right branch of an Either _Right :: Prism (Either x a) (Either x b) a b _Right = rmap (either (pure . Left) (fmap Right)) . right'

dimap ;)

я-то парттайм, хуй жопа а вы шо

Са в ауте, откуда у них столько времени) уже второй год пытаюсь выкроить время на пьюрскрипт

Лол

ERROR: S client not available

Я хочу флоу попробовать поковырять

Но так лень

Я хочу флоу попробовать поковырять

Почти заюзал, только с jsx засада

И флоу тайпов мало

Ненавижу jsx

Соре

Надо самому руками многое пилить

И флоу тайпов мало

Ну это ожидаемо

Команда без джиэсикс не потащит)

Команда без джиэсикс не потащит)

Я вуист

Jsx в Vue редкость

Вернее потащим, но тормознём еще на пару недель

в понедельник я тоже с линзами знакомился, но теоретически

На пьюрскрипте работа?)

нет, это для себя

ну, генератор призмы на стрелках сделал, осталось обобщить до профунктора prism :: (small' -> large') -> (large -> Either large' small) -> Prism large large' small small' prism build get pure' large = case get large of Left large' -> pure large' Right small -> fmap build (pure' small)

Jsx в Vue редкость

И как оно на вью ? Офф доки хорошие, а доки для компонентов все на китайском.

Все отлично А по поводу компонентов - это какие такие?

Если про UI киты речь, то есть прекрасный vuetify

https://www.youtube.com/watch?v=SknxggwRPzU&feature=push-u&attr_tag=tqMgRIGJfSJXiP19-6

Мне не нравится реакт за его упоротые jsx и css-in-js И если второе хоть как-то можно оправдать "решением проблем с important итд", то первое это какой-то костыль

Ну я так думаю

тебе так кажется

тебе так кажется

Я не хочу спорить на эту тему

Можно без джэсикс, а со стилями вообще 100500 способов работы

Это моё мнение

Я юзаю styled components

Можно без джэсикс, а со стилями вообще 100500 способов работы

И много где за реакт без jsx не бьют палками по рукам?

Hyperscript вполне читабелен и популярен

А вообще последнее время мало его использую.

начнем с того, что jsx - это просто сахар для обычной дсл для описания макетов внутри кода. Сахар опционален, поэтому не может быть плохим. Значит ты считаешь, что едсл для верстки на уровне кода - плохо. Но это позволяет нам работать с версткой как с первоклассным объектом в жс

И много где за реакт без jsx не бьют палками по рукам?

там же все просто очень без jsx

+ мне в Vue нравится, что половина бойлерплейт кода засахарена, в отличие от React