首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
您找到你想要的搜索结果了吗?
是的
没有找到

从 Java 和 JavaScript 来学习 Haskell 和 Groovy(元编程)

本篇文章的话题是元编程。首先来认识元编程,我在第一篇 《引子》里面已经介绍:元编程,指的是在运行时改变 “类” 的定义,例如访问、增加或修改等等。一言以蔽之,就是 “用程序来写程序”。在第二篇的 《类型系统》里面已经借由继承和接口的实现,介绍了一些利用元编程特性来增加或改变子类行为的方法。回顾语言发展的长河,其实是经历了一个从 “对象 -> 类 -> 元类” 到 “对象 -> 原型” 的发展过程的。所以,无论是类,还是元类,这样的概念其实都不是非有不可的,只是因为我们思考的习惯,特别是抽象的习惯而顺其自然地产生了。这一点我在 《编程范型:工具的选择》里面已经详细描述了,建议在往下阅读前移步。

02

换个角度理解python元编程

元编程这个概念本身不新,只是没有发现原来很早就在用这个东西,所以python等下再聊,先理一理怎么理解编程这个事情。 我仔细思考,其实是在做一件设计想法,纪录想法,实现想法的过程。 怎么样设计想法?应该需要一些图形,文字通过一定格式纪录下来,反复修改,最好是有一个规范或者工具让其他人也能明白和理解,方便交流。这个问题在编程这里也就是进入到编程语言的选择上面来,也可以自己制定一个规范,不管你用lex+yacc语法制导还是设计LLVM的AST,反正结果是要一种编程语言来设计你的想法。 选定了设计想法的规范也就是编程语言,现在就是怎么样来纪录想法,显而易见不可能是流水账式的纪录,你得把想法重点理清楚,想法的关键字是什么,有些什么用途,有没有关联的事务,这里就是纪录想法的格式,对应到编程就是你用什么设计模式,你是用传统的类继承,还是鸭子类型的接口或者猴子补丁的方式来纪录想法。 有了纪录的想法图纸,对应到编程就是静态的代码字面量,就能真正的实现想法,根据想法图纸生成真实的对象。 这个过程和元编程有什么关系?如果你明白上面的过程,我就可以这样描述:lex+yacc可以创建编程语言,编程语言可以创建元编程,元编程可以创建类,类可以创建对象实例。 那到底什么是元编程呢,C++里面他的实现叫做模板和宏,python里面他可以用装饰器实现,也可以用type元类型实现,他是在编程语言和类之间的一层设计技术,yacc生成的对象是编程语言,编程语言生成的对象是元编程对象,元编程对象生成的对象是类,类生成的对象是实例。 C的宏和模板出现得很早很早,本质也很简单,就像是一份留白的合同,你填上名字就能用。 python对象有2个重要的容器,一个是继承元组,一个是属性字典,所有的属性包括方法都是放在属性字典里面,这个2个容器在init之前就已经生成好,如果你要在init之前做一些处理,比如捕获子类的属性名把字符串类型的属性名前面都加上str,把方法名首字符都大写,强制子类使用一些编程规约,还或者加载一些缓存的数据,实现方法重载等等。当然子类可以在init做自己的处理,如果你是一个框架的设计者,自动化一些背后的处理确实看起来很高级。所以元编程的本质就是一种增加乐趣的玩具,应为编码很枯燥的。

01
领券