I mean, the type system isn’t very strict at all to begin with in some . It’s trivially breakable when performing common operations like type punning in C.

[–] Korne127@lemmy.world 12 points 2 months ago

Depends on the programming language

[–] GetOffMyLan@programming.dev 2 points 2 months ago

That's why we don't like c

[–] onlinepersona@programming.dev 10 points 2 months ago (1 children)

What did you actually do?

Anti Commercial-AI license

[–] qaz@lemmy.world 22 points 2 months ago (2 children)

I broke the type system in Kotlin and ended up with a null value in a non-null (not lateinit) variable.

[–] zea_64@lemmy.blahaj.zone 5 points 2 months ago

How convoluted was it?

[–] MMauro@feddit.it 1 points 2 months ago (1 children)

With no platform types involved?

[–] qaz@lemmy.world 1 points 2 months ago (1 children)

Yes

[–] MMauro@feddit.it 1 points 2 months ago (1 children)

Interesting. Care to share? I think they fixed a few of those issues with K2. Did you find something new or is it known?

[–] qaz@lemmy.world 2 points 2 months ago* (last edited 2 months ago)

It was about 3 years ago, and I haven't been able to find my old code again. I probably discarded it after finding out it didn't work well.

I was able to find these screenshots though: