社内でVDM教育を開いていたのですが、急遽、私も講師さんのサポートに参加しました。 カリー化、高階関数、多相関数、など。 うーむ。この辺って、VBやJavaやC/C++など、仕事でよく使う言語にはない技術だから、 説明がしにくいですよねー。 受講者の人たち…