この項目では Haskell に関連する内容に限って圏論の概観を与えることを試みる。そのために、数学的な定義に併せて Haskell コードも示す。絶対的な厳密さは求めない。そのかわり、圏論の概念とはどんなものか、どのように Haskell に関連するかの直感的な理解を読者に与えることを追求する。 圏の導入[編集] ３つの対象A, B, C、３つの恒等射, , と、さらに別の射, からなる単純な圏。３つめの要素(どのように射を合成するかの定義)は示していない。 本質的に、圏とは単純な集まりである。これは次の３つの要素からなる。 対象(Object)の集まり。 ふたつの対象(source objectとtarget object)をひとつに結びつける射の集まり。(これらはarrowと呼ばれることもあるが、Haskellではこれは別の意味を持つ用語なので、ここではこの用語を避けることにする。)

Haskell 型レベルプログラミングの DSLへの応用 id : keigoi (OCaml-Nagoya) HAMA.jp 2009 1 発表の構成 1. ドメイン特化言語と Haskell 2. 型クラスとFunDeps基礎 3. FunDepsによる型レベルプログラミング 4. ドメイン特化言語「セッション型」による ネットワークプログラミング 2 ドメイン特化言語 (Domain Specific Language) • 各領域で、そこに特化した言語(DSL)がデザイ ンされてきた。 • データベースアクセス ... SQL • ハードウェアデザイン ... Verilog • システム制御 ... 微分方程式とブロック線図 3 DSLはわかりやすい • DSLでプログラムを書けば、 • もっとも短く • もっとも簡潔に • もっともわかりやすく ソフトウェアを構成できる (少な