SDF Chatter
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
qaz@lemmy.world to Programmer Humor@programming.devEnglish · 8 个月前

When you manage to break the type system

lemmy.world

message-square
10
fedilink
99

When you manage to break the type system

lemmy.world

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

    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 个月前

      How convoluted was it?

    • MMauro@feddit.it
      link
      fedilink
      arrow-up
      1
      ·
      8 个月前

      With no platform types involved?

      • qaz@lemmy.worldOP
        link
        fedilink
        English
        arrow-up
        1
        ·
        8 个月前

        Yes

        • MMauro@feddit.it
          link
          fedilink
          arrow-up
          1
          ·
          8 个月前

          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 个月前

            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.3K users / day
  • 5.77K users / week
  • 9.89K users / month
  • 19.1K users / 6 months
  • 318 local subscribers
  • 24K subscribers
  • 1.48K Posts
  • 55.6K Comments
  • Modlog
  • mods:
  • Feyter@programming.dev
  • adr1an@programming.dev
  • BurningTurtle@programming.dev
  • Pierre-Yves Lapersonne@programming.dev
  • BE: 0.19.8
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org