あと、型推論が嫌なだけじゃなく、基本型？を多用するのもあんまり好きじゃない(けど、しかたなく多用してる＞＜；)ので、それを是とする主に数学好きが好む系の実際のコード、なんかキモい＞＜；