soc

joined 2 years ago
[–] soc@programming.dev 3 points 10 months ago (2 children)

Yeah, but compared to counting money, nobody cares if some physics paper got its numbers wrong. :-)

(Not to mention that would require the paper to have reproducible artifacts first.)

[–] soc@programming.dev 2 points 10 months ago

This is one of the rules I religiously follow in the design of my language.

It's one of the reasons

  • why I removed unary operators like ! and ~ and made -foo.bar parse as (-foo).bar;
  • why the order of elements in a type or function definition is the way it is; and
  • why I use an OOP-style value.member design instead of piping syntax like |>.
[–] soc@programming.dev 1 points 10 months ago

Kinda nice that they are adding Algol68 unions to C#!

[–] soc@programming.dev 1 points 10 months ago* (last edited 10 months ago)

Looks like they finally broke the 200-keywords barrier with this release. 🤣

[–] soc@programming.dev 1 points 10 months ago* (last edited 10 months ago)

Removing let-else is the whole point of the linked article series:

Being able to do to everything Rust does, but without Rust's zoo of if-then-else, match, if-let, let-else etc.

[–] soc@programming.dev 2 points 10 months ago* (last edited 10 months ago) (1 children)

Thanks for your reply, some replies below!

requiring positional args to use the assignment syntax

Not sure, maybe my wording isn't clear enough. What I intended to say is that arguments can be named, not that they have to. In any case, the order of arguments must match the order of parameters, named or not.

But you’re also missing one use of the impl keyword: fn func() -> impl Trait.

That removal could actually happen, so I didn't list it. (Rust started requiring dyn and disallowed naked trait returns with edition 2018. So dropping the impl in that position might not be completely impossible like the other uses of impl.)

Are you suggesting using keywords/methods [for array and slice syntax] instead?

Yes, just methods.

I can understand someone preferring the PartialEq/PartialOrd behavior

You can have both – that's what's being made possible by them not being in a hierarchy.

I think if-let makes sense, but don’t expand it.

It's a bit late for that, isn't it? ;-)

Why? What value does -> () provide? Why not elide that?

What value is provided by keeping it? Why a syntactic special-case for exactly that type and not any other random type?

languages w/o them feel awkward since you’re generally limited to one statement per line

Then fixing that might make sense. :-)

[–] soc@programming.dev 1 points 10 months ago* (last edited 10 months ago) (2 children)
[–] soc@programming.dev 4 points 10 months ago (1 children)

I went the "only let introduces bindings" route, and I'm pretty happy so far:

if (left.next(), right.next())
... is (Some(let l), Some(let r)) { /* use l and r */ }
... is (Some(let l), None       ) { /* use l       */ }
... is (None,        Some(let r)) { /* use r       */ }
... is (None,        None       ) { /* use nothing */ }
}
[–] soc@programming.dev 1 points 10 months ago

Some of the earlier ones remind me of C#'s records. Were they inspired from them?

No, that stuff is much much older.

Named parameters are problematic because of parameter names becoming significant to the API. See Python’s * and / in parameter lists (like def foo(a, *, b) for example).

I think the name problem is overblown, you can always have an annotation to facilitate name changes.

[–] soc@programming.dev 2 points 10 months ago (12 children)

In addition to that, I have my own list of things Rust should not have shipped with, but did.

[–] soc@programming.dev 2 points 10 months ago

This. I'd rather have fewer, better working features.

[–] soc@programming.dev 1 points 11 months ago* (last edited 11 months ago)

Rust devs sometimes seem to be an incredibly insecure and angry crowd.

I mentioned elsewhere how I had very good outcomes from looking at Rust and asking "how can this be done, but simpler?" in my language, listing a few examples ... and they were absolutely livid about it.

view more: ‹ prev next ›