Đề cương khóa học

Typeclassopedia cơ bản

  • Functor
  • Applicative
  • Foldable, Traversable
  • Monads
  • Khác (Arrow, v.v.)

Các kiểu nâng cao

  • Kiểu dữ liệu đại số chuyên sâu
  • Các lớp kiểu nâng cao
  • Các họ kiểu
  • GADTs

Gỡ lỗi và tối ưu hóa mã

  • Tính nghiêm ngặt trong kiểu dữ liệu và hàm
  • Phân tích bộ nhớ và CPU
  • Cấu trúc dữ liệu hiệu quả (bytestring, text, vector và các kiểu khác)
  • Lưu ý về "unsafer"

Hiểu Hệ thống Runtime

  • Bố cục bộ nhớ trong GHC
  • Giải nén các trường nghiêm ngặt
  • Hiểu và đọc Core

Concurrency trong Haskell

  • Haskell threads
  • MVars và các kiểu khác
  • STM
  • Parallelism

Giao diện Hàm Nước ngoài

  • Các nguyên tắc cơ bản của FFI
  • An toàn so với không an toàn
  • Biến toàn cục trong Haskell

Template Haskell

  • Splicing và quotation
  • The Q monad
  • Reification

Requirements

Kiến thức cơ bản về ngôn ngữ lập trình Haskell và một số kinh nghiệm lập trình Haskell.

 14 Hours

Number of participants


Price per participant

Testimonials (1)

Provisional Upcoming Courses (Require 5+ participants)

Related Categories