Inject dependencies with Syringe
This work analyzes how to generate code from applicative terms, especially in the context of Dependency Injection. Relevant basic concepts are introduced and a threefold correspondence between Dependency Injection style object creation, applicative terms and Hilbert-style proofs is explored. The implementation of Syringe, a tool which can translate λ-expressions to XML fragments for the Spring Framework, is presented together with a demo application to compose GUI components.
Syringe is available on Github.