Upvote!
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
qaz@lemmy.world to Programmer Humor@programming.devEnglish · 7 months ago

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 · 7 months ago
message-square
10
fedilink
alert-triangle
You must log in or # to comment.
  • henfredemars@infosec.pub
    link
    fedilink
    English
    arrow-up
    15
    ·
    edit-2
    7 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
      link
      fedilink
      arrow-up
      12
      ·
      7 months ago

      Depends on the programming language

    • GetOffMyLan@programming.dev
      link
      fedilink
      arrow-up
      2
      ·
      7 months ago

      That’s why we don’t like c

  • onlinepersona@programming.dev
    link
    fedilink
    arrow-up
    11
    arrow-down
    1
    ·
    7 months ago

    What did you actually do?

    Anti Commercial-AI license

    • qaz@lemmy.worldOP
      link
      fedilink
      English
      arrow-up
      22
      ·
      7 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
        ·
        7 months ago

        How convoluted was it?

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

        With no platform types involved?

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

          Yes

          • MMauro@feddit.it
            link
            fedilink
            arrow-up
            1
            ·
            7 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
              7 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.

  • 2.28K users / day
  • 4.66K users / week
  • 9.33K users / month
  • 17.8K users / 6 months
  • 1 local subscriber
  • 23.1K subscribers
  • 1.31K Posts
  • 43.1K Comments
  • Modlog
  • mods:
  • Feyter@programming.dev
  • adr1an@programming.dev
  • BurningTurtle@programming.dev
  • Pierre-Yves Lapersonne@programming.dev
  • BE: 0.19.6
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org