99
When you manage to break the type system (lemmy.world)
submitted 2 months ago by qaz@lemmy.world to c/programmer_humor@programming.dev
10 comments fedilink hide all child comments
top 10 comments
sorted by: hot top controversial new old
[-] henfredemars@infosec.pub 15 points 2 months ago* (last edited 2 months ago)

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

What did you actually do?

Anti Commercial-AI license

[-] qaz@lemmy.world 22 points 2 months ago

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

With no platform types involved?

[-] qaz@lemmy.world 1 points 2 months ago

Yes

[-] MMauro@feddit.it 1 points 2 months ago

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:

this post was submitted on 10 Oct 2024
99 points (93.8% liked)

Programmer Humor

19813 readers
211 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 2 years ago
MODERATORS
Feyter@programming.dev
anzo@programming.dev
BurningTurtle@programming.dev
pylapp@programming.dev