p
Не понима почему, просто чуть сократил
Size: a a a
2018 November 29
e
Я тоже не понимаю. Видно в линзах собака порылась
p
module Main where
import Prelude
import Effect (Effect)
import Data.Lens as L
bar :: forall a. a -> ( L.Lens' a Int ) -> Unit
bar u l = unit
baz :: ( L.Lens' Int Int ) -> Unit
baz = bar 10
main :: Effect Unit
main = pure unit
p
Вот ещё меньше пример. Да, точно в линзах
p
Но я плохо понимаю профункторную оптику.
e
Может с предыдущей версией линз попробовать? Я сейчас не могу.
p
Я тоже не особо могу. У меня работа подгорает. 😐
e
А как тебе сама идея?
p
Я не очень понимаю зачем в месседжах пробрасывать updater.
Кажется, что это плохая идея. Но это не точно.
Кажется, что это плохая идея. Но это не точно.
ЗП
кхм, эта экспансия (в строгих языках иногда желательно указывать все аргументы)
baz :: Lens' Int Int -> Int -> Unit
baz l n = bar foo l n
e
Идея в том чтобы если у тебя компоненты которым нужен локальный стейт, то хотелось бы не писать кучу бойлерплейта, а передавать линзу (и конструктор мессаджа для гибкости). Те получаем почти локальный стейт
p
кхм, эта экспансия (в строгих языках иногда желательно указывать все аргументы)
baz :: Lens' Int Int -> Int -> Unit
baz l n = bar foo l n
Не понял.
ЗП
Не понял.
почитай что такое eta expansion
ЗП
ну или эта конверсия
e
кхм, эта экспансия (в строгих языках иногда желательно указывать все аргументы)
baz :: Lens' Int Int -> Int -> Unit
baz l n = bar foo l n
Нужна полиморфность
p
почитай что такое eta expansion
👍
ЗП
Нужна полиморфность
там все ок, просто у пурсы да как и у жс (ибо строго) надо применять эта экспансию
ЗП
для пример
var fix = f => x => f(fix(f))(x)второй взорвется при использовании
var fix1 = f => f(fix1(f))
e
Понял, спасибо, работает