>>186
小林聡氏の構成的プログラミングは構成的型論理を使った話だから意外性を感じるだけであって
プログラミング手法としてのカリー=ハワード同型対応プログラミングは、構成的プログラミング以前から発想があるわけだから当たり前だよな

リアルタイムで追っかけずに歴史を未来から順番に追っかけているから意外性を感じるだけだろう