A Functional Programming Framework of Heterogeneous Model of Computation for System Design