I am curious why develop a new language instead of building a library for an existing language. What are the benefits as I didn't see this in the paper? Can it interact with other languages?
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.
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.