コース概要

基本型クラスペディア

  • ファンクタ
  • 応用的
  • 折りたたみ可能、横断可能
  • モナド
  • その他(矢印等)

高度なタイプ

  • 代数データ型の詳細
  • 高度な型クラス
  • タイプファミリー
  • GADT

デバッグとコードの最適化

  • データ型と関数の厳密性
  • メモリとCPUのプロファイリング
  • 効率的なデータ構造 (バイト文字列、テキスト、ベクトルなど)
  • 「危険物」についての注意

ランタイム システムを理解する

  • GHCのメモリレイアウト
  • 厳密なフィールドの解凍
  • コアの理解と読み方

Haskell での同時実行

  • Haskell スレッド
  • MVars とその共同体
  • STM
  • 平行度

外部関数インターフェース

  • FFI の基本
  • 安全か危険か
  • Haskell のグローバル

テンプレート Haskell

  • スプライシングと引用
  • Qモナド
  • 物象化

要求

0]プログラミング言語の基本的な知識と、Haskellプログラミングの経験があること。

 14 時間

参加者の人数



Price per participant

お客様の声 (4)

関連コース

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

28 時間

Advanced Java Security

21 時間

Combined JAVA, PHP and Web Application Security

28 時間

Standard Java Security

14 時間

Java and Web Application Security

21 時間

Advanced Java, JEE and Web Application Security

28 時間

関連カテゴリー