Programmer Humor

19703 readers

117 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

Keep content in english
No advertisements
Posts must be related to programming or programmer topics

founded 1 year ago

MODERATORS

130

When you manage to break the type system (lemmy.world)

submitted 1 month ago by [email protected] to c/programmer_humor

13 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 27 points 1 month ago (2 children)

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

[–] [email protected] 6 points 1 month ago

How convoluted was it?

[–] [email protected] 1 points 1 month ago (1 children)

With no platform types involved?

[–] [email protected] 1 points 1 month ago (1 children)

Yes

[–] [email protected] 1 points 1 month 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?

[–] [email protected] 8 points 1 month ago* (last edited 1 month ago) (1 children)

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 this screenshot though:

[–] [email protected] 3 points 1 month ago

Uh. Probably not exactly your case, but I managed to "reproduce" them.

The first case is easy if you just override the setter of a property, and is more a feature of the language rather than a bug.

The second case is more tricky, but by using a generic delegate you can manage to trick it by doing an unchecked cast. Got the same warning in IntelliJ as well.

Link: https://pl.kotl.in/pIt-uHw7d