lemmy.az.social
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
qaz@lemmy.world to Programmer Humor@programming.devEnglish · 8 months ago

When you manage to break the type system

lemmy.world

external-link
message-square
10
fedilink
99
external-link

When you manage to break the type system

lemmy.world

qaz@lemmy.world to Programmer Humor@programming.devEnglish · 8 months ago
message-square
10
fedilink
  • qaz@lemmy.worldOP
    link
    fedilink
    English
    arrow-up
    22
    ·
    8 months ago

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

    • Nat (she/they)@lemmy.blahaj.zone
      link
      fedilink
      arrow-up
      5
      ·
      8 months ago

      How convoluted was it?

    • MMauro@feddit.it
      link
      fedilink
      arrow-up
      1
      ·
      8 months ago

      With no platform types involved?

      • qaz@lemmy.worldOP
        link
        fedilink
        English
        arrow-up
        1
        ·
        8 months ago

        Yes

        • MMauro@feddit.it
          link
          fedilink
          arrow-up
          1
          ·
          8 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.worldOP
            link
            fedilink
            English
            arrow-up
            2
            ·
            edit-2
            8 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:

Programmer Humor@programming.dev

programmer_humor@programming.dev

Subscribe from Remote Instance

Create a post
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !programmer_humor@programming.dev

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
Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 1.49K users / day
  • 4.98K users / week
  • 8.64K users / month
  • 18.1K users / 6 months
  • 1 local subscriber
  • 23.5K subscribers
  • 1.43K Posts
  • 52.7K Comments
  • Modlog
  • mods:
  • Feyter@programming.dev
  • adr1an@programming.dev
  • BurningTurtle@programming.dev
  • Pierre-Yves Lapersonne@programming.dev
  • BE: 0.19.10
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org