Lemmy.one
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
cm0002@infosec.pub to Programmer Humor@programming.dev · 1 month ago

Haskellers when someone boasts about Typescript's fake type system.

infosec.pub

message-square
34
fedilink
154

Haskellers when someone boasts about Typescript's fake type system.

infosec.pub

cm0002@infosec.pub to Programmer Humor@programming.dev · 1 month ago
message-square
34
fedilink
  • ultimate_worrier@lemmy.dbzer0.com
    link
    fedilink
    arrow-up
    7
    ·
    edit-2
    1 month ago

    deleted by creator

    • sarahnya@lemmy.blahaj.zone
      link
      fedilink
      arrow-up
      2
      ·
      1 month ago

      GHC has had experimental support for linear types in Haskell since version 9.0.1

      • ultimate_worrier@lemmy.dbzer0.com
        link
        fedilink
        arrow-up
        1
        ·
        1 month ago

        deleted by creator

        • gedhrel@lemmy.world
          link
          fedilink
          arrow-up
          2
          ·
          1 month ago

          That’s not realistic or “fair” - most Haskell projects will use a dozen or so extensions easily. GHC has been a platform for language experimentation for a long time; standardisation efforts keep on cropping up in annual surveys. (Eg, swapping in Text for String in base is long overdue, but it’s a hold over from days where FP pedagogy was seen as more important.)

    • qaz@lemmy.world
      link
      fedilink
      English
      arrow-up
      1
      ·
      1 month ago

      Typescript’s string pattern types are quite neat though

      • ultimate_worrier@lemmy.dbzer0.com
        link
        fedilink
        arrow-up
        2
        ·
        1 month ago

        deleted by creator

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.

  • 947 users / day
  • 4.52K users / week
  • 8.05K users / month
  • 17.3K users / 6 months
  • 199 local subscribers
  • 31.5K subscribers
  • 2.35K Posts
  • 92.6K Comments
  • Modlog
  • mods:
  • Feyter@programming.dev
  • adr1an@programming.dev
  • BurningTurtle@programming.dev
  • Pierre-Yves Lapersonne@programming.dev
  • BE: 0.19.7
  • Modlog
  • Legal
  • Instances
  • Docs
  • Code
  • join-lemmy.org