9. AdaCore GNAT SAS 27 Roadmap

This roadmap represents the current stage of AdaCore plans for its technology. It is not binding, and can change without notice. Products marks as “Beta” can be made available to customers supported on the corresponding products by contacting AdaCore support (https://www.adacore.com/support). Customers interested in trying out capabilities that they don’t have access to yet, or who are interested in discussing a more detailed status update can contact info@adacore.com

9.1. LangKit Query Language

9.1.1. LKQL static typing

LKQL will offer a static type system, allowing for easier maintenance over time.

9.1.2. LKQL will offer quick fixes

LKQL will offer quick fixes through GNATsas for common issues, when run from the command line.

9.1.3. LKQL will support more languages

LKQL will offer support for more languages, starting with languages that use the LangKit frontend.