Ada's Dependent Types, and Its Types as a Whole

Re:Ada's Dependent Types, and Its Types as a Whole by bobajeff on Saturday December 28, 2024 @10:36AM (#42531758)

Yeah, to this day Ada, though a beautiful language, is a hard choice to make if you are concerned about certain targets. How would i get my program to compile to Android NDK? Even Swift has a better story with it's tooling.

That's before we even talk about important stuff like libraries.

[ Parent | on HN ]

Re:Ada's Dependent Types, and Its Types as a Whole by Lucretia9 on Sunday December 29, 2024 @09:52AM (#42540289)

What are the options required to build an android gcc these days?

[ Parent | on HN ]

Re:Ada's Dependent Types, and Its Types as a Whole by pjmlp on Monday December 30, 2024 @06:26AM (#42548388)

None since Google dropped GCC support, to anyone to do the work to make it work again.

[ Parent | on HN ]

Re:Ada's Dependent Types, and Its Types as a Whole by pjmlp on Monday December 30, 2024 @06:25AM (#42548384)

Unless you are using the Android NDK with the official provided clang for C and C++, anything else is a pain for masochits that rather endure yak shaving the whole infrastructure than code in either C or C++ alongside either Java or Kotlin.

[ Parent | on HN ]