Data types à la carte (2008)

# 数据结构 à la carte | 函数式编程杂志 | 剑桥核心 来源：https://www.cambridge.org/core/journals/journal-of-functional-programming/article/data-types-a-la-carte/14416CB20C4637164EA9F77097909409 ## 摘要 核心共享和 HTML 视图不可用于此内容。但鉴于您可以访问此内容，可通过“保存 PDF”操作获取完整 PDF 版本。 本文描述了一种技术，用于从独立的单个组件组装数据结构和函数。我们还探讨了如何将同一技术用于组合自由单子，并进而结构化 Haskell 的单一 IO 单子。 ## 参考文献 Awodey,S.(2006)范畴论.牛津逻辑指南，第49卷.牛津：牛津大学出版社.CrossRef (https://dx.doi.org/10.1093/acprof:oso/9780198568612.001.0001)Google Scholar (https://scholar.google.com/scholar_lookup?title=Category+Theory.&author=Awodey+S.&publication+year=2006) Johann,P.&Ghani,N.(2007)初始代数语义就够了！*类型化 Lambda 演算及其应用*.计算机科学讲义，第4583卷. Springer.CrossRef (https://dx.doi.org/10.1007/978-3-540-73228-0_16)Google Scholar (https://scholar.google.com/scholar?q=Johann,+P.+&+Ghani,+N.+(2007)+Initial+algebra+semantics+is+enough!+Typed+Lambda+Calculi+and+Applications.+Lecture+Notes+in+Computer+Science,+vol.+4583.+Springer.) Johann,P.&Ghani,N.(2008)基于 GADT 的结构化编程基础.收录于《ACM SIGPLAN-SIGACT 程序设计原理研讨会论文集》，加州旧金山，第297–308页.Google Scholar (https://scholar.google.com/scholar_lookup?title=Conference+record+of+the+ACM+SIGPLAN-SIGACT+Symposium+on+Principles+of+Programming+Languages&author=Johann+P.&author=Ghani+N.&publication+year=2008&pages=297-308) Liang,S.,Hudak,P.&Jones,M.(1995)单子变换器与模块化解释器.收录于《ACM SIGPLAN-SIGACT 程序设计原理研讨会论文集》，加州旧金山，第333–343页.Google Scholar (https://scholar.google.com/scholar_lookup?title=Conference+record+of+the+ACM+SIGPLAN-SIGACT+Symposium+on+Principles+of+Programming+Languages&author=Liang+S.&author=Hudak+P.&author=Jones+M.&publication+year=1995&pages=333-343) Löh,A.&Hinze,R.(2006)开放数据类型与开放函数.*原则与实践的声明式程序设计：第8届 ACM SIGPLAN 声明式程序设计原理与实践研讨会论文集*，意大利威尼斯，第133–144页.CrossRef (https://dx.doi.org/10.1145/1140335.1140352)Google Scholar (https://scholar.google.com/scholar?q=L%C3%B6h,+A.+&+Hinze,+R.+(2006)+Open+data+types+and+open+functions.+Princ.+Prac.+Declarative+Program.+Proceedings+of+the+8th+ACM+SIGPLAN+Symposium+on+Principles+and+Practice+of+Declarative+Programming.+Venice,+Italy,+pp.+133%E2%80%93144.) Lüth,C.&Ghani,N.(2002)使用余积组合单子.收录于《ACM SIGPLAN 函数式编程国际会议论文集》，宾夕法尼亚州匹兹堡，第133–144页.CrossRef (https://dx.doi.org/10.1145/581478.581492)Google Scholar (https://scholar.google.com/scholar?q=L%C3%BCth,+C.+&+Ghani,+N.+(2002)+Composing+monads+using+coproducts.+In+Proceedings+of+the+ACM+SIGPLAN+International+Conference+on+Functional+Programming.+Pittsburgh,+PA,+pp.+133%E2%80%93144.) Meijer,E.,Fokkinga,M.&Paterson,R.(1991)使用香蕉、透镜、信封和带刺铁丝进行函数式编程.收录于《ACM 函数式编程语言与计算机体系结构会议论文集》.CrossRef (https://dx.doi.org/10.1007/3540543961_7)Google Scholar (https://scholar.google.com/scholar?q=Meijer,+E.,+Fokkinga,+M.+&+Paterson,+R.+(1991)+Functional+programming+with+bananas,+lenses,+envelopes+and+barbed+wire.+In+Proceedings+ACM+Conference+on+Functional+Programming+Languages+and+Computer+Architecture.) Sheard,T.(2001)基于两级类型和参数化模块的泛型合一.收录于《ACM SIGPLAN 函数式编程国际会议论文集》，意大利佛罗伦萨，第86–97页.Google Scholar (https://scholar.google.com/scholar?q=Sheard,+T.+(2001)+Generic+unification+via+two-level+types+and+parameterized+modules.+In+Proceedings+of+the+ACM+SIGPLAN+International+Conference+on+Functional+Programming.+Florence,+Italy,+pp.+86%E2%80%9397.) Swierstra,W.&Altenkirch,T.(2007)野兽之美：尴尬阵容的函数式语义.收录于《ACM SIGPLAN Haskell 研讨会论文集》，德国弗赖堡，第25–36页.CrossRef (https://dx.doi.org/10.1145/1291201.1291206)Google Scholar (https://scholar.google.com/scholar?q=Swierstra,+W.+&+Altenkirch,+T.+(2007)+Beauty+in+the+beast:+A+functional+semantics+of+the+awkward+squad.+In+Proceedings+of+the+ACM+SIGPLAN+Haskell+Workshop.+Freiburg,+Germany,+pp.+25%E2%80%9336.)