检索结果-内蒙古大学图书馆

Implementing monads for c plus plus template metaprograms

ScIENcE OF cOMPUTER PROGRAMMING 2013年第9期78卷 1600-1621页

作者： Sinkovics, Abel Porkolab, Zoltan Eotvos Lorand Univ Dept Programming Languages & Compilers Fac Informat H-1117 Budapest Hungary

c++ template metaprogramming is used in various application areas, such as expression templates, static interface checking, active libraries, etc. Its recognized similarities to pure functional programming languages - like Haskell - make the adoption of advanced functional techniques possible. Such a technique is using monads, programming structures representing computations. Using them actions implementing domain logic can be chained together and decorated with custom code. c++ template metaprogramming could benefit from adopting monads in situations like advanced error propagation and parser construction. In this paper we present an approach for implementing monads in c++ template metaprograms. Based on this approach we have built a monadic framework for c++ template metaprogramming. As real world examples we present a generic error propagation solution for c++ template metaprograms and a technique for building compile-time parser generators. All solutions presented in this paper are implemented and available as an open source library. (c) 2013 Elsevier B.V. All rights reserved.

关键词： c plus plus template metaprogram Monad Exception handling Monoid Typeclass

来源：评论

学校读者我要写书评

暂无评论

Domain-specific Language Integration with compile-time Parser Generator Library 10

Domain-specific Language Integration with Compile-time Parse...

引用

9th International conference on Generative Programming and component Engineering

作者： Porkolab, Zoltan Sinkovics, Abel Eotvos Lorand Univ Dept Programming Languages & Compilers H-1117 Budapest Hungary

ISBN: (纸本)9781450301541

Smooth integration of domain-specific languages into a general purpose host language requires absorbing of domain code written in arbitrary syntax. The integration should cause minimal syntactical and semantic overhead and introduce minimal dependency on external tools. In this paper we discuss a DSL integration technique for the c++ programming language. The solution is based on compile-time parsing of the DSL code. The parser generator is a c++ template metaprogram reimplementation of a runtime Haskell parser generator library. The full parsing phase is executed when the host program is compiled. The library uses only standard c++ language features, thus our solution is highly portable. As a demonstration of the power of this approach, we present a highly efficient and type-safe version of printf and the way it can be constructed using our library. Despite the well known syntactical difficulties of c++ template metaprograms, building embedded languages using our library leads to self-documenting c++ source code.

关键词： Languages c plus plus template metaprogram DSL integration Haskell Parser generator

来源：评论

学校读者我要写书评

暂无评论

Domain-specific Language Integration with compile-time Parser Generator Library

引用

AcM SIGPLAN NOTIcES 2011年第2期46卷 137-146页

作者： Porkolab, Zoltan Sinkovics, Abel Eotvos Lorand Univ Dept Programming Languages & Compilers H-1117 Budapest Hungary

关键词： Languages c plus plus template metaprogram DSL integration Haskell Parser generator

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：