P>>я встречал, не так часто, как хотелось бы. Но, ценность type-safety от этого ничуть не убавляется

E>А зачем тебе этого хочется, если это не прижилось на практике?

P>>вот тебе нужно на каждый чих писать unit-test, при type-safety всё вообще прозрачно и не требует внимания — бери и используй

E>Ну тест всё равно нужно писать, даже с типами. Или у вас ответственность программиста заканчивается, как только он смог собрать свой код? Даже типа и запускабельности не требуете?

E>Ну, как минимум функции самодокумментируются

Salary DoSomething(Age);

P>>статический тип один раз пишется — и забыл. параметры на выходе и входе проверять нужно всегда

E>Или ты надеешься написать систему типов, которая предусмотрит предусловия всех разработанных в последствии функций?

#include <CrayLib.h>
#include <stdlib.h>
#include <algorithm>
#include <vector>

class RandNum {
    int body;
    static int countCpp;
    static int countC;
public:
    RandNum() : body( rand() ) {}

    static int CmpImpl( const RandNum* arg1, const RandNum* arg2 )
    { countC++; return arg1->body - arg2->body; }
    static int CPPCmpImpl( const RandNum& arg1, const RandNum& arg2 )
    { countCpp++; return arg1.body - arg2.body; }
    static int Cmp( const void* arg1, const void* arg2 ) { return CmpImpl( (const RandNum*) arg1,  (const RandNum*) arg2 ); }

    static const int CppCount() { return countCpp; }
    static const int CCount() { return countC; }
};

int RandNum::countC = 0;
int RandNum::countCpp = 0;

void RN_test( int n = 1000 )
{
    std::vector<RandNum> arrCpp;
    for( int i = 0; i < n; i++ ) {
        arrCpp.push_back( RandNum() );
    }
    std::vector<RandNum> arrC( arrCpp );

    qsort( &arrC[0], arrC.size(), sizeof( RandNum ), RandNum::Cmp );
    mod_sort( arrCpp.begin(), arrCpp.end(), [] (const RandNum& a, const RandNum& b)    {return RandNum::CPPCmpImpl (a, b);});

  printf ("C: %u : C++: %u\n", RandNum::CCount(), RandNum::CppCount());
    printf ("%u\n", RandNum::CppCount() * 100 / RandNum::CCount());
}

int main ()
{
    RN_test ();
}

Sort: Done
std::sort<vector> : ( 1.934116) 6'368'170'140
CrayLib sort3<crVector> : ( 0.496543) 1'634'890'059
Difference : 3.895167

template<class Iter, class LessComparator> void sort (Iter first, Iter last, LessComparator LCmp)
{
    Sort::Main (first, last, last - first, [LCmp] (decltype(*first) a, decltype(*last) b)    {return (LCmp (a, b)) ? -1 : (LCmp (b, a) ? 1 : 0);}, LCmp);
}

template<class Iter> void sort (Iter first, Iter last)
{
    Sort::Main (first, last, last - first, 
        [] (decltype(*first) a, decltype(*last) b)     {return (a < b) ? -1 : ((b < a) ? 1 : 0);},
        [] (decltype(*first) a, decltype(*last) b)    {return (a < b);}
    );
}

template<class Iter, class Comparator> void sort3 (Iter first, Iter last, Comparator Cmp)
{
    Sort::Main (first, last, last - first, Cmp,    [Cmp] (decltype(*first) a, decltype(*last) b)    {return (Cmp (a, b) < 0);});
}

P>>Тип Age заботится о том, чтобы возраст был допустимым

E>Можешь выразить это "допустимым" конкретнее? С чего ты вообще взял, что для разных дел допустимый возраст один и тот же?

P>>>>если типов недостаточно — то надо

E>>>>>>>Или ты надеешься написать систему типов, которая предусмотрит предусловия всех разработанных в последствии функций?

P>>ну так если типы намного проще в использовании и документировании

E>Давай, покажи нам на примере возраста

Salary getEstimaedSalary(Age);

int getEstimaedSalary(int);

P>>я это и хотел услышать, то есть сумма сама по себе не нужна, а нужно усреднение, так?

E>нет не так. Ещё дисперсия бывает, или скидка молодой семье, суммарный возраст которой меньше 45 лет

E>И разность возрастов не забывай пожалуйста

P>и при этом, внутри, возюканья в любом случае меньше. допустим подходят только старше 20 — не вопрос, просто проверка на >20, проверку на верхнюю границу делать не надо

E>>Давай, покажи нам на примере возраста

P>Salary getEstimaedSalary(Age);
P>

P>Принимает возраст, возвращает зарплату

P>int getEstimaedSalary(int);
P>

money getEstimaedSalary(int age)

P>>>я это и хотел услышать, то есть сумма сама по себе не нужна, а нужно усреднение, так?

E>>нет не так. Ещё дисперсия бывает, или скидка молодой семье, суммарный возраст которой меньше 45 лет

E>>И разность возрастов не забывай пожалуйста