Functional Languages Directly Mapped To Hardware