通用硬件一定是个漫长的探索过程，2007年的iPhone只有三个功能，2010年开放了APP store，才慢慢有内容，整个过程花了三年的时间。
Using thinnings in this maximal way, they kind of serve as a “free variable analysis”. Consider the set form of thinnings described about (set[int], int). The missing piece in a free variable analysis is kind of the current scope you’re in, the latter half of the pair. Also it is a bit odd, but sensible to run a free variable analysis on de bruijn indices, you need to shift the analysis results as you pass binders. I do not think it is a good idea to consider these thinnings as merely an analysis though, since they are part of what it even is to be a well scoped term.，详情可参考heLLoword翻译
弃用html2pdf.js,这个html转pdf方案能力是它的几十倍。手游是该领域的重要参考
«Если бы американцы знали, сколько их налогов идет на строительство баз на Ближнем Востоке, они бы уже сегодня устроили бунт. Все эти базы сегодня уничтожены», — указал военный.
dyn Trait — dynamic dispatch is a real indirection: a vtable lookup that the compiler cannot inline through.