Nemerle

Nemerleは.NETプラットフォーム上で動作する静的型付けの高級言語である。

手続き型、オブジェクト指向、関数型言語の機能を取り込んだハイブリッド言語であり、C#によく似た構文構造と強力なメタプログラミング機能が特徴となっている。

Wrocław UniversityのKamil Skalski、Michał Moskal、Prof. Leszek Pacholski、Paweł Olsztaらによって開発された。

現在ではロシアの開発コミュニティであるRSDNによって開発・保守がされているが、2012年よりJetBrainsがコア開発者を雇用して、"N2" と呼ばれる新規・既存言語を実装するためのフレームワークの開発に注力している。

1. 特徴
-----

おそらくNemerleの最も重要な特徴は、オブジェクト指向プログラミングと関数型プログラミングの両方を混在可能であるということであろう。プログラムのトップレベルではオブジェクト指向の構造を用いるが、メソッド本体には関数型のスタイルを用いることもできる。これは幾つかのプログラムにおいて非常に便利に機能する。以下に特徴的な機能を示す。

強い型推論
マクロによる柔軟なメタプログラミング
オブジェクト指向プログラミング
関数型プログラミングの諸機能：
高階関数
パターンマッチング
代数的データ型
ローカル関数
タプルと匿名型
関数の部分適用メタプログラミング機能はコンパイラの高度な拡張を可能としており、プログラマの負担を可能な限り軽減しつつ、ドメイン固有言語の組み込み、部分評価、アスペクト指向プログラミングなどを可能にしている。

また、ジェネリックプログラミングやラムダや拡張メソッドなどといったCLIの全ての機能を利用することができ、.NETのライブラリをC#と同じくらい簡単に扱うことも可能である。

以下では、これらの機能をNemerle中でどのように利用できるかをいくつかの例を挙げて説明する。

1.1. 型推論
--------

def x = 1; // int def myList = List; // ジェネリック型 List[T] として宣言され、その後の使われ方から推論される myList.Add; // コンパイラにより myList は List[int] と推論される

1.2. 全ては式である
------------

def x = { // x = 3 と等しい def y = 1; def z = 2; y + z // 最後に評価された値が返される };

def x = if  // if、using、try なども全て式である "Monday" else "other day";

def x = try int.Parse catch FormatException => 0 };

def x = returnBlock : { foreach  when  returnBlock; // ブロックを抜ける 

false // x = false };<WtXmlEndTag />

1.3. タプル
--------

def k = ; // k :  def  = k; // a = 1, b = "one"

1.4. パターンマッチ
------------

def result = match  { | 0 => "zero" | 1 => "one" | x when x < 0 => "negative" | _ => "more than one" }

1.5. 関数型とローカル関数
---------------

using System.Console; // クラスとモジュールを名前空間として使用できる def next { x + 1 }; // 引数 x の型は使われ方から推論される

def mult { x * y };

def fibonacci 0 => 0

WriteLine); // 10 "Console.WriteLine);" と等しい WriteLine); // 4 WriteLine); // 55<WtXmlEndTag />

1.6. バリアント
----------

バリアント  は複数の種類の値を表現できる: variant RgbColor{ | Red | Yellow | Green | Different { red : float; green : float; blue : float; } }

1.7. メタプログラミング
--------------

Nemerle のマクロ機能は、コンパイル中にプログラム中のコードの生成・解析・編集を可能にする。マクロは通常のメソッド呼び出しとして使えるほか、構文を定義して用いることもできる。Nemerleの多くの構文はマクロによって定義されている。

"if" マクロの例: macro @if  syntax ", e1, Optional , "else", e2) { /* <[ ]> はコードクォートであり、Nemerleコンパイラは中身を構文木に変換して提供する。 C# における式木に似ているところがある。

/<[ match  { | true => $e1 | _ => $e2 } ]> }

// コード中でマクロを使う: def max = if  a else b; // コンパイル中に上のコードは下のように展開される: def max = match  { | true => a | _ => b }<WtXmlEndTag />

2. 統合開発環境
---------

NemerleはVisual Studio 2008に統合することができる。Visual Studio 2008 Shellをベースとした無料のIDEも存在する。

また、SharpDevelop用のプラグインも用意されている。

[2]によりVisual Studio 2010にも統合が可能で、[3]も存在している。

3. 例
----

3.1. Hello, World!
------------------

伝統的なHello worldは、次のようにC#ライクなスタイルで書くことができる。

class Hello { static Main  : void { System.Console.WriteLine ; } }

あるいは、よりシンプルに

System.Console.WriteLine;

とも書ける。

3.2. マクロの例
----------

3.2.1. 文字列フォーマット
----------------

$ 記号により文字列中に値を展開することができる: def s = $"The number is $i"; // $i を変数 i の値で置き換える def s = $"$x + $y = $"; // $ を使うことで複雑な式も展開できる

3.2.2. コード生成
------------

//StructuralEquality//、//Memoize//、//json//、//with//などはコンパイル時にコードを生成するマクロである。 いくつかのマクロはC#における属性のように見えるが、コンパイル時に適切なコードへの変換を行う。

[StructuralEquality] // IEquatable[Sample] インターフェースを自動で実装するマクロ class Sample { [Memoize] // 最初の計算結果を保持する public static SomeLongEvaluations : int { MathLib.CalculateNthPrime }

[DependencyProperty] // WPF 依存関係プロパティ public DependencyPropertySample { get; set; }

public static Main : void { /* 構文マクロ "json" は次のようなコードを生成する: JObject.Object)),  + 1))])

/def jObject = json { a: SomeLongEvaluations; b:  + 1)} // オブジェクト初期化マクロ "<-" はC#のオブジェクト初期化子と同じ機能を提供する def k = Diagnostics.Process <- { StartInfo <- // コンストラクタ呼び出しなしに内部のプロパティの初期化を行える { FileName = "calc.exe"; UseShellExecute = true; } Exited +=  => WriteLine; // イベントとデリゲート }

ReadLine; } }<WtXmlEndTag />

3.2.3. データベースへのアクセス
-------------------

例えば、Nemerleのマクロを用いてSQL文を発行するコードは以下のように書くことができる。

ExecuteReaderLoop  });

これは、次の文の代わりに用いられる。

string sql = "SELECT firstname, lastname FROM employee WHERE firstname = :a"; NpgsqlCommand dbcmd = new NpgsqlCommand ; dbcmd.Parameters.Add;

NpgsqlReader reader = dbcmd.ExecuteReader;

while) { string firstname = reader.GetString ; string lastname = reader.GetString ; System.Console.WriteLine  } reader.Close; dbcmd.Dispose;<WtXmlEndTag />

これは、ライブラリ中の幾つかの動作を隠すだけでなく、クエリ文字列や変数、データベースから返されたコラムがコンパイラによって理解され実行されるということを表している。ExecuteReaderLoopマクロは、プログラマが記述しなければならないコードと同等のコードを生成させることができる。またSQL文が正しいかどうかをコンパイル時に検査することも可能である。

3.2.4. 新しい言語の実装
---------------

Nemerleのマクロを用いると、言語に新しい構文を導入することも可能である。

macro ReverseFor  syntax ", body) { <[ for  $body ]> }

この例ではford  EXPR構文を定義していて、この構文は次のように用いることができる。

ford  print ;

3.3. NemerleとASP.NET
--------------------

NemerleはASP.NET上に直接組み込むことが可能である。

また、別ファイルにコードを記載し、それを呼び出すことも可能である。

3.4. P/Invoke
-------------

Nemerleはネイティブのプラットフォームライブラリを呼び出すことができる。その構文はC#やその他の.NET言語に非常に似ている。

using System; using System.Runtime.InteropServices;

class PlatformInvokeTest { [DllImport] public extern static puts : int;

[DllImport] internal extern static _flushall : int;

public static Main : void { _ = puts; _ = _flushall; } }<WtXmlEndTag />

4. 参照
-----

5. 参考
-----

[4]
[5]
[6]

6. 外部リンク
--------

[7]
[8]
[9]
[10]