Lightnews — Scholar-powered news

Alice ✨ @welltypedwit.ch · 1d

idk, maybe it's fine and i'm just overthinking it

Alice ✨ @welltypedwit.ch · 1d

hmm the problem with pair syntax is that i'm running out of ascii parentheses/brackets ^^
existentials in lean are explicit, right? i wouldn't be opposed to pair or record syntax in that case but it seems a bit confusing if both

let y = x

and

let ⟨a, y⟩ = x

are valid

1

Alice ✨ @welltypedwit.ch · 1d

so where is the a bound here?

1

Alice ✨ @welltypedwit.ch · 2d

but written like this i can't give y a type signature because i don't have a way to name that `a1`!
in order to do that, i would need to unpack the existential explicitly with something like

let (a | y : List(a)) = x

but i'm struggling to come up with a syntax that isn't quite this awkward ^^

4 1

Alice ✨ @welltypedwit.ch · 2d

so, what is everyone's favorite syntax for explicitly "unpacking" an existential?
e.g. given `x : exists a. List(a)`, i can write `let y = x` and that will give y type `List(a1)` where `a1` is an implicitly created skolem that corresponds to the `a` in the existential

1 3

Alice ✨ @welltypedwit.ch · 2d

aw :(

1 2

Alice ✨ @welltypedwit.ch · 2d

it's only a transpiler if it's a diagnosed medical condition, everyone else is just pretending

1 1 11

Alice ✨ @welltypedwit.ch · 2d

(cc @wffl.ihatereality.space if you don't mind ^^)

1 1

Alice ✨ @welltypedwit.ch · 2d

please don't tell me it's just about method syntax

4

Alice ✨ @welltypedwit.ch · 2d

why would you spend your complexity budget on

trait MyTrait: Display {
#[inherent]
fn method(&self) {
println!("MyTrait::method: {self}");
}
}

when you could just write

trait MyTrait : Display {}
fn method(x : &T) {
println!("MyTrait::method: {self}");
}

?

2 5

Alice ✨ @welltypedwit.ch · 2d

i don't understand this proposal. what is the point of making something a ""trait method"" if it always refers to the same definition?
github.com/rust-lang/rf...

Trait method impl restrictions by joshtriplett · Pull Request #3678 · rust-lang/rfcs

Support restricting implementation of individual methods within traits, using the already reserved final keyword. This makes it possible to define a trait that any crate can implement, but disallow...

github.com

2 5

Alice ✨ @welltypedwit.ch · 3d

ocamlc is the bytecode compiler. ocamlopt technically does optimizations, but almost none and ocamlopt with flambda(2) is actually properly optimizing

1 5

Alice ✨ @welltypedwit.ch · 3d

i think you could do this as a userstyle that "mutes" posts with css?

1 3

Alice ✨ @welltypedwit.ch · 3d

especially given that only ~9% of france isn't straight

3

Alice ✨ @welltypedwit.ch · 3d

i mean, if the 10% were real, that would be relatively high actually

1 3

Alice ✨ @welltypedwit.ch · 3d

(which is less extreme if you know that the Show instance for Double starts doing that for e-2 but still ^^)

7

Alice ✨ @welltypedwit.ch · 3d

sad how the percentage of women in most languages i could find data on is so low that ghci displays it in scientific notation

2 21

Alice ✨ @welltypedwit.ch · 3d

(i should not try to read graphs 10mins after waking up lol)

3

Alice ✨ @welltypedwit.ch · 3d

yeah, there is always some selection bias (although it's probably less bad in more centralized communities like rust or haskell than in e.g. js or c) but that's... not the main reason this is wrong ^^
bsky.app/profile/well...

Alice ✨ @welltypedwit.ch · 3d

OH WAIT NEVERMIND
i did not read this correctly lol. it's 54% *of the 15% that said they were already part of a marginalized group*. so the real answer is just 8.1%, which is *lower* than haskell, wow

We also asked whether respondents consider themselves members of a marginalized community. Out of those who answered, 74.5% selected no, 15.5% selected yes, and 10% preferred not to say.

1 4

Alice ✨ @welltypedwit.ch · 3d

OH WAIT NEVERMIND
i did not read this correctly lol. it's 54% *of the 15% that said they were already part of a marginalized group*. so the real answer is just 8.1%, which is *lower* than haskell, wow

1 6

Alice ✨ @welltypedwit.ch · 3d

that response is ridiculous, but the proposal is also really silly tbh

5

Alice ✨ @welltypedwit.ch · 3d

oh true (I've even seen them several times oops)
I guess what I mean is: you could ask about demographics in your survey (would be very interesting and might also be nice to have so you can see how it changes over time)

Alice ✨ @welltypedwit.ch · 3d

you should do a developer survey then!

1 2

Alice ✨ @welltypedwit.ch · 3d

the python survey didn't ask this exact question, but given this gender ratio, 20% seems... high ^^

Demographics:
Gender:
Male: 89%
Female: 7%
Prefer not to say: 3%
Non-binary, genderqueer or gender non-conforming: 1%

6

Alice ✨ @welltypedwit.ch · 3d

the rust one is real fwiw (pretty impressive)
blog.rust-lang.org/2025/02/13/2...

the haskell one is... not (as of 2022)
taylor.fausak.me/2022/11/18/h...

from the rust survey results: Which of the following underrepresented or marginalized groups in technology do you consider yourself a part of?

lesbian, gay, queer or otherwise non-heterosexual: 54.1%

from the state of haskell 2022 results: do you consider yourself a member of an underrepresented or marginalized group in technology?

lesbian, gay, bisexual, queer or otherwise non-heterosexual: 10%

4 8