写点什么

Colm 语言简介

  • 2011-05-30
  • 本文字数:849 字

    阅读完需:约 3 分钟

编程语言最近(再次)成为研究的主要题目,并且,这次人们仔细地关注它们的语义基础:

程序就是带有语义的结构化对象。结构让我们可以对程序做转换。而语义则为我们提供了比较程序以及推断转换有效性的方法。语义包括程序的外延和内涵行为。

程序转换(Program Transformation)也得益于这种新的研究浪潮,并且已经有公司成功发布了商业化的产品

程序转换是把一种程序转换为另一种的操作。而术语“程序转换”也被用于描述实现程序转换的算法。程序中被转换的语言和编写得到的程序所用的语言分别被叫做源语言和目标语言。

Adrian Thurston最近发布了 Colm(计算机语言处理)的第一个版本,这种语言被设计用来对计算机语言进行分析和转换。Adrian 是在皇后大学(ON,Canada)读博士期间开发了 Colm。他解释说:

一种转换语言会拥有基于正规语言的类型系统。它不会定义类或是数据结构,而是会定义语法。根据语法会自动构造解析器,而这个解析器会用于两种目的: 解析输入语言,并解析执行分析的程序中的结构模式。在这种设定中,基于语法的解析非常重要,因为它确保输入和结构化模式都从同样的类型系列解析为树状结构,从而让我们可以进行比较。

Colm 的主要贡献在于解析方法。

Colm 的解析引擎是广义上的,但是它也考虑到了对二进制全局数据结构的构建,那种结构可以在解析过程中查询。在其它广义的方法中,对全局数据的构建需要慎重的考虑,因为在解析方法中会存在固有的并发操作。这是一种非常巧妙的方法,经常可以在总体上避免问题的发生,并把问题延迟到对解析森林在解析之后的后续处理中。

使用 Colm,我们可以在对输入的第一次遍历过程中就获得正确的解析树,并确保某些回溯操作是可接受的。Colm 让我们不需要推断对全局数据的并发更新,也不需要获取很多可能的解析树,只是把错误的抛弃即可。

元编程(也叫做面向元模型的编程)取得了很大进展,这多亏有了对语言工作台和像Colm 这样强大的转换技术的开发。你可能会使用一种吗? 你已经使用一种了吗?你选择的是哪种呢?

查看英文原文: Introducing the Colm Programming Language

2011-05-30 09:073049
用户头像

发布了 340 篇内容, 共 129.0 次阅读, 收获喜欢 13 次。

关注

评论

发布
暂无评论
发现更多内容

产品经理训练营--第四周作业

月亮 😝

快递架构设计

梧桐

大作业一

jizhi7

第四章作业

Kalman

产品经理 产品经理训练营

第十三周-总结

jizhi7

架构内容

梧桐

第十二周总结

jizhi7

week11 作业

zbest

大作业(二)-知识点

hunk

架构师训练营第2期

怀乡恋土的人们

熊斌

学习 2月春节不断更

第十周作业总结

jizhi7

第十一周 - 总结

jizhi7

产品 0 期 - 第四/五周作业

Jxin

架构师训练营 4 期 第6周

引花眠

架构师训练营 4 期

第四章学习总结

Kalman

产品经理 产品经理训练

iOS中MVC、MVP、MVVM、VIPER等技术框架的选型与实践

行者

架构设计 Architecture

与前端训练营的日子 -- Week15

SamGo

学习

协会组织如何实现数字化落地应用?

boshi

数字化转型 七日更

MyBatis专栏 - 二级缓存

小马哥

Java mybatis 七日更 2月春节不断更

数组与链表学习总结

Nick

数组 链表 数据结构与算法

「架构师训练营 4 期」 第六周 - 001&2

凯迪

架构师训练营 4 期

第十一周课后练习

Binary

第11周学习总结

Binary

大作业一:

未来已来

物流系统抢单简单设计

DL

2 期架构师训练营 - 第十周作业与总结

云飞扬

架构师训练营第2期

大作业二

jizhi7

2 期架构师训练营 - 第十三周作业与总结

云飞扬

架构师训练营第2期

白话Mysql的锁和事务隔离级别!死锁、间隙锁你都知道吗?

Java鱼仔

MySQL 高可用

2 期架构师训练营 - 第十一周作业与总结

云飞扬

架构师训练营第2期

2 期架构师训练营 - 第十二周作业与总结

云飞扬

架构师训练营第2期

Colm语言简介_架构_Jean-Jacques Dubray_InfoQ精选文章