這可能跟 scoping 有關而不是 type inference 喔. type inference 從 scope 有的才推出.
作者講的困擾可能可以由(未來?)IDE 自動 import implicitly inference 出來的 types.
不過這對我來說不是很大的問題.
Kmark 是一個類似 Markdown 語法的格式，以下為提供的功能:
*兩邊加單星*
**兩邊加雙星**
~~兩邊加雙曲號~~
> 左邊加個大於符號
左邊加個大於符號
* 可用星號 * 也可以 - 減號 * 數字加點也可以
`abcdefghijk`
兩邊用倒引號包住
abcdefghijk
``` function abc() ```
上下都用三個倒引號包住
function abc()
[這是連結][1] [1]: http://example.com
連結第一部份是文字，先用中括號包住，後面再加上 [編號]。 第二部份是連結本身，放在文末，開頭是 [編號]: http
這是連結1
