logoalt Hacker News

ktalletttoday at 9:53 AM1 replyview on HN

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?


Replies

black_knighttoday at 10:24 AM

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.