2016-10-20

最近の静的片付けプログラミング言語でも、変数の型を指定せず、そのリテラル型や返り値などから型を判定する「型推論」という機能があるが、実のところ、これは必ずしも万能とは言い切れない。言語にもよるが、想定していた型とは違う型になってしまうばあい...