ЗП
часто эта экспансия спасает)
Size: a a a
2018 November 29
ЗП
в Сколеме тоже
p
bar :: forall a. a -> ( L.Lens' a Int ) -> Int
bar u l = L.view l u
baz :: ( L.Lens' Int Int ) -> Int
baz = bar 10
Что происходит с вот этим, можешь объяснить, пожалуйста.
ЗП
таже фигня
baz :: ( Lens' Int Int ) -> Int
baz l = bar 10 l
p
Т.е. почему мы не можем сократить на l
baz :: ( L.Lens' Int Int ) -> Int
baz l = bar 10 l
p
C фиксом понятно. Язык то не ленивый. Тут то чего?
ЗП
в пурсе во всяких сложных полиморфных типах надо юзать явные агрументы и часто бывает что
<<< и $ не работают и надо применять эта экспансиюЗП
пурса тоже не ленивая
ЗП
не забывай, что это все в жс компилится
p
Пурса не ленивая, это понятно. Почему конкретно этот пример так себя ведёт.
e
Ну вообще эта редукция даёт эквивалентную программу, не?
ЗП
Ну вообще эта редукция даёт эквивалентную программу, не?
задача эта экспансии что
эквивалентны
\x -> f x
иfэквивалентны
ЗП
и в некоторых случаях можно сокращать аргумент
p
Есть правило, когда можно сокращать?
ЗП
но когда сложные полиморфные типы, то желательно юзать явные аргументы
p
Ну вот же пример.
Давайте разберем.
Давайте разберем.
bar :: forall a. a -> ( L.Lens' a Int ) -> Int
bar u l = L.view l u
baz0 :: ( L.Lens' Int Int ) -> Int
baz0 l = bar 10 l
baz1 :: ( L.Lens' Int Int ) -> Int
baz1 = bar 10
p
Я не вижу разницы.
p
А она есть :(
ЗП
тут же в куске типа изолированный
потому что у линзы
распиши линзу и увидишь, что
forallпотому что у линзы
forall p. Strong p => ...распиши линзу и увидишь, что
p живет не в области всего типаe
Я думаю, просто особенность компилятора