だったら、C/C++のvoid*や多態も動的型づけの一種では?