Polymorphism: Monomorphic type inference only (no ∀ quantification).
Credit: Stan Schroeder / Mashable
。关于这个话题，whatsapp提供了深入分析
% Depth 1: \count10009-\count10017
Apple first introduced the iPhone in 2007. By 2010, it was clear that the iPhone-style smartphone, with a touchscreen and an app store, was going to be the defining technological paradigm of the years to come: people were going to conduct huge portions of their life through the prism of the smartphone, which soon became simply “the phone.” And just as more forward-thinking institutions like Citibank knew in the 1970s that ATMs were the future, the smarter banks knew by the early 2010s that the future lay in what they called mobile banking.