トップ > Nemerle

型推論

C# Nemerle

id:kuripさんのところより
http://d.hatena.ne.jp/kurip/20060606#c

List.ConvertAll<U>(delegate {...});

コイツが上手く推論してくれないため、型パラメータを明示的に指定することを要求されます。Nemerleだと型推論が頑張るので、

using System;
using System;
using System.Collections.Generic;

def arr = array ["", "aaa", "bbb", "", "", "ccc", ""];
def arrList = List(arr);
def decoratedList = arrList.ConvertAll (s => "/* " + s + " */");

decoratedList.ForEach (s => Console.WriteLine (s));

このように書けます。C#ももう少し頑張って欲しいです。ちなみにLinq付属のコンパイラも駄目でした。

nCr

Nemerle

http://d.hatena.ne.jp/Ozy/20060603#p2より
Nemerleで挑戦してみました。

using Nemerle.IO;
mutable n,r;

def c(){
    scanf("%d %d",n,r);
    match*1; c()
    }
}

c()

改行、空白削っても147B・・・勝負になりません。(^^;

(追記)
matchをやめてメモ帳で保存して131B。viだと最後に改行が追加されるのを忘れてました(笑)。

using Nemerle.IO;
mutable n,r;

def c(){
    scanf("%d %d",n,r);
    when(n|r!=0){
        printf("%d\n",$[1..r].FoldLeft(1,(i,a)=>a*(n-i+1)/i));c()
    }
}
c()

*1:n,r) ){ |(0,0)=>() |_=>printf("%d\n",$[1..r].FoldLeft(1,(i,a)=>a*(n-i+1)/i

Macroの世界

Nemerle

Nemerleの強みの一つにMacroがあります。Cのマクロ同様(Pre)コンパイル時に手を出せるのですが、単なる置換だけでなく、解析木にアクセス出来ます。なので、属性を使った委譲構文でmixinモドキをやったり、LINQっぽいクエリ式を実現することも可能です。それだけ強力なら、ばんばん紹介すれば良いのですが、私があまり理解出来ていないため紹介出来ないのでした。(^^; それでも、最近、何となく分かってきてはいるのですが・・・

続きを読む

LINQ対応

Nemerle

ついにSystem.Query.dllが使えるようになりました。

using System;
using System.Collections.Generic;
using System.Query;

def nums = $ [0 .. 10]; 

def q = nums
    .Where (x => x % 2 == 0)
    .OrderByDescending (x => x)
    .Select (x => x) : IEnumerable [int];

foreach (x in q) Console.WriteLine (x);

/* 結果
10
8
6
4
2
0
 */

カタコトの英語でメールしまくってゴメンなさい。(^^;＞Nemerleの中の人。

型の別名

Nemerle

C#では同一ファイル内に限って、

using int32 = System.Int32;

のように型に別名を付けられますが、他のアセンブリから利用するようなことは出来ません。一方、NemerleではC/C++のtypedefのようなモノがサポートされています。

続きを読む