Haskellers when someone boasts about Typescript's fake type system.
2026-04-09 17:07 UTC
Replies (12)
-
@squaresinger@lemmy.world 2026-04-09 22:31
Why do programs written in Haskell not have side effects? To have side effects someone would have to run the programs.
-
@RustyNova@lemmy.world 2026-04-09 18:02
Count us rust folks in. Typescript may doing it's best, but it's not as great
-
@Redkey@programming.dev 2026-04-09 23:34
I started programming in a time when the idea that the computer could keep track of your variable types for you automatically was a fever dream, so it's wild for me to see some programmers now throwing shade at particular langages for "not implementing proper variable typing functionality". It feels like someone saying that low-fat milk producers are too cheap or lazy to put enough fat in their milk. Fashion really does go in cycles.
-
@onlinepersona@programming.dev 2026-04-09 20:18
The same reaction whenever I look at haskell. A "pure" language with an escape hatch that has a fancy name. Once you open the escape hatch, you can write entirely impure code in Haskell and never see a pure function in your life. So much for "pure".
-
@marcos@lemmy.world 2026-04-09 18:16
Are extensible records usable already? Not that I would pick TS because of that, but the disdain is undeserved when it has some very useful features that Haskell has been trying to copy for years.
-
@MonkderVierte@lemmy.zip 2026-04-10 09:44
Typisch.
-
@kcuf@lemmy.world 2026-04-10 14:35
This is true
-
@Blackmist@feddit.uk 2026-04-11 07:46
Yeah, but you still can't explain monads.
-
@sommerset@thelemmy.club 2026-04-10 09:09
Php has real enforced types
-
@sirico@feddit.uk 2026-04-11 05:48
It puts the fun in functional
-
@_stranger_@lemmy.world 2026-04-10 17:42
HOW CAN TYPES BE REAL IF OUR EYES AREN'T REAL
-
@raman_klogius@ani.social 2026-04-10 01:50
Haskellers when someone boasts about Typescript's fake type system.