FP學習之四

首先,關于IO ,Monad最近不會有時間學習了。
要更正下上次關于Typeclass概念,我上次僅僅把它理解為類型,這是不準確的。所以學習不能太膚淺啊。。
type class中文應該叫做“類型類”,其實更嚴謹的說法叫constructor class。
而類型類的Instance就可以稱為一個真正的類型了。C++里面有個Concept就和typeclass有點類似,如果要了解相關詳情,可參考如下鏈接。
[1] Stackoverflow: How are c++ concepts different to Haskell typeclasses?
[2] OOP vs type classes

最后編輯于
?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發布,文章內容僅代表作者本人觀點,簡書系信息發布平臺,僅提供信息存儲服務。

推薦閱讀更多精彩內容