//мое, на C++
if (stream is-a file)
    stream.seek();
else if (stream is-a socket)
    stream.read();
    
//твое, на Ruby
if (stream can seek)
    stream.seek();
else if (stream can read)
    stream.read();

S>А вот с этого — уже понимаю

IRandomInputStream randomStream = stream as IRandomInputStream;
if (randomStream == null)
    проматываем стрим прочитыванием...
else
    randomStream.Seek(...);

S>public static (ISequentialReadStream source, ISequentialWriteStream target){}
S>

Smalltalk считается объектно-ориентированным, а должен был бы ориентированным на обмен сообщениями.

S>>public static (ISequentialReadStream source, ISequentialWriteStream target){}
S>>

class File { public: string read( size_t bytes ); ... };
class RandomGenerator { public: string get( size_t bytes ); ... };
class IOController { public: string peek( size_t bytes ); ... };

string get_n_bytes( File & f, size_t bytes ) { return f.read( bytes ); }
string get_n_bytes( RandomGenerator & g, size_t bytes ) { return g.get( bytes ); }
string get_n_bytes( IOController & c, size_t bytes ) { return c.peek( bytes ); }

class Bytes_Getter { public : virtual string get_n_bytes( size_t bytes ) = 0; ... };

class File_Bytes_Getter { public: virtual string get_n_bytes( size_t bytes ) { return f_.read( bytes ); } ... };
class RandomGenerator_Bytes_Getter { public: virtual string get_n_bytes( size_t bytes ) { return g_.get( bytes ); } ... };
class IOController_Getter { public: virtual string get_n_bytes( size_t bytes ) { return c_.peek( bytes ); } ... };

template< class T > struct Bytes_Getter {};

template<> struct Bytes_Getter< File >{ static string get_n_bytes( File & f, size_t bytes ) { return f.read( bytes ); } };
template<> struct Bytes_Getter< RandomGenerator >{ static string get_n_bytes( RandomGenerator & f, size_t bytes ) { return f.get( bytes ); } };
template<> struct Bytes_Getter< IOController >{ static string get_n_bytes( IOController & f, size_t bytes ) { return f.peek( bytes ); } };

def get_n_bytes( device, bytes )
    if device.respond_to? :read then return device.read bytes
    elsif device.respond_to? :get then return device.get bytes
    elsif device.respond_to? :peek then return device.peek bytes
    else
        fail "unknown beast: #{device.class.name}"
    end
end

VD>int i = 0;
VD>int j = 2;
VD>std::sort(i, j);    
VD>

template< class T >
struct sort_concept_test
    {
        static void constraint( T a )
            {
                ++a;

                T b = a;
                b = a;

                *b = *a;
                bool l = *a < *b;
            }

        sort_concept_test() { void (*p)(T) = constraint; }
    };

template< class T >
void my_sort( T a, T b )
    {
        sort_concept_test< T >();

        std::sort( a, b );
    }

int
main()
    {
        int i, j;
        my_sort( i, j );
    }

sort_2.cpp
sort_2.cpp(13) : error C2100: illegal indirection
sort_2.cpp(7) : while compiling class-template member function 'void sort_concept_test<T>::constraint(T)'
with
[
T=int
]
sort_2.cpp(23) : see reference to class template instantiation 'sort_concept_test<T>' being compiled
with
[
T=int
]
sort_2.cpp(32) : see reference to function template instantiation 'void my_sort<int>(T,T)' being compiled
with
[
T=int
]
sort_2.cpp(13) : error C2100: illegal indirection
sort_2.cpp(14) : error C2100: illegal indirection
sort_2.cpp(14) : error C2100: illegal indirection

std::vector< int > i;
my_sort( i.begin(), i.end() );

VD>Вся история программирования — это борьба с подходами вроде утиной типизации. А ты призывашь обратно в каменный век.

D>>Более того, типизация несколько мешает ОО. Чистое объектное видение мира подразумевает, что любой объект потенциально может отреагировать на любое сообщение. Или другими словами есть только объекты и объекты не различаются ничем, кроме своего поведения. Например, к каждому человеку можно подойти с вопросом "Сколько ты будешь делать?" с параметром ТЗ. На что можно получить в ответ "N дней", "Чего???" или по зубам . Но коллапса с миром не случит в любом случае.

if (object.hasValue()) {
  value = object.getValue();
    // Работаем c value.
}

value = object.getValue();
// Работаем c value. Если value это экземпляр DeafObject, то вся работа с value будет проигнорированна.