`

初窥Nemerle语言

阅读更多
Nemerle是Microsoft的研究项目之一,由 Wrocław 大学的Kamil Skalski、Michał Moskal、Prof. Leszek Pacholski、Paweł Olszt等人发明.

Nemerle是一种多范型的语言(面向对象和函数式),完全支持编译器宏(后来更多的是Lisp的变种,而不是C++),以及许多其他的东西。Nemerla与VS2010里发布的F#不同,后者是纯函数式语言。

Nemerle提供了与C#近似的语法和强大的元编程系统。有关meta-program可以参考:http://en.wikipedia.org/wiki/Metaprogramming

你可以在http://nemerle.org/Main_Page下载它的最新发布,在发布包中还带有与visual studio的集成的IDE,可以很方便地学习Nemerle语言,最新版本是0.9.7(莫大鼓舞,快发布正式release了呀)

最传统的"Hello,World"
using System.Console;
class Hello {
  static Main () : void {
    WriteLine ("Hello, world!");
  }
}

Nemerle语言具有与C#近似的语法,无疑这使得学习曲线大幅下降。这里有几个与C#版"Hello,World"不同的地方:

1. void等返回类型都写到了右边的冒号后面
2. 在使用using的时候,引用的不单可以是命名空间(namespace),还可以引用类的成员,这样使得我们的WriteLine()函数都可以直接的使用。

多范式语言

using System;
using System.Console;
using Nemerle.Utility;
using System.IO;
module Program
{
    class LineCounter
    {
        public static Main():Void
        {
            def sr=StreamReader(@"c:\test.rb");    //  (1)   
            mutable line_no = 0;                   //  (2)
            mutable line = sr.ReadLine ();
            while (line != null) {                       
                WriteLine (line);
                line_no = line_no + 1;              
                line = sr.ReadLine ();   
             };                                    
             WriteLine ("Line count: {0}", line_no);
        }
    }
}



这里和C#不同的地方,首先我们通过关键字def定义了一个值sr,我们并没有声明它的类型,编译器会根据上下文自动赋予类型,我们称之为类型推断(Type Inference)。而且new关键字也不需要了。后面的方法与C#完全一样,不再赘述。

在(2)的地方,我们用mutable(即:可变的)声明了一个值line_no,它很像C#里的变量,必须初始化才能使用,并且还可以改变它的值。它与(1)处的"@"C:\test.rb"不同,后者是一个不可变的值。

我们前面提过Nemerle是种多范式的语言,所以我们可以在需要的地方采用函数式编程,其他地方采用面向对象编程,无疑更具备灵活性。

上面的代码可以修改成
using System;
using System.Console;
using Nemerle.Utility;
using System.IO;
module Program
{
 class FunctionalLineCounter 
 {   
    public static Main () : void   
    {  
        def sr = System.IO.StreamReader (@"C:\test.rb");     
        def read_lines (line_no : int) : int 
        {  
            def line = sr.ReadLine ();       
            if (line == null)           
              line_no           //here        
              else {         
              System.Console.WriteLine (line);          
              read_lines (line_no + 1)               
               }     
         };    
        System.Console.WriteLine ("Line count: {0}", read_lines (0));   
    } 
  }
}

这段程序从"//here"处结束并返回结果,而参数的累加结果正是最后输出的line_no的值.


文本文件有多少行,read_lines()函数就要执行几次,像使用while循环一样,只不过稍微换了一种思路。这时候可能您会考虑到使用递归而影响效率的问题,事实是当一个函数主体在调用另一个函数后执行完毕,没有创建任何新的堆栈,这被称作尾端调用(Tail Call),所以这段代码和while循环在效率上一样的。Nemerle尤其注重将循环写成递归的深入的理解.

强大的宏

使用 Nemerle 宏(macros)可以产生新的语法。在Nemerler IDE中,添加一个macro project,并在你的程序里引用这个macro project.


using Nemerle.Compiler;
namespace Macro
{
    macro forp (i, n , m , body) //(1)
    syntax("forpermutation","(",i,"from", n,"to",m,")",body) //(2)
    {
        <[ for ($i = $n; $i <= $m; $i++) $body ]>
    }
 
}


在(1)处,我们定义了一个宏 forp,带有四个参数,参数默认类型是Expr,即表达式。
接下来,我们通过syntax定义了调用这个宏的语法,然后在<[...]>里定义宏的内容。

这个宏可以这样被调用
        mutable i=0;
        forpermutation(i from 3 to 4) printf("%d\r\n",i);


这样我们就创造了一个新的语法。奇怪的是,我将from换成in,Nemerle则会报错,文档中并未给出原因,个人觉得应该避免用关键字来定义语法。

1
1
分享到:
评论
9 楼 jonathan_zz 2009-06-25  
有些类似Scala,宏看起来比较有意思
8 楼 RednaxelaFX 2009-06-23  
night_stalker 写道
问个小白问题:这个能省略行末分号吗?
[quote=]semicolons are optional at the end of code blocks.

7 楼 night_stalker 2009-06-23  
问个小白问题:这个能省略行末分号吗?
6 楼 ray_linn 2009-06-23  
不过扩展属性和扩展事件好像是没希望了。。。。
5 楼 RednaxelaFX 2009-06-23  
去年VS2010 CTP的时候我跑到feedback论坛去提feature request,希望C# 4能支持statement lambda转换成Expression Tree,结果没下文。上个月还是再之前一个月问Eric Lippert为什么决定不实现这个功能,他说其实不是不想实现,而是在C# 4的周期内来不及了。编译器里有些遗留设计阻碍了他们干净的实现这功能,所以他们一直在重构,据说最近已经把阻碍因素重构得差不多了,所以C# 5看来还是有指望看到这功能实现出来的~
4 楼 ray_linn 2009-06-23  
我觉得目前C# 4.0已经是比较完美的一个版本了(当然我对C# 5.0里的从源代变成表达式树也是很感兴趣),是否再进一步引入动态语言的语法,不过Anders这个大天才,引领者静态语言走向新的天地,还有什么想法就不得而知了。

Microsoft成就了Anders,Anders成就了C#.
3 楼 RednaxelaFX 2009-06-23  
Anders和设计组的想法似乎是,“既然现实中我们无法不面对一些动态的状况,干脆就在语言里支持动态特性,保持代码的干净”。所以增加dynamic之后,C#仍然是完好的静态类型语言,只是多了一个称为dynamic的静态类型而已。这样,如果我们需要从C#使用JavaScript/Python/Ruby等语言写的库或者脚本,就能用正常的C#语言来使用而不必自己写一大堆显式的反射调用。正是有了这样的支持,我们才可以更好的“把动态化、函数化的部分委托给其他的语言”,对吧?
2 楼 ray_linn 2009-06-23  
我有时候在想C#是否还需要动态化?完全可以把动态化、函数化的部分委托给其他的语言,最后在C#中将所有部分集合在一起...是否更具备效率。
1 楼 RednaxelaFX 2009-06-23  
Nemerle一直在玩。把类型标记放到声明的后面对简化解析器是有好处的,不过要是在声明成员的时候能在开头用不同的关键字标识出来就更方便些,例如用var/val/fun/function之类的。现在这种语法要到声明中标识符之后看看有没有左括号才能区别是方法声明还是域声明,解析起来没比C#的容易多少。

觉得比较怨念的一个feature是它没有multi-method。JVM上的Nice语言对multi-method的支持我就挺喜欢的~

相关推荐

    YOLO算法-数据集数据集-330张图像带标签-椅子-书桌.zip

    YOLO系列算法目标检测数据集,包含标签,可以直接训练模型和验证测试,数据集已经划分好,包含数据集配置文件data.yaml,适用yolov5,yolov8,yolov9,yolov7,yolov10,yolo11算法; 包含两种标签格:yolo格式(txt文件)和voc格式(xml文件),分别保存在两个文件夹中,文件名末尾是部分类别名称; yolo格式:<class> <x_center> <y_center> <width> <height>, 其中: <class> 是目标的类别索引(从0开始)。 <x_center> 和 <y_center> 是目标框中心点的x和y坐标,这些坐标是相对于图像宽度和高度的比例值,范围在0到1之间。 <width> 和 <height> 是目标框的宽度和高度,也是相对于图像宽度和高度的比例值; 【注】可以下拉页面,在资源详情处查看标签具体内容;

    java毕设项目之ssm蜀都天香酒楼的网站设计与实现+jsp(完整前后端+说明文档+mysql+lw).zip

    项目包含完整前后端源码和数据库文件 环境说明: 开发语言:Java 框架:ssm,mybatis JDK版本:JDK1.8 数据库:mysql 5.7 数据库工具:Navicat11 开发软件:eclipse/idea Maven包:Maven3.3 服务器:tomcat7

    weixin138社区互助养老+ssm(论文+源码)-kaic.zip

    weixin138社区互助养老+ssm(论文+源码)_kaic.zip

    光纤到户及通信基础设施报装申请表.docx

    光纤到户及通信基础设施报装申请表.docx

    java毕设项目之ssm基于jsp的精品酒销售管理系统+jsp(完整前后端+说明文档+mysql+lw).zip

    项目包含完整前后端源码和数据库文件 环境说明: 开发语言:Java 框架:ssm,mybatis JDK版本:JDK1.8 数据库:mysql 5.7 数据库工具:Navicat11 开发软件:eclipse/idea Maven包:Maven3.3 服务器:tomcat7

    功能完善的电商数据智能爬虫采集系统项目全套技术资料.zip

    功能完善的电商数据智能爬虫采集系统项目全套技术资料.zip

    YOLO算法-刀数据集-198张图像带标签-刀-枪.zip

    YOLO系列算法目标检测数据集,包含标签,可以直接训练模型和验证测试,数据集已经划分好,包含数据集配置文件data.yaml,适用yolov5,yolov8,yolov9,yolov7,yolov10,yolo11算法; 包含两种标签格:yolo格式(txt文件)和voc格式(xml文件),分别保存在两个文件夹中,文件名末尾是部分类别名称; yolo格式:<class> <x_center> <y_center> <width> <height>, 其中: <class> 是目标的类别索引(从0开始)。 <x_center> 和 <y_center> 是目标框中心点的x和y坐标,这些坐标是相对于图像宽度和高度的比例值,范围在0到1之间。 <width> 和 <height> 是目标框的宽度和高度,也是相对于图像宽度和高度的比例值; 【注】可以下拉页面,在资源详情处查看标签具体内容;

    Android程序开发初级教程WORD文档doc格式最新版本

    ### Android程序开发初级教程(一):初识Android **平台概述** Google推出的Android操作系统平台已经正式亮相,这是一个基于Linux内核的开源操作系统。对于开发者而言,了解其架构和支持的开发语言至关重要。以下是Android平台的架构概览: **平台架构及功能** 1. **应用框架(Application Framework)**:包含可重用和可替换的组件,确保所有软件在该层面上的平等性。 2. **Dalvik虚拟机(Dalvik Virtual Machine)**:一个基于Linux的虚拟机,为Android应用提供运行环境。 3. **集成浏览器(Integrated Browser)**:基于开源WebKit引擎的浏览器,位于应用层。 4. **优化图形(Optimized Graphics)**:包括自定义的2D图形库和遵循OpenGL ES 1.0标准的3D实现。 5. **SQLite数据库**:用于数据存储。 6. **多媒体支持(Media Support)**:支持通用音频、视频以及多种图片格式(如MPEG4, H.264

    【组合数学答案】组合数学-苏大李凡长版-课后习题答案

    内容概要:本文档是《组合数学答案-网络流传版.pdf》的内容,主要包含了排列组合的基础知识以及一些经典的组合数学题目。这些题目涵盖了从排列数计算、二项式定理的应用到容斥原理的实际应用等方面。通过对这些题目的解析,帮助读者加深对组合数学概念和技巧的理解。 适用人群:适合初学者和有一定基础的学习者。 使用场景及目标:可以在学习组合数学课程时作为练习题参考,也可以在复习考试或准备竞赛时使用,目的是提高解决组合数学问题的能力。 其他说明:文档中的题目覆盖了组合数学的基本知识点,适合逐步深入学习。每个题目都有详细的解答步骤,有助于读者掌握解题思路和方法。

    .net core mvc在线考试系统asp.net考试系统源码考试管理系统 主要技术: 基于.net core mvc架构和sql server数据库,数据库访问采用EF core code fir

    .net core mvc在线考试系统asp.net考试系统源码考试管理系统 主要技术: 基于.net core mvc架构和sql server数据库,数据库访问采用EF core code first,前端采用vue.js和bootstrap。 功能模块: 系统包括前台和后台两个部分,分三种角色登录。 管理员登录后台,拥有科目管理,题库管理,考试管理,成绩管理,用户管理等功能。 教师登录后台,可进行题库管理,考试管理和成绩管理。 用户登录前台,可查看考试列表,参加考试,查看已考试的结果,修改密码等。 系统实现了国际化,支持中英两种语言。 源码打包: 包含全套源码,数据库文件,需求分析和代码说明文档。 运行环境: 运行需vs2019或者以上版本,sql server2012或者以上版本。

    YOLO算法-易拉罐识别数据集-512张图像带标签-可口可乐.zip

    YOLO系列算法目标检测数据集,包含标签,可以直接训练模型和验证测试,数据集已经划分好,包含数据集配置文件data.yaml,适用yolov5,yolov8,yolov9,yolov7,yolov10,yolo11算法; 包含两种标签格:yolo格式(txt文件)和voc格式(xml文件),分别保存在两个文件夹中,文件名末尾是部分类别名称; yolo格式:<class> <x_center> <y_center> <width> <height>, 其中: <class> 是目标的类别索引(从0开始)。 <x_center> 和 <y_center> 是目标框中心点的x和y坐标,这些坐标是相对于图像宽度和高度的比例值,范围在0到1之间。 <width> 和 <height> 是目标框的宽度和高度,也是相对于图像宽度和高度的比例值; 【注】可以下拉页面,在资源详情处查看标签具体内容;

    (175415460)基于SpringBoot的通用管理系统源码+数据库+项目文档,前后端分离的通用管理系统模版,可用于开发毕业设计

    包含了登陆注册、用户管理、部门管理、文件管理、权限管理、日志管理、个人中心、数据字典和代码生成这九个功能模块 系统采用了基于角色的访问控制,角色和菜单关联,一个角色可以配置多个菜单权限;然后再将用户和角色关联,一位用户可以赋予多个角色。这样用户就可以根据角色拿到该有的菜单权限,更方便管理者进行权限管控。 本系统还封装了文件管理功能,在其他模块如若要实现图片/文件上传预览时,前端只需导入现成的 Vue 组件即可实现(使用 viewerjs 依赖实现),后端只需定义 String 类型的实体类变量即可,无需再去研究文件上传预览的相关功能,简化了开发者的工作量。内容来源于网络分享,如有侵权请联系我删除。另外如果没有积分的同学需要下载,请私信我。

    三相10Kw光伏并网逆变器 包含全套理图 PCB 源代码

    三相10Kw光伏并网逆变器。包含全套理图 PCB 源代码

    GJB 5236-2004 军用软件质量度量

    GJB 5236-2004 军用软件质量度量文档,本称准规定了车用软件产品的质重模型和基本的度量。本标准为确定车用软件质量需求和衡量军用 软件产品的能力提供了一个框架。

    (179941432)基于MATLAB车牌识别系统【GUI含界面】.zip

    基于MATLAB车牌识别系统【GUI含界面】.zip。内容来源于网络分享,如有侵权请联系我删除。另外如果没有积分的同学需要下载,请私信我。

    (9546452)宿舍管理系统

    【宿舍管理系统】是一种专为高校或住宿机构设计的信息化解决方案,旨在提高宿舍管理的效率和准确性。该系统包含了多项核心功能,如宿舍管理员管理、宿舍信息维护、查询、卫生检查以及电费缴纳等,旨在实现全面的宿舍运营自动化。 **宿舍管理员管理**功能允许指定的管理员进行用户权限分配和角色设定。这包括对管理员账户的创建、修改和删除,以及设置不同的操作权限,例如只读、编辑或管理员权限。通过这样的权限控制,可以确保数据的安全性和管理的规范性。 **宿舍添加与管理**是系统的基础模块。管理员可以录入宿舍的基本信息,如宿舍号、楼栋、楼层、房间类型(单人间、双人间等)、容纳人数、设施配置等。此外,系统还支持批量导入或导出宿舍信息,方便数据的备份和迁移。 **查询功能**是系统的重要组成部分,它允许管理员和学生根据不同的条件(如宿舍号、楼栋、学生姓名等)快速查找宿舍信息。此外,系统还可以生成各种统计报告,如宿舍占用率、空闲宿舍数量等,以便于决策者进行资源优化。 **卫生检查**功能则是对宿舍卫生状况进行定期评估。管理员可设定检查计划,包括检查周期、评分标准等,并记录每次检查的结果。系统能自动生成卫生报表,用于

    YOLO算法-包装好的服装数据集-654张图像带标签-.zip

    YOLO系列算法目标检测数据集,包含标签,可以直接训练模型和验证测试,数据集已经划分好,包含数据集配置文件data.yaml,适用yolov5,yolov8,yolov9,yolov7,yolov10,yolo11算法; 包含两种标签格:yolo格式(txt文件)和voc格式(xml文件),分别保存在两个文件夹中,文件名末尾是部分类别名称; yolo格式:<class> <x_center> <y_center> <width> <height>, 其中: <class> 是目标的类别索引(从0开始)。 <x_center> 和 <y_center> 是目标框中心点的x和y坐标,这些坐标是相对于图像宽度和高度的比例值,范围在0到1之间。 <width> 和 <height> 是目标框的宽度和高度,也是相对于图像宽度和高度的比例值; 【注】可以下拉页面,在资源详情处查看标签具体内容;

    九缸星形发动机点火器3D

    九缸星形发动机点火器3D

    小程序毕业设计项目-音乐播放器

    本项目可以作为小程序毕设项目,主要功能为音乐播放器,主要功能是:可以播放歌曲(采用mp3网络连接实现)、专辑封面播放时可以旋转,能够实现开始和暂停播放,可以点击下一首歌曲,主页面实现动态轮播图

    出差审批单(表格模板).docx

    出差审批单(表格模板).docx

Global site tag (gtag.js) - Google Analytics