D•Scribe
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
qaz@lemmy.world to Programmer Humor@programming.devEnglish · 1 年前

When you manage to break the type system

lemmy.world

message-square
9
link
fedilink
51

When you manage to break the type system

lemmy.world

qaz@lemmy.world to Programmer Humor@programming.devEnglish · 1 年前
message-square
9
link
fedilink
alert-triangle
You must log in or # to comment.
  • onlinepersona@programming.dev
    link
    fedilink
    arrow-up
    5
    ·
    1 年前

    What did you actually do?

    Anti Commercial-AI license

    • qaz@lemmy.worldOP
      link
      fedilink
      English
      arrow-up
      10
      ·
      1 年前

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

      • MMauro@feddit.it
        link
        fedilink
        arrow-up
        0
        ·
        1 年前

        With no platform types involved?

        • qaz@lemmy.worldOP
          link
          fedilink
          English
          arrow-up
          1
          ·
          1 年前

          Yes

          • MMauro@feddit.it
            link
            fedilink
            arrow-up
            1
            ·
            1 年前

            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
              1 年前

              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:

  • henfredemars@infosec.pub
    link
    fedilink
    English
    arrow-up
    5
    ·
    edit-2
    1 年前

    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
      link
      fedilink
      arrow-up
      6
      ·
      1 年前

      Depends on the programming language

    • GetOffMyLan@programming.dev
      link
      fedilink
      arrow-up
      1
      ·
      1 年前

      That’s why we don’t like c

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
  • 4.18K users / week
  • 8.84K users / month
  • 19.3K users / 6 months
  • 17 local subscribers
  • 27.2K subscribers
  • 1.76K Posts
  • 60.7K Comments
  • Modlog
  • mods:
  • Feyter@programming.dev
  • adr1an@programming.dev
  • BurningTurtle@programming.dev
  • Pierre-Yves Lapersonne@programming.dev
  • UI: unknown version
  • BE: 0.19.12
  • Modlog
  • Legal
  • Instances
  • Docs
  • Code
  • join-lemmy.org