ATSプログラミング入門:
PrevNext

IV. 線形観と線形型を使ったプログラミング

Table of Contents
13. 観 (view) と観型入門
14. 線形なデータ命題としてのデータ観 (dataview)
15. 線形データ型としてのデータ観型 (dataviewtype)
16. 抽象観と観型 (viewtype)
PrevHomeNext
例: 検証された高速な累乗 観 (view) と観型入門