>>22
表示的意味論なんて使わんでも関数型言語は色々と便利だと思うが？
それともスレタイは無視してdenotational semantics専用スレにでもするのか？