日本語Wikipediaにいつのまにか「圏論プログラミング言語」というエントリが出来、CPLについて紹介されていて、ビックリした。 
http://ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E