pikeってダイナミックな型システムなの? つまり型宣言のマンドクサさを除いてある?