Abstractions for the Functional Roboticist · HackerTrans