social.sour.is
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
@lawrence@lemmy.world to Programmer Humor@lemmy.ml •
edit-2
1 year ago

Ok, at some point we made a big mistake.

lemmy.world

message-square
41
fedilink
305

Ok, at some point we made a big mistake.

lemmy.world

@lawrence@lemmy.world to Programmer Humor@lemmy.ml •
edit-2
1 year ago
message-square
41
fedilink

Hacker News post about this: https://news.ycombinator.com/item?id=39309783 (source available)

  • @GissaMittJobb@lemmy.ml
    link
    fedilink
    53•1 year ago

    This doesn’t actually read as serious TypeScript, moreso as someone trying to showcase unhinged code.

    I’d be happy to be proven wrong with a link to the source code so that I can look the beast in the eye.

    • @tyler@programming.dev
      link
      fedilink
      14•1 year ago

      Take a look at some typescript libraries and frameworks and you will see stuff like this. Completely unreadable mess.

      • @ris@feddit.de
        link
        fedilink
        19•1 year ago

        I have seen image recognition or text RPGs with type script types, but const ok:true = true as Grid< 4, 9, 2 Wtf

        • @MinekPo1@lemmy.ml
          link
          fedilink
          English
          3•1 year ago

          note that it continues onto the next line

      • @Meltrax@lemmy.world
        link
        fedilink
        6•1 year ago

        Styled Components’ type system is one of the most impressive and most fucked up things I’ve ever had to dive into.

      • Big P
        link
        fedilink
        English
        5•1 year ago

        For example?

        • @sloppy_diffuser@sh.itjust.works
          link
          fedilink
          English
          4•1 year ago

          Not OP, and these examples are not unreadable, but they are a few steps up from your typical generics.

          https://effect-ts.github.io/effect/effect/Unify.ts.html#unify

          https://effect-ts.github.io/effect/effect/Pipeable.ts.html

          • @marcos@lemmy.world
            link
            fedilink
            8•1 year ago

            Creating basic functionality for the language always leads to unreadable code.

            The C++ version would be much, much worse, and the Lisp version is Lisp.

            • @sloppy_diffuser@sh.itjust.works
              link
              fedilink
              English
              3•1 year ago

              Agree. What I linked provides core type support for that library. The pipe one is just a bunch of overloads to support a specific way of handling function composition to appease the TypeScript type checker.

              There are a lot of typing hacks in that library to simulate higher kinded types.

          • @thesporkeffect@lemmy.world
            link
            fedilink
            4•1 year ago

            Right to jail. Right now.

Programmer Humor@lemmy.ml

!programmerhumor@lemmy.ml

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: !programmerhumor@lemmy.ml

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

  • Posts must be relevant to programming, programmers, or computer science.
  • No NSFW content.
  • Jokes must be in good taste. No hate speech, bigotry, etc.
  • 81 users / day
  • 561 users / week
  • 2.47K users / month
  • 10.2K users / 6 months
  • 35.8K subscribers
  • 1.78K Posts
  • 39.1K Comments
  • Modlog
  • mods:
  • @AgreeableLandscape@lemmy.ml
  • @cat_programmer@lemmy.ml
  • BE: 0.19.3
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org