我是Haskell的新手,为了做得更好,我正在尝试制作一个简单的Web服务器 . 我想知道我如何表示可扩展的页面,所以我的想法是让网页成为可渲染数据的列表(比如你如何制作一个在Java中实现某个接口的对象列表),其中Renderable是
class Renderable a where
render :: a -> IO String
不幸的是,我了解到列表必须是具体类型,所以我只能列出一种可渲染数据 . 此外,似乎无法创建受类型类约束的数据,因此我无法制作类似RenderList数据的内容 . 我的临时解决方案是这样的:
myPage =
[render $ someData
,render $ someMoreData
,render $ someOtherData
...
]
但这感觉很尴尬,使得类型类的使用没有任何好处,并且感觉应该有更好的方法 . 所以我想知道我可以采用哪些方法来重构我必须更清洁,更符合标准Haskell实践,并且仍然可以轻松扩展?
谢谢 .
2 回答
你're trying to implement an object-oriented style of design. In Java, for example, you' d有一个
List<Renderable>
而且你已经全部准备好了 . 这种设计风格在Haskell中不那么自然;你需要为有限的存在主义创建一个包装器类型,如Haskell wiki页面上为existential types所示 . 例如:然后,您可以拥有
Renderable
的列表,您可以根据需要进行渲染 . 就像我说的那样,这是一种OO风格,在Haskell中不那么自然 . 您可以通过重新考虑数据结构来避免这种情况 . 你说你"wanted to make how you represent pages extendable";考虑其他方式来做这件事 .不相关:我猜
render
不需要产生IO String
动作 . 如果可以的话,尽量让IO
脱离设计的核心 .在haskell heterogenous collections上查看此页面 . 它提供了几种方法的想法 .