Abstract
The demand to develop more applications and in a faster way has been increasing over the years. Even non-experienced developers are jumping into the market thanks to low-code development platforms such as OutSystems. OSTRICH, a type-safe rich template language for the OutSystems platform, allows for the definition and instantiation of type-safe templates while ensuring a clear separation between compile-time and runtime computations. We formalise this two-stage language and introduce new features to the OSTRICH language, namely parametric polymorphism and a simplified form of dependent types. Such features enable instantiating the most commonly used OutSystems templates, reducing the knowledge required by the developer and easing the development process.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Cardelli, L.: Phase Distinctions in Type Theory (1988)
Cardelli, L., Wegner, P.: On Understanding types, data abstraction, and polymorphism. ACM Comput. Surv. 17(4), 471ā523 (1985). https://doi.org/10.1145/6041.6042
Davies, R., Pfenning, F.: A modal analysis of staged computation. J. ACM 48(3), 555ā604 (2001). https://doi.org/10.1145/382780.382785
LourenƧo, H., Ferreira, C., Seco, J.C.: OSTRICH - a type-safe template language for low-code development. In: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems, pp. 216ā226 (2021). https://doi.org/10.1109/MODELS50736.2021.00030
OutSystems: Platform Overview (2021). https://www.outsystems.com/platform/
Sheard, T., Jones, S.P.: Template meta-programming for Haskell. In: Proceedings of the ACM SIGPLAN Workshop on Haskell, pp. 1ā16. ACM (2002). https://doi.org/10.1145/581690.581691
Taha, W., Sheard, T.: MetaML and multi-stage programming with explicit annotations. Theoret. Comput. Sci. 248, 211ā242 (1999)
Acknowledgements
This work is supported by FCT/MCTES grants NOVA LINCS - UIDB/04516/2020 and GOLEM Lisboa-01-0247-Feder-045917.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
Parreira, J. (2022). Simple Dependent Types forĀ OSTRICH. In: ter Beek, M.H., Monahan, R. (eds) Integrated Formal Methods. IFM 2022. Lecture Notes in Computer Science, vol 13274. Springer, Cham. https://doi.org/10.1007/978-3-031-07727-2_23
Download citation
DOI: https://doi.org/10.1007/978-3-031-07727-2_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-07726-5
Online ISBN: 978-3-031-07727-2
eBook Packages: Computer ScienceComputer Science (R0)