ИФИП/ТК2/Рабочая группа по функциональному программированию