1970年代からある関数型が次世代的とは