■

今気が付いたんですが，↑の考え方って (C++ の) 汎用プログラミングでは「コンセプト」という形でわりと明確に現れてくるんですが，たとえばオブジェクト指向プログラミングの文脈ではあんまり明確に現れてこないですよにぇ？継承は……えーっと，インタフェイスの任意の部分集合を切り出してくるというあり方にはあんまりそぐわないし……うーん． (あんまり知らないのにいろいろ知ったかぶると偉い人に怒られるかも知れない＞＜；)