- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我想表示用于解析和打印的 PDF 文件,并且正在努力为此寻找合适的类型。
PDF 文件包含值,可以是文本、名称(标识符)、将名称映射到值的字典,以及我在这些示例中遗漏的许多其他内容。我从这样的事情开始:
data Value = Text String | Name String | Dictionary [(String, Value)]
instance Show Value where
show (Text text) = "(" ++ text ++ ")"
show (Name name) = "/" ++ name
show (Dictionary entries) = "<<" ++ unlines (showEntry <$> entries) ++ ">>" where
showEntry (key, value) = show (Name key) ++ " " ++ show value
不幸的是,showEntry
很容易不小心使用 show key
甚至 show (Text key)
。类型系统无助于选择正确的实现。字典键是名称这一事实并没有被它们的类型捕获,它只是 String
。
可以通过将键建模为值来解决这个问题:
data Value = Text String | Name String | Dictionary [(Value, Value)]
instance Show Value where
show (Text text) = "(" ++ text ++ ")"
show (Name name) = "/" ++ name
show (Dictionary entries) = "<<" ++ unlines (showEntry <$> entries) ++ ">>" where
showEntry (key, value) = show key ++ " " ++ show value
这样,showEntry
获得类型为Value
的key
,从而自动使用正确的实现。然而,这可以说更糟,因为现在可以表示具有不是名称的键的无效 Dictionary
值。
我的下一个想法是使用单独的类型。就像字典中使用的名称一样,其他数据结构中使用的文本和字典也是如此,因此它们也应该有自己的类型:
data Text = Text String
data Name = Name String
data Dictionary = Dictionary [(Name, Value)]
data Value = TextValue Text | NameValue Name | DictionaryValue Dictionary
instance Show Text where show (Text text) = "(" ++ text ++ ")"
instance Show Name where show (Name name) = "/" ++ name
instance Show Dictionary where
show (Dictionary entries) = "<<" ++ unlines (showEntry <$> entries) ++ ">>" where
showEntry (key, value) = show key ++ " " ++ show value
instance Show Value where
show (TextValue text) = show text
show (NameValue name) = show name
show (DictionaryValue dictionary) = show dictionary
现在类型可以准确地表示数据的结构,一切都很好。不幸的是,这感觉非常丑陋和多余。要构造值,现在需要两倍数量的构造函数:
DictionaryValue (Dictionary [(Name "foo", TextValue (Text "bar")), (Name "test", NameValue (Name "baz"))])
感觉 ADT 中的标记联合只是妨碍了这里,因为不需要标记,类型已经唯一地决定了选择哪种情况。
这是我们能做的最好的事情还是有更好的方法来应对这种情况?
我想这种类型的问题总是出现在允许嵌套值的解析格式中(例如算术表达式、XML、JSON、DSL 等)。人们为此使用的规范/通常表示是什么?
最佳答案
我的第一个建议是不要为此使用 show
。 It's generally considered a bad idea to have show
produce anything but valid Haskell code that would reproduce its input if passed to read
.使用一个新函数,比如 pprintValue
,而不是 Show,已经解决了你的几个问题。现在不可能在字符串上意外调用 pprintValue
,因为它现在是具体类型 Value -> String
的函数,而不是多态类型。
完成后,我实际上至少会执行您的第二个代码段建议的部分操作。特别是您非常关心字符串可能出现的不同上下文,因此我认为 Text 和 Name 值得新类型:
newtype Name = MkName String
newtype Text = MkText String
不过,对于字典,我可能不会费心。您不需要很多帮助来消除歧义,任何正确类型的列表似乎都是构建字典 Value
的安全方法。您提示说这“花费”了一些额外的构造函数调用。这是真的,但没有你说的那么糟糕。是的,从头开始创建值时,您必须编写另一个或两个新类型构造函数。但是你多久这样做一次?可能只在一两个地方,在那里你解析一个文件或决定你的服务器应该提供的响应。通常,您已经有了一个 Value,并且它的内容已经被妥善包装。例如,您可能希望将值添加到字典中:
insert :: Name -> Value -> [(Name, Value)] -> [(Name, Value)]
insert n v d = (n, v) : d
不过,您最终还是会进行一些新类型的包装和解包。但它仍然有用,可以帮助您确保以正确的方式使用它们。这将有助于整个程序,而不仅仅是调用 show
(或 pprintValue
)。
关于parsing - 成分也可以单独使用的求和类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/69126032/
我发现在使用parse-node包时,不能再使用Parse.Cloud.httpRequest了。我也知道 Parse 的 Image 对象将不可用。 到目前为止,我已经能够用原生的替换一些 Pars
关闭。这个问题是opinion-based 。目前不接受答案。 已关闭 9 年前。 已锁定。这个问题及其答案是locked因为这个问题是题外话,但却具有历史意义。目前不接受新的答案或互动。 我有一个函
开源 Parse Server 是否包含用于配置新 Parse 实例的 Schema API?我试图消除手动创建应用程序的需要。 这是通过 Parse.com 提供的架构 API http://blo
我想从我的云代码发出一个 http 请求,该请求在我的客户端被调用。 最佳答案 一开始我发现这有点令人困惑,所以希望这会有所帮助。 在您的云代码中main.js Parse.Cloud.define(
这部分代码应该读入两个或更多数字(省略主 io 函数),然后是一个“+”来给出总和。使用有理数是因为稍后我将进行乘法和其他此类操作。 data Expression = Number Rationa
我似乎找不到任何关于此的官方信息:Does Parse.Config work on Parse Server?它曾经在 Parse.com 上工作,但是当我尝试迁移到 Parse.Server 时,
我正在尝试找到使用 Parse.com 添加密码要求的最佳程序。似乎最简单的方法是在保存用户数据之前使用云功能执行。我唯一的警告是,只有当密码与数据库中存储的密码不同或者用户不存在于数据库中时,我才想
我是 android 开发、应用程序开发和一般开发的初学者,我正在尝试为我的 android 应用程序设置后端数据库。我决定使用一个名为 back4app 的服务,以便获得更加用户友好的数据库体验,因
我目前正在尝试将 Facebook 登录功能添加到我的应用程序。 根据Android文档,当我添加 compile 'com.parse:parsefacebookutils-v4-android:1
我正在尝试使用 Rebol 2/3 从字符串中解析货币值,货币值的格式为: 10,50 欧元或 10,50 欧元 我在浏览了所有 PARSE 文档后想出了这段代码,我可以在 Red 中找到它,但在 R
代码: DateTimeFormat dateFormat = DateTimeFormat .getFormat("EEE MMM dd HH:mm:ss zzz y
我不再在 Parse 上看到用于导入 JSON 或 CSV 文件的导入按钮。他们是否将其移动到某个地方,或者不再可能导入这些文件类型? 最佳答案 官方原因是这样的: “[导入类按钮] 几天前被删除,因
我正在使用 PHP 从我的服务器检索一些数据。我想在 javascript 应用程序中使用这些数据,所以我正在做这样的事情: var polylines = ; $polylines 只是一个 PHP
我已经开始使用 .NET 4 System.Numerics.BigInteger Structure我遇到了一个问题。 我正在尝试解析一个包含无符号(正数)的十六进制数字的字符串。我得到一个负数。
我正在使用 PHP 从我的服务器检索一些数据。我想在 javascript 应用程序中使用这些数据,所以我正在做这样的事情: var polylines = ; $polylines 只是一个 PHP
在 Go 中,尝试将字符串转换为 time.Time 时,使用时间包的 Parse 方法不会返回预期结果。似乎问题出在时区。我想更改为 ISO 8601 结合 UTC 日期和时间。 package m
我正在尝试将此字符串模式 "4-JAN-12 9:30:14" 解析为 time.Time。 尝试了 time.Parse("2-JAN-06 15:04:05", inputString) 和许多其
从云代码和解析开始。使用this . 如何删除所有 Parse 项目以便开始创建新项目?我收到以下错误: “您想要创建一个新应用程序,还是将 Cloud Code 添加到现有应用程序中?输入“(n)e
我在解析云代码时有这个功能: Parse.Cloud.define("testfunction", function(request, response) { var username = r
最近,我在 parse.com 上做了一些测试。我现在面临在后台作业中使用 Parse.Object.saveAll 的问题。 从 parse.com 的文档来看,后台作业可以运行 15 分钟。我现在
我是一名优秀的程序员,十分优秀!