課程簡介

基本類型類百科

  • 應用
  • 可摺疊、可移動
  • 單子
  • 其他(箭號等)

高級類型

  • 深度代數數據類型
  • 高級類型類
  • 類型族
  • GADT的

調試和代碼優化

  • 數據類型和函數的嚴格性
  • 記憶體和 CPU 分析
  • 高效的數據結構(位元組串、文字、向量等)
  • 關於“不安全”的說明

瞭解運行時系統

  • GHC 中的記憶體佈局
  • 解壓縮嚴格欄位
  • 理解和閱讀核心

Haskell 中的併發性

  • Haskell 線程
  • MVars 和 co.
  • STM公司
  • 排比

外部功能介面

  • FFI 基礎知識
  • 安全與不安全
  • Haskell 中的全域變數

樣本 Haskell

  • 拼接和報價
  • Q monad(Q 單子酒店)
  • 物化

最低要求

Haskell 程式設計語言的基本知識和一些 Haskell 程式設計經驗。

 14 時間:

人數



每位參與者的報價

客戶評論 (4)

相關課程

Combined C/C++, JAVA and Web Application Security

28 時間:

Advanced Java Security

21 時間:

Combined JAVA, PHP and Web Application Security

28 時間:

Java and Web Application Security

21 時間:

Advanced Java, JEE and Web Application Security

28 時間:

課程分類