Text this: Реализация эффективного алгоритма синтеза линейных функциональных программ