Блог

Мне кажется, что вы хотите использовать lens аналогично linq IQueryable в c #.

Например, если у вас есть типы:

 data Project = Project {
  _projectId :: Int
  , _projectPriority :: Int
  , _projectName :: String
  , _projectTasks :: [Task]
   } deriving (Show)

data Task = Task {
  _taskId :: Int
  , _taskName :: String
  , _taskEstimate :: Int
  } deriving (Show)


makeLenses ''Project
makeLenses ''Task
 

И база данных:

 create table projects ( id, name, priority);
create table tasks (id, name, estimate, projectId);

insert into projects values (1, 'proj', 1), (2, 'another proj', 2);

insert into tasks values (1, 'task1', 30, 1), (2, 'another', 40, 1),
                        (3, 'task3', 20, 2), (4, 'more', 80, 2);
 

Если вы хотите получить список имен задач из проектов с приоритетом больше 1, было бы неплохо, если бы вы могли использовать:

 highPriorityTasks :: IO [String]
highPriorityTasks = db ^.. projects . filtered (p -> p ^. projectPriority > 1 )
                    . projectTasks . traverse . taskName
 

И сделайте этот запрос к базе данных, используя запрос:

 select t.name from projects as p 
inner join tasks as t on t.projectId = p.id 
where p.priority > 1;
 

К сожалению, это невозможно с библиотекой. В принципе, для эффективной работы с базой данных вам (обычно) нужно делать все в одном запросе. Это было бы неприемлемо для этого:

 select * from projects where priority > 1;
for each project:
   select name from tasks where projectId = <project>.id    
 

К сожалению, невозможно разложить функции, чтобы узнать, что их создало. Помимо типа, вы ничего не можете узнать о функции, не запустив ее. Таким образом, не было бы способа извлечь данные из filtered функции, чтобы помочь построить запрос. Также было бы невозможно извлечь вспомогательный объектив из полного выражения. Таким образом, это невозможно с использованием библиотеки lens.

Лучшее, что вы можете получить на данный момент, — это запросить базу данных, используя один набор функций, и запросить результирующие данные с помощью lens. См. Это сообщение в блоге о yesod для примера этого.

Связанный с этим вопрос заключается в том, возможно ли это вообще. Для этого нам нужно будет создать подъязык для числовых и строковых операторов и композицию, которая отслеживает, что сделано. Это может быть возможно. Например, вы можете создать тип Num, который записывает все, что с ним делается:

 data TrackedNum = TrackedNum :-: TrackedNum
                | TrackedNum : : TrackedNum
                | TrackedNum :*: TrackedNum
                | Abs TrackedNum
                | Signum TrackedNum
                | Value Integer
  deriving (Show)

instance Num TrackedNum where
  a   b = a : : b
  a * b = a :*: b
  a - b = a :-: b
  abs a = Abs a
  signum a = Signum a
  fromInteger = Value

t :: TrackedNum
t = 3   4 * 2 - abs (-34)

> t 
(Value 3 : : (Value 4 :*: Value 2)) :-: Abs (Value 0 :-: Value 34)
 

Повторите процесс для логических операторов (для этого вам понадобится новый класс type), операторов списка и композиции функций (т. Е. Класса Category), и вы сможете создать функцию «белого ящика», которую затем можно использовать для создания эффективного sql-запроса. Однако это не тривиальная задача!