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

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

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

02

C++语言的表达式模板:表达式模板的入门性介绍

原标题:C++ Expression Templates: An Introduction to the Principles of Expression Templates 原作者:Klaus Kreft与Angelika Langer 原文链接: http://www.angelikalanger.com/Articles/Cuj/ExpressionTemplates/ExpressionTemplates.htm 翻译:Magi Su 翻译已经过原作者许可,转载请先征求原作者的许可。图片均取自原文,如果有水印为CSDN所打和老子没关系。出于清晰起见,文章中所有模板中的class都被改为typename。 模板(template)最早是以将类型(type)参数化为目的引入C++语言的。(译注1)链表 (list)是一个典型的例子。实际编码的时候,人们并不希望为保存不同类型变量的链表 分别编码,而是希望在编写的时候能够使用一个占位符(placeholder)来代替具体的类型 (即是模板参数),而让编译器来生成不同的链表类(模板的实例化)。 时至今日,模板的使用已经远远超过C++模板的发明者所预期的范畴。模板的使用已经涵盖 了泛型编程,编译时求值,表达式模板库,模板元编程,产生式编程(generative programming)等诸多领域。在这篇文章中,我们仅限于探讨一些表达式模板的编程知识, 侧重于编写表达式模板程序库这个方面。 我们必须指出:表达式模板库是相当复杂的。出于这个原因,我们读到过的关于表达式模 板的介绍都不是很容易理解的。因此,本文的作者希望能够通过本文为表达式模板提供一 个通俗的介绍,同时又不失对具体实现细节的阐述,从而对读者阅读模板库的代码能够起 到帮助。作者希望提取出表达式模板编码的一些原则性知识。有关于此领域的更多细节可 以参考其他著作。

06

换个角度理解python元编程

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

01
领券