sql - 程序结构——简单的命令行待办事项列表应用程序——Haskell 的方式是什么？

Question

背景:我正在使用 Haskell 开发我的第一个完整程序，这是一个简单的命令行应用程序。

我的问题是一个结构问题，有两个层次:(1) 最好的方法是什么？和 (2) Haskell 的(函数式)方法是什么？我这样说的原因是因为我怀疑可能有一种更快或更简单的方法可以忽略函数式编程的原则。我想以更优雅、更清晰的方式进行，因为它更像是一种学习练习。

请记住，我(显然)希望应用程序具有一定的持久性。现在表中的两个选项是将信息存储在平面文本文件中，或者交替地存储在 Sqlite 数据库中。

我想到的第一个结构是这样的，其中 ToDoList 类型对象只是一个 ToDo 项目列表:

import Data.List
import Data.Time

data ToDo = ToDo {
        todoId       :: Int,
        todoDue      :: ZonedTime,
        todoCreated  :: UTCTime,
        todoItem     :: String,
        todoPriority :: Priority,
        todoStatus   :: Status
        }
        deriving (Show, Read)

type ToDoList = [ToDo]

data Priority = Low | Medium | High
        deriving (Show, Read, Eq, Ord)

data Status = Complete | InProgress | Open
        deriving (Show, Read, Eq, Ord)

但后来我开始想知道如何最好地存储这种类型的对象。这是否意味着我将它们存储在一个平面文件中？有没有办法将像这样的高度指定类型的对象与数据库中的字段/列相关联？

当我考虑使用 Sqlite 数据库时，似乎所有的工作都将在数据库调用中完成，Haskell 类型与它的关系相对较小。这似乎很糟糕。

总而言之，问题是我如何才能最好地为我的简单待办事项列表应用程序的数据结构建模，以符合函数式编程的概念和我正在寻求实践的 Haskell 理念项目？

Answer 1

Show/Read 组合是序列化和反序列化应用程序内部状态的一种极其简单的方法，而且由于纯粹性，它基本上也总是有效。此外，您将获得编写切片和切 block 列表函数的良好实践，因为您将能够将列表视为已完全加载到内存中(也许如果您想使用一些更高效的数据结构，您可以研究优化不同查询的方法。)

例如，如果我想查找在某个日期之前到期的所有项目，我可以使用到期过滤器来编写:

dueBefore (ToDoList ts) d = ToDoList (filter (\t -> due t <= d) ts)

伪代码中的一些风格挑剔:

• 由于所有访问器函数(id、die.created...)都被转储到模块范围的命名空间中，因此最好在它们前面加上记录名称的前缀/后缀，例如 todoId、todoDie。在这种特殊情况下，id 是一个真正的函数，因此您不应该隐藏它!

• ToDoList 是具有一个值的单个构造函数数据类型；您可能实际上只想要一个新类型或类型同义词。 (练习:重写上面的代码片段以使用类型同义词。)

• 您可能需要一个关于优先级和状态的 Ord 实例