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 shakna on Saturday December 28, 2024 @04:20AM (#42529696)
Wouldn't Rust's symbol heavy syntax contribute the same?
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by swiftcoder on Saturday December 28, 2024 @04:33AM (#42529759)
I think that since a significant portion of Rust developers come from a C++ background, and C++ uses basically the same set of symbols, it's not a huge barrier to adoption
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by shakna on Saturday December 28, 2024 @10:07AM (#42531525)
Rust actually has a bunch of oddities, to the point they test them [0].

[0] https://github.com/rust-lang/rust/blob/master/tests/ui/weird...

[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by swiftcoder on Saturday December 28, 2024 @10:14AM (#42531591)
There's really only one sigil in there that isn't in C++ (the ' single-quote to name lifetimes and labels). And it's missing several ambiguities that plague older C++ grammars (i.e. is >> a greater than, or closing two template expressions?)
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by CRConrad on Monday December 30, 2024 @06:53AM (#42548508)
> (i.e. is >> a greater than, or closing two template expressions?)

I thought it was a pointer-dereference signifier(, or maybe an object-string-stream thingy)? If you mean C++, that is.

[ Parent | on HN ]