News for hackers. Stuff that matters.

A comment on Ada's Dependent Types, and Its Types as a Whole. Parent comment

Re:Ada's Dependent Types, and Its Types as a Whole by Keyframe on Saturday December 28, 2024 @07:56AM (#42530743)
If something hasn't changed, FSF builds are a year behind libre version (by design), and libre version is GPL3 cancer which is not suitable for commercial development. You're then stuck either with a year old version or buy into AdaCore Pro version of it. Not great, not terrible.. but that's kind of the only game out in the open, which is what makes it different from most of other languages out there.
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by wavemode on Saturday December 28, 2024 @09:23AM (#42531221)
Why would the license of the compiler matter? It doesn't require you to license the code you compile with it accordingly.
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by Keyframe on Saturday December 28, 2024 @11:08AM (#42531973)
runtime matters
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by kevlar700 on Saturday December 28, 2024 @06:31PM (#42535834)
Why? The code you compile isn't infected by the runtime license?
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by Keyframe on Sunday December 29, 2024 @06:39AM (#42539344)
???
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by debugnik on Saturday December 28, 2024 @10:54AM (#42531862)
GNAT CE isn't a thing anymore, only FSF and Pro exist. And AdaCore now sponsors Alire, which installs FSF GNAT, and relicensed some of their tools more permissively.
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by Keyframe on Saturday December 28, 2024 @11:10AM (#42531991)
Haven't looked in a while. That's great news then! Rust steals a lot of thunder these days though.
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by CRConrad on Monday December 30, 2024 @05:34AM (#42548141)
> and libre version is GPL3 cancer which is not suitable for commercial development.

YTF would GPL v. 3 be "cancer" for commercial development? (Shades of Ballmer; is Linux also "a cancer" to you?)

EULAs have all kinds of stupid shit in them already. Just make yours GPL3-compatible.

[ Parent | on HN ]