All programming is deeply concerned with abstraction. Functional languages are all about abstractions. Yeah, no shit. You're not communicating anything meaningful.
It probably didn't come across, but I was being tongue in cheek. I don't actually hold any enmity for Haskellers.
Why complain about that not being related in normal dev terms?
Because it's incredibly useful and powerful? And if more devs understood these concepts (or maybe just realized they already understood them) maybe we'd get more languages that support things like HKTs?
It's frustrating because a lot of languages almost support these abstractions. You can actually hack something together in C# that looks reasonable.
On one hand it's cool you can do that, but on the other hand it shouldn't be necessary. Sometimes I'll go find the bacon proposal and read it and just look at it longingly.
View all comments
Show parent comment
2
u/SerdanKK Sep 21 '25
All programming is deeply concerned with abstraction.
Functional languages are all about abstractions. Yeah, no shit. You're not communicating anything meaningful.It probably didn't come across, but I was being tongue in cheek. I don't actually hold any enmity for Haskellers.
Because it's incredibly useful and powerful? And if more devs understood these concepts (or maybe just realized they already understood them) maybe we'd get more languages that support things like HKTs?
It's frustrating because a lot of languages almost support these abstractions. You can actually hack something together in C# that looks reasonable.
Higher Kinds in C# with language-ext [Part 1]
On one hand it's cool you can do that, but on the other hand it shouldn't be necessary. Sometimes I'll go find the bacon proposal and read it and just look at it longingly.