Type inference文章列表

技術文章 / Tags: Type inference

By caterpillar | 2014/11/05

當你進入到 Haskell 之中，你會發現一件事「開發者對型態的思考總是不足的」，在這篇中認真地重新思考一下型態，之後繼續在 Haskell 中繼續前進時，才不至於處處碰壁。

By caterpillar | 2013/06/11

在步入靜態語言的世界時，我們都知道編譯器需要型態訊息，以便在編譯時期檢查出各種可能的型態不符之錯誤。這點很有助益，因為可以在撰寫程式的一開始就捕捉到一些錯誤，降低因錯誤而帶來的成本負擔。不過在討論到程式碼的簡潔度時，靜態語言中冗長的型態宣告常是令人詬病的對象。

我們的作者

» 全部作者群