13

社区维基问题：

根据这个问题：在 .Net 中使用 Scala 有什么好处？另一个问题浮现在脑海。谁能列出Nemerle和 F# 在 .Net 平台上进行功能开发的比较优势（和劣势）？我只是顺便看了看Nemerle。听起来它与 F# 在同一个球场上发挥作用，所以我想知道除了明显的语法差异和 F# 得到微软支持的巨大优势之外，还有什么不同。

4

2 回答 2

20

我接触过这两种语言，我对 Nemerle 的印象简要如下：（我假设大多数观众都熟悉 F#，而 Nemerle 不太受欢迎，所以为了公平起见，我会多介绍一下）：

  • F# 社区相当大，并且由于大量的博客文章、文章等而不断增长。它也分布在各个国家/地区。相反，Nemerle 爱好者基本上都是讲俄语的，并且集中在RSDN.ru网站上。
  • 对于具有类 C 语言背景的开发人员来说，Nemerle 语法对 IMO 更加友好。
  • Nemerle（以及 F#）具有类型推断功能。Nemerle 中的类型推断机制与方法体（局部函数、变量等）绑定，与 F# 的全局类型推断作用域相对。然而，Nemerle 编译器并没有强制执行任何特定的编写代码来辅助类型推断机制的习惯用法。

F＃

open System.Text

let l = [1; 2; 3]
let r1 = l |> List.fold(fun (sb : StringBuilder) v -> sb.Append(v).AppendLine()) (StringBuilder()) // type annotation is required on the function argument
let r2 = (StringBuilder(), l) ||> List.fold(fun sb v -> sb.Append(v).AppendLine()) //here compiler can infer type of State parameter

内梅尔

using System.Console; 
using System.Collections.Generic; 
using System.Text; 

def l = [1,2,3]; 
def res = l.FoldLeft(StringBuilder(), (v, acc) => acc.Append(v).AppendLine()); 
WriteLine($"Result:\n$res"); 

def d = Dictionary(); // generic parameters are absent (even placeholders!!!) 
d.Add(1, "!"); 
WriteLine(d.GetType()); // System.Collections.Generic.Dictionary`2[System.Int32,System.String]

此外，您可能会注意到 Nemerle 编译器的另一个特性——它可以从进一步的使用中推断出类型。F# 使用基于 Hindley-Milner 算法的方法来推断类型，并尝试推断大多数通用类型。相反，Nemerle 从不推断多态类型，总是寻找最具体的类型。

F＃

let addInt = (+) 5
let addString = (+) "!!!"

let run f x = f (f x) // ('T -> 'T) -> 'T -> 'T

run addInt 5
run addString "S"

Nemerle 在相同条件下将推断运行类型为 (int->int) * int -> int。

有关 Nemerle 类型推断机制的更多详细信息，请参阅 Michal Moskal 的硕士论文：Type Inference With Deferral

  • Nemerle 具有丰富的元编程能力。大多数语言控制结构，如循环、条件表达式、LINQ 支持、即将推出的解析功能包括 C# 源等等——所有这些都是使用宏创建的。可以在此处找到宏应用程序的一个示例。顺便说一句，上面示例中使用$语法的字符串格式化功能 - 也是内置宏。

编辑：添加了稍大的样本

using System.Console;
using System.Collections.Generic;
using System.Text;

variant Expr
{
  | Const { value : double }
  | Var { name : string }
  | Operation { id : string; left : Expr; right : Expr }

  public Eval(operations : Dictionary[string, double*double -> double], context : Dictionary[string, double]) : double
  {
    match(this)
    {
        | Const (value) => value
        | Var(name) => context[name]
        | Operation(id, left, right) => 
            def f = operations[id];
            f(left.Eval(operations, context), right.Eval(operations, context))
    }
  }
}

module Program
{
    public Main() : void
    {
        def expr = 
            Expr.Operation(
                "*",
                Expr.Const(10),
                Expr.Operation(
                "+",
                Expr.Var("n"),
                Expr.Const(5)
                )
            );
        def operations = Dictionary.[string, double * double -> double]();
        operations["+"] = (x, y) => x + y;
        operations["*"] = _ * _;

        def vars = Dictionary();
        vars["n"] = 3.0;

        def result = expr.Eval(operations, vars);
        WriteLine($"Result is $result");
    }
}
于 2010-08-27T22:18:44.587 回答
4

我对 Nemerle 知之甚少，但我认为它的一大特点是宏（一种类似于卫生的 Scheme 的快乐宏，而不是丑陋的 C 类宏）。我从来没有完全理解为什么人们如此喜欢宏，但话说回来，我从来没有理解为什么人们如此喜欢代数数据类型和模式匹配，直到我开始使用 F#。所以我怀疑如果你喜欢宏，并且你使用.NET，那么你就是一个狂热的 Nemerle 粉丝。

于 2010-08-27T21:56:54.560 回答