Isomorphisms. They let us think about things very easily, and express ideas very cleanly. When I Think about a system, I treat isomorphic things as almost exac

Isomorphisms. They let us think about things very easily, and express ideas very cleanly. When I Think about a system, I treat isomorphic things as almost exactly the same. But when actually writing code, I need to fully spell out the isomorphism. That is glue code.So the code becomes my clear ideas, with awkward glue in between. My dream is a compiler that knows these isomorphisms, and automatically implements them with decent (perhaps guided by me) optimization. This way, the idea in my head and the code in my editor start looking like eachother a whole lot more.