142
Haskellers when someone boasts about Typescript's fake type system. (infosec.pub)
submitted 7 months ago by to c/programmer_humor@programming.dev
33 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[–] -5 points 7 months ago* (4 children)

Listen I absolutely love rust but it's not even close. Typescript's type system is orders of magnitude more powerful, to the point where it is actually turing complete.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 4 child comments
    •
  • [+] 6 points 7 months ago* (last edited 7 months ago) (3 children)
    [deleted]
  • permalink
  • fedilink
  • source
  • parent
  • hideshow 3 child comments
    •
  • [–] 2 points 7 months ago (1 child)

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

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •
  • [+] 1 point 7 months ago (1 child)
    [deleted]
  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •
  • [–] 1 point 7 months 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.)

  • permalink
  • fedilink
  • source
  • parent
    • load more comments (-1 replies)
    • load more comments (-1 replies)