>>756
すごく大雑把に言うと，チューリングマシンや
λ計算などがあったところに，新しい定式化として
圏論に基づくものが現れたという背景がある．

現在，普通のプログラマはチューリングマシンや
λ計算を知らなくても特に問題は起きないけれど，
それと同じようなものだと考えるのが順当だと思う．
（もちろん知ってたほうが良いのは確かだけど，
　とりあえず大雑把なところを抑えておけば十分．）

ラーニングコストが高いのは，まだ新しい理論である
ということと，従来の手法よりも数学的に取り扱いやすい
枠組みとして導入されたことがあるので，教育用に
整理されてない現段階では，好きな人がやるものだと
思ったほうがよいと，個人的には思う．