169 похожих чатов

Какой линзой сделать asks (f . _someField)?

11 ответов

6 просмотров

ну и чем тебя этот вариант не устраивает?

view $ _someField . to f

или сюда view дописать

Cheese Syrowiecki
view $ _someField . to f

Спасибо. Исходный правда лучше

все варианты эквивалентны (при условии что _someField это линза над полем someField), скомпилируются в один и тот же код, нужно только выбрать что больше всего нравится a <- asks (f . (.someField)) a <- asks (f . view _someField) a <- asks (view (_someField . to f)) a <- view (_someField . to f) -- * a <- f <$> asks (.someField) a <- f <$> view _someField a <- asks \x -> f x.someField -- имхо лучший a <- views _someField f -- еще один лучший * этот работает потому что view getting обобщен до MonadReader, и использование его как функции это просто частный случай

Ivan
(.someField) и someField это не одно и тоже?

в данном случае тут под _someField я тут имел в виду _someField :: Lens' X A, там в начале сообщения написано

кана
в данном случае тут под _someField я тут имел в ви...

Это я понял. Чем FieldSelectors так плохи?

Ivan
Это я понял. Чем FieldSelectors так плохи?

захламляют скоуп, из-за чего например ты не сможешь сделать data User = MkUser { id :: Int } и иметь id функцию при этом

Похожие вопросы

Обсуждают сегодня

тоесть, указав return eax, сгенерируется никому ненужная инструкция mov eax,eax ?
Aiwan \ (•◡•) / _bot
24
читать файл максимально быстро? странный вопрос))
zamtmn
53
Приветствуем всех! Устали без проектов? Если вы программист и хотите получать стабильные заказы, компания Elif предлагает вам недельный курс по поиску проектов и их ведению. ...
Elif
1
А чего сейчас в моде вместо Error для эксепшенов? А то я тут внезапно узрел что он не рекомендуется :) У Try::Tiny какой-то совершенно ужасный синтаксис если надо конкретные э...
Denis F
19
Привет. Сразу скажу, что на C/C++/Rust я не пишу, но тем не менее возникла потребность дебага C/C++/Rust кода. Суть: есть серверное приложение, которое периодически ведёт себ...
ninekeem 🐳
4
а зачем этот вопрос для удаления из чата?
Mёdkinson Medvezhkin
63
всем привет! углубившись в плюсы и начав изучать реверсинг понял, что без асм'а никуда со своими высокоабстрактными представлениями начал изучать механизмы асма, и не совсем п...
9
или вы считаете муит дает знание?
супер_лох_3000 альфа версия
12
значить например он учился в СДУ то получается он особенный?)
Asets Serikov
11
А кто такой мужчина в твоем понимании Азиз?
who?です 🐈
11
Карта сайта