template<typename I, typename P>
I partition_point_m(I first, I last, P p)
{
    while(first != last)
    {
        I middle = first + (last - first)/2;
        //I middle = (last - first)/2; - Compile error
        if( p(*middle) )
            last = middle;
        else
            first = ++middle;
    }
    return first;
}

EP>>auto start = system_clock::now();
EP>>

EP>>Я был убеждён в том, что предметная область применения библиотеки std::chrono очевидна

M>У меня есть простейшая задача, мне просто интересно, как она будет решаться типами, и/или как типы могут помочь ее решить. Самое главное, если вся логика упаковывается в типы, каким образом проверяется правильность реализации этой логики на типах? Свое решение «в лоб» я тоже напишу, естественно Языки программирования — любые Но желательно приближенные к реальному миру (то есть те, что хоть в какой-то мере используются в природе).

[ ЗаказМодель
    (
      Структура = ((Отправлен | Неотправлен) / ( Непредоплачен | Предоплачен ) ) / Риск,
      Операции  = 
      [ 
         Неотправлен(   СуммуУвеличить,СуммуУменьшить ),
         Непредоплачен (   СуммуУвеличить,СуммуУменьшить ),
         Отправлен ( СуммуУменьшить ),
      ]
      
      
    ) ]
  module Модель
  {
    
    
    шаблон_СуммуУвеличить_sum(sum:decimal,val:decimal):decimal
    {
      if (sum + val > 2000 ) sum else sum + val 
    }
    
    шаблон_СуммуУменьшить_sum(sum:decimal,val:decimal):decimal
    {
      sum - val
    }
  }

  module Модель
  {
    [Record]
    public variant Заказ
    {
      | Отправлен
      {
        public ЗаказНепредоплачен():Заказ.ОтправленНепредоплачен
        {
          Заказ.ОтправленНепредоплачен(sum)
        }
        public ЗаказРиск():Заказ.ОтправленРиск
        {
          Заказ.ОтправленРиск(sum);
        }
        public СуммуУменьшить(val:decimal):Отправлен
        {
          def funct( sum:decimal,val:decimal):decimal
          {
            sum - val
          } 
          Отправлен(funct( sum, val ))
        }
      }
      | ОтправленНепредоплачен {  .... }
      | ОтправленРиск {  ... }

      .....    
      
      public Сумма:decimal {  get { sum } }
      
      private mutable sum:decimal;
      

      public static УменьшитьСумму( zlist : list[Заказ] , val:decimal ) : list[Заказ]
      {
        zlist.Map(z=> 
        {
          match(z)
          {
            | e is Отправлен =>  e.СуммуУменьшить(val);
        .....

            | _ => z;
          }
        })
      }
    }
  }

3.13 Do not program "defensively"

A defensive program is one where the programmer does not "trust" the input data to the part of the system they are programming. In general one should not test input data to functions for correctness. Most of the code in the system should be written with the assumption that the input data to the function in question is correct. Only a small part of the code should actually perform any checking of the data. This is usually done when data "enters" the system for the first time, once data has been checked as it enters the system it should thereafter be assumed correct.

...
The caller is responsible for supplying correct input.

public void PushDataToStream(StreamWriter w)
{
   var r = File.OpenRead("EULA.txt");
   try
   {
      foreach(var line in r.RealAllLines)
         w.WriteLine(r)
   }
   finally
   {
     r.Close(); // критический код, который мы хотим обязательно выполнить.
   }
}