using System.Console;
using System.Diagnostics;

def Akk(a, b)
{
    if (a == 0)
        b + 1
    else if (b == 0)
        Akk(a - 1, 1)
    else
        Akk(a - 1, Akk(a, b - 1))
}

def AkkDecl(a, b)
{ | (0, _) => b + 1
  | (_, 0) => AkkDecl(a - 1, 1)
  | (_, _) => AkkDecl(a - 1, AkkDecl(a, b - 1))
}

def time(f)
{
  def timer = Stopwatch();
  timer.Start();
  def result = f();
  timer.Stop();
  WriteLine(timer.Elapsed);
  WriteLine("result = {0}", result : int);
}

_ = Akk(3, 2);
_ = AkkDecl(3, 2);

System.Threading.Thread.Sleep(200);

time(() => Akk(3, 11));
time(() => AkkDecl(3, 11));
WriteLine("===============");
time(() => Akk(3, 11));
time(() => AkkDecl(3, 11));
WriteLine("===============");
time(() => Akk(3, 11));
time(() => AkkDecl(3, 11));

using System.Console;
using System.Diagnostics;

public module Test
{
  public Akk(a : int, b : int) : int
  {
      if (a == 0)
          b + 1
      else if (b == 0)
          Akk(a - 1, 1)
      else
          Akk(a - 1, Akk(a, b - 1))
  }

  public AkkDecl(a : int, b : int) : int
  { | (0, _) => b + 1
    | (_, 0) => AkkDecl(a - 1, 1)
    | (_, _) => AkkDecl(a - 1, AkkDecl(a, b - 1))
  }
}

def time(f)
{
  def timer = Stopwatch();
  timer.Start();
  def result = f();
  timer.Stop();
  WriteLine(timer.Elapsed);
  WriteLine("result = {0}", result : int);
}

_ = Test.Akk(3, 2);
_ = Test.AkkDecl(3, 2);

System.Threading.Thread.Sleep(200);

time(() => Test.Akk(3, 11));
time(() => Test.AkkDecl(3, 11));
WriteLine("===============");
time(() => Test.Akk(3, 11));
time(() => Test.AkkDecl(3, 11));
WriteLine("===============");
time(() => Test.Akk(3, 11));
time(() => Test.AkkDecl(3, 11));

Началось всё с #import. Там без свойств никак.

IT>>>Вот расскажи мне. Ты когда нибудь пользовался такой фигнёй в плюсах как mutable? Я никогда. Не понадобилось за 10 лет ни разу

class Mutex
{
  public:
    void lock(); // Очевидно - non-const, поскольку состояние объекта меняется
    void unlock()
    private:
      // куча-куча счётчиков и прочего
};

class SomeClassForMultiThreadUsage
{
  public:
    size_t get_values(std::vector<int> *result) const
    {
          Guard g(&mutex_); // scope guard
            *result = values_;
    }
    protected:
      mutable Mutex mutex_;
        std::vector<int> values_;
};

ГВ>>Потому что property и в самом деле эмулируются, как два байта.

ГВ>>А сделать проперть отдельным классом и отнаследоваться?

class Property
{
  // Механика реализации свойства
};

class AdvancedProperty : public Property
{
  // Что-то придумали пооригинальнее.
};

IT>Демонстрация хака, больше ничего

ГВ>>>>Потому что property и в самом деле эмулируются, как два байта.

ГВ>>Дык нет же её, в том-то и дело. Просто не нужны особо.

ГВ>>>>А сделать проперть отдельным классом и отнаследоваться?

ГВ>>class Property [...]
ГВ>>class AdvancedProperty : public Property [...]
ГВ>>

template<template <class> class PropImpl>
class MyClass
{
  public:
      PropImpl<int> prop1;
        PropImpl<double> prop2;
};

 bind $path <Enter> "+ Messager::itemSelect %W $text %X %Y"
 bind $path <Leave> "+ Messager::itemUnselect %W"