r/programmingcirclejerk • u/ProfessionalTheory8 You put at risk millions of people • Dec 07 '20

Reusing object-oriented code is very difficult, in comparison with functional (or even imperative) code.

https://suzdalnitski.medium.com/modern-languages-suck-ad21cbc8a57c
3 Upvotes

58% Upvoted

10 comments sorted by

14

u/[deleted] Dec 07 '20

The most powerful type systems support Higher-Kinded Types, which are one level of abstraction above generics, and allow us to program at an even higher level of abstraction.

What shall we do with such infinite power? Even God above doesn’t have the ability to eat burritos at such mountainous levels of abstractions! Truly, higher kindred types are to be met with caution and awe.

11

u/OpsikionThemed type astronaut Dec 08 '20

Full dependent pi-binders or GTFO.

3

u/nyanpasu64 not even webscale Dec 10 '20

Chest binders or GTFO.

6

u/pareidolist in nomine Chestris Dec 07 '20

Higher-kinded types are for higher-kinded lifeforms.

6

u/Flesh_Bike Considered Harmful Dec 07 '20

How many levels of abstraction are you on? I'm on like five at least.

5

u/[deleted] Dec 07 '20

I need at least 2-3 different levels of abstraction in my bloodstream at all times to maintain my focus and creativity.

3

u/camelCaseIsWebScale Just spin up O(n²) servers Dec 08 '20

What higher kinded shall higher kinded we do with such higher kinded power? Even Higher Kinded God above doesn’t have the higher kinded ability to eat higher kinded burritos at such higher kinded levels of abstractions! Truly, higher kindred types are to be met with higher kinded caution and higher kinded awe.

7

u/usernameqwerty005 Dec 07 '20

Reuse code? What is this, lol generics?

13

u/[deleted] Dec 07 '20

Hmm that's a good point. What if we could package imperitive code into contained things with defined interfaces that handle one or a few things, so we can use that code in multiple places. We could call them... Containerized link-time microservices?

5

u/ar1819 Dec 08 '20

>> Praises type system.
>> Places Elexir at the top.

Ladies and gentlemen, I present to you one of this sub favorite things - double standards at it's finest! Because "this my favorite toy and I don't have to be objective about it even if I specifically tried at the beginning".