The first sentence of the abstract gives a motivation: "λλ uses a linear type system to encode the physical constraints of optics, rejecting unrealizable programs at compile time."

The fact that it its own language does not preclude using it within the context of a different language. You can embed a domain specific language into a general purpose one.