第四屆函數式編程分享會視頻

第四屆函數式編程分享會視頻

來自專欄霧雨魔法店

  • 函數式編程入門 (youku) by @parker liu
  • libuv based IO manager (youku) by @韓冬, 有興趣可以找他看paper的草稿
  • HoTT定理證明 (文章, youku) by @Martin awodey
  • 範疇上的構造主義 (下) by @parker liu , 上估計還在上傳
  • Haskell 中的類型類實例實現 by @閱千人而惜知己 , 還沒上傳

ppt 都在微信群里, 下不回來了, 各位方便的可以給我個鏈接

感謝幾位的分享 和 @閱千人而惜知己 和 @parker liu 整理視頻


推薦閱讀:

除回溯外,有哪些比較好用且效率高的解數獨演算法?
Haskell入門瓶頸(二)
Robert Harper 不支持Haskell 的理由是?
template haskell是什麼原理?
如何理清 lens 這個庫的各個組件,熟悉各種高級玩法?

TAG:Haskell | 函數式編程 | 範疇論 |