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

Чем такой подход с линзами class HasTimings s a | s

-> a where
timings :: Control.Lens.Type.Lens' s a
{-# MINIMAL timings #-}

instance HasTimings (Env m) Timings

хуже/лучше

class Has field env where
obtain :: env -> field

grab :: forall field env m . (MonadReader env m, Has field env) => m field
grab = asks $ obtain @field
{-# INLINE grab #-}

?

временем компиляции и тем, что нужно затаскивать линзы (они всё равно затащутся)?
например, в подходе с линзами не нужно писать инстансы руками

Ещё вот такой вариант есть:

newtype Field (s :: Symbol) env = Field { unField :: env }

instance forall s f env . (HasField s env f) => Has f (Field s env) where
obtain :: Field s env -> f
obtain = getField @s . unField
{-# INLINE obtain #-}

data Env = Env
{ envInt :: !Int
, envString :: !String
} deriving (Has Int) via Field "envInt" Env
deriving (Has String) via Field "envString" Env
...

do =
...
-- это GHC.Records.getField
x <- getField @"envInt"

И ещё есть capability (и там сразу есть куча вот этих "стратегий") http://ix.io/2io8/hs

Сейчас пользуюсь подходом с линзами

1 ответов

9 просмотров

возьми уже женерик линзы)

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

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

Мужики и девушки, привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных...
Kraszx
14
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Я вот подумал. SSE выполняет операции максимум с 64-битной точностью. А FPU - всегда с 80-битной. Разве не должно быть FPU точнее тогда?
The Bird of Hermes
13
как быть с принтером? такой подход прокатит?
zamtmn
12
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
Я не понимаю, это троллинг или что? Швабрика поддерживают, который буквально пишет на ассемблере взаимодействия с винапи. Я это ещё написал загрузчик и хоть что-то изучаю в о...
Shadow Akira
6
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
А вот это что за конструкция? Вернее, она тут нафига?
Serjone
10
Привет. Подскажите, как правильно сматчить лист фиксированного размера, чтобы компилятор не говорил мне о неполном паттерне? Допустим что-то такое [x', y'] = sort [x, y]?
Arseny
8
Карта сайта