Integrating discrete controller synthesis into a reactive programming language compiler