Почему я боюсь/не хочу/не могу использовать Nemerle в своей работе?

Сегодня основной для разработчиков является пятая версия языка Perl, однако (на некоторых веб-серверах) продолжают использоваться программы (скрипты), написанные на предыдущей — четвёртой — версии (из-за частичной обратной несовместимости). Фактически стандарт языка определяется реализацией интерпретатора.

С 2000 года идет разработка новой (6-ой) версии языка. В отличие от предыдущих версий, разработчики планируют создать четко определенный стандарт языка. В настоящее время существуют экспериментальные компиляторы Perl 6

$ telnet nemerle.org 80
Trying 95.31.13.136...
Connected to nemerle.org.
Escape character is '^]'.
GET /Download/ HTTP/1.0
Host: nemerle.org

HTTP/1.1 301 Moved Permanently
Server: nginx/0.7.63
Date: Tue, 06 Apr 2010 21:40:39 GMT
Content-Type: text/html
Location: http://nemerle.org/Download/
Connection: close
X-Powered-By: PHP/5.2.9
Vary: Accept-Encoding,Cookie
Expires: -1
Cache-Control: private, must-revalidate, max-age=0
Last-modified: Tue, 06 Apr 2010 21:40:39 GMT
Content-Length: 0

Connection closed by foreign host.

k> Можешь продолжать, ибо fixed. Я весь во внимании

$ make
...
../lib/IAnonymous.n:1:3:1:3: warning: N10002: CR character found in input stream
...
ERROR:reflection.c:2587:get_field_on_inst_generic_type: assertion failed: (field_index >= 0 && field_index < dgclass->count_fields)
Stacktrace:

  at (wrapper managed-to-native) System.MonoType.GetField (string,System.Reflection.BindingFlags) <0x00004>
  at (wrapper managed-to-native) System.MonoType.GetField (string,System.Reflection.BindingFlags) <0xffffffff>
  at System.MonoType.GetField (System.Reflection.FieldInfo) <0x00078>
  at System.Reflection.Emit.TypeBuilder.GetField (System.Type,System.Reflection.FieldInfo) <0x0001b>
  at Nemerle.Compiler.ILEmitter.FrameworkGetField (System.Type,System.Reflection.FieldInfo) <0x0006e>
  at Nemerle.Compiler.ILEmitter.GetFieldInfo (System.Type,Nemerle.Compiler.IField) <0x00046>
  at Nemerle.Compiler.ILEmitter.emit (Nemerle.Compiler.Typedtree.TExpr) <0x066ba>
  at Nemerle.Compiler.ILEmitter.emit (Nemerle.Compiler.Typedtree.TExpr) <0x04cea>
  at Nemerle.Compiler.ILEmitter.emit (Nemerle.Compiler.Typedtree.TExpr) <0x01a9c>
  at Nemerle.Compiler.ILEmitter.emit (Nemerle.Compiler.Typedtree.TExpr) <0x01dc8>
  at Nemerle.Compiler.ILEmitter.emit (Nemerle.Compiler.Typedtree.TExpr) <0x01dc8>
  at Nemerle.Compiler.ILEmitter.emit (Nemerle.Compiler.Typedtree.TExpr) <0x041a4>
  at Nemerle.Compiler.ILEmitter.Run () <0x000f7>
  at Nemerle.Compiler.MethodBuilder/_N__N_lambda__60081__60202.apply_void () <0x000ce>
  at Nemerle.Compiler.TypeBuilder.FinalizeType () <0x000a4>
  at Nemerle.Compiler.TypeBuilder.EmitImplementation () <0x001a5>
  at Nemerle.Compiler.TypesManager/_N_emit_impl__53220.apply_void (Nemerle.Compiler.TypeBuilder) <0x0004e>
  at Nemerle.Compiler.TypesManager/_N_maybe_f__53791.apply_void (Nemerle.Compiler.TypeBuilder) <0x0019c>
  at Nemerle.Collections.NList.Iter<object> (Nemerle.Core.list`1<object>,Nemerle.Builtins.FunctionVoid`1<object>) <0x000bf>
  at Nemerle.Core.list`1<object>.Iter (Nemerle.Builtins.FunctionVoid`1<object>) <0x0002a>
  at Nemerle.Compiler.TypesManager.Iter (Nemerle.Core.list`1<Nemerle.Compiler.TypeBuilder>,Nemerle.Builtins.FunctionVoid`1<Nemerle.Compiler.TypeBuilder>) <0x00084>
  at Nemerle.Compiler.TypesManager.Iter (Nemerle.Builtins.FunctionVoid`1<Nemerle.Compiler.TypeBuilder>) <0x00028>
  at Nemerle.Compiler.TypesManager.compile_all_tyinfos (bool) <0x00169>
  at Nemerle.Compiler.TypesManager/_N__N_lambda__52660__52763.apply_void () <0x0001f>
  at Nemerle.Compiler.Solver.Enqueue (Nemerle.Builtins.FunctionVoid) <0x00045>
  at Nemerle.Compiler.TypesManager.EmitDecls () <0x00052>
  at Nemerle.Compiler.ManagerClass.Run () <0x003f5>
  at Nemerle.CommandlineCompiler.MainClass.main_with_catching () <0x0011f>
  at Nemerle.CommandlineCompiler.MainClass.Main () <0x0018b>
  at (wrapper runtime-invoke) object.runtime_invoke_void (object,intptr,intptr,intptr) <0xffffffff>

$ mono --version
Mono JIT compiler version 2.4.2.2 (tarball Fri Jul 24 11:24:57 EDT 2009)
Copyright (C) 2002-2008 Novell, Inc and Contributors. www.mono-project.com
        TLS:           __thread
        GC:            Included Boehm (with typed GC)
        SIGSEGV:       altstack
        Notifications: epoll
        Architecture:  x86
        Disabled:      none

$ ls -l ncc.exe
-rwxr-xr-x 1 abbat abbat 16384 2010-04-05 16:18 ncc.exe*
$ ./ncc.exe
install the Windows version of Mono to run .NET executables

class FunctionalLineCounter
{
   public static Main () : void
   {
      def sr = System.IO.StreamReader ("~/8.0-RELEASE-i386-disc1.iso");
      def read_lines (line_no : int) : int {   //  (1)
         def line = sr.ReadLine ();
         if (line == null)      //  (2)
            line_no              //  (3)
         else {
            System.Console.WriteLine (line);  //  (4)
            read_lines (line_no + 1)          //  (5)
         }
      };
      System.Console.WriteLine ("Line count: {0}", read_lines (0)); //  (6)
   }
}

$ mono out.exe

Unhandled Exception: System.IO.DirectoryNotFoundException: Could not find a part of the path "/home/abbat/projects/nemerle/test/~/8.0-RELEASE-i386-disc1.iso".
  at System.IO.FileStream..ctor (System.String path, FileMode mode, FileAccess access, FileShare share, Int32 bufferSize, Boolean anonymous, FileOptions options) [0x00000]
  at System.IO.FileStream..ctor (System.String path, FileMode mode, FileAccess access, FileShare share) [0x00000]
  at (wrapper remoting-invoke-with-check) System.IO.FileStream:.ctor (string,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare)
  at System.IO.File.OpenRead (System.String path) [0x00000]
  at System.IO.StreamReader..ctor (System.String path, System.Text.Encoding encoding, Boolean detectEncodingFromByteOrderMarks, Int32 bufferSize) [0x00000]
  at System.IO.StreamReader..ctor (System.String path) [0x00000]
  at (wrapper remoting-invoke-with-check) System.IO.StreamReader:.ctor (string)
  at FunctionalLineCounter.Main () [0x00000]

$ ls -l ~/8.0-RELEASE-i386-disc1.iso
-rw-rw-r-- 1 abbat abbat 655591424 2010-03-25 17:38 /home/abbat/8.0-RELEASE-i386-disc1.iso

Любая достаточно сложная программа /.../ содержит заново написанную, неспецифицированную, глючную и медленную реализацию половины языка Common Lisp.

List a

foo :: a -> b
foo x = foo [x]

namespace Nemerle.IO
{
    public macro PathExpander(path)
    syntax ("~", path)
    {
        <[
            def getEnvironmentVariable(name) {Environment.GetEnvironmentVariable(name) ?? throw Exception($"Environment variable $name is not defined")}
            
            match ($[x | x in $path.Split(IO.Path.DirectorySeparatorChar)])
            {
                | headNode :: tailNodes =>
                    ((regexp match (headNode)
                    {
                        | @"^~$"          => Environment.GetEnvironmentVariable("USERPROFILE")
                        | @"^#(?<sf>.*)#" => Environment.GetFolderPath(Enum.Parse(typeof(Environment.SpecialFolder), sf, false) :> Environment.SpecialFolder)
                        | @"^%(?<ev>.*)%" => getEnvironmentVariable(ev)
                        | _               => if (!IO.Path.IsPathRooted(headNode)) IO.Path.Combine(IO.Directory.GetCurrentDirectory(), headNode) else $"$(headNode)$(Path.DirectorySeparatorChar)"
                    }) :: tailNodes).Fold(headNode, fun(node, path)
                    {
                        IO.Path.Combine(path,
                            regexp match(node) 
                            {
                                | @"^%(?<ev>.*)%" => getEnvironmentVariable(ev)
                                | _ => node
                            }
                        )
                    })
            }
        ]>
    }
}

WriteLine(~"Nemerle.dll");
WriteLine(~(@"~\Links\desktop.lnk"));
WriteLine(~"#ProgramFiles#\\Nemerle\\docs");
WriteLine(~"%SystemRoot%\\System32\\drivers\\etc\\hosts"));
WriteLine(~"C:\\Temp\\%PROCESSOR_ARCHITECTURE%");
def path = @"~\desktop.ini";
WriteLine(~path);

C:\Users\VKochetkov\Documents\Visual Studio 2008\Projects\PathExpansion\PathExpander\bin\Debug\Nemerle.dll
C:\Users\VKochetkov\Links\desktop.lnk
C:\Program Files\Nemerle\docs
C:\Windows\System32\drivers\etc\hosts
C:\Temp\x86
C:\Users\VKochetkov\desktop.ini

N>foo :: a -> b
N>foo x = foo [x]
N>

class A<T> {
    public A<T> Value { get; set}
}