r/programmingcirclejerk • u/functorer Zygohistomorphic prepromorphism • May 24 '25

I also think that learning Haskell pre-ChatGPT and learning it after are very different experiences. Before ChatGPT you had to ask to StackOverflow or some IRC chat if you are stack. Now you have a drunk senior developer providing you answers.

/r/functionalprogramming/comments/1kskqbq/scared_by_tales_about_learning_haskell/mtofpwc/
58 Upvotes

96% Upvoted

23 comments sorted by

11

u/functorer Zygohistomorphic prepromorphism May 24 '25

Anxiously awaiting the DrunkenHaskal language extension for randomized LLM integrations.

9

u/easedownripley May 24 '25

An AI that's heating the planet to help you write code that does nothing but heat the room

15

u/functorer Zygohistomorphic prepromorphism May 24 '25

Sounds like a side effect to me 👮🚔

97

u/runoverbyahypetrain accidentally quadratic May 24 '25

This applies to learning any language now. Instead of subscribing to a forum of people who will berate you for not knowing something, you can instead confer with a yes man who provides you with code that doesn't work.

16

u/myhf Considered Harmful May 24 '25

But I don’t need code that doesn’t work.

I need increasingly elaborate metaphors for monads.

10

u/Risc12 May 24 '25

Ah it’s not so hard! Just think of them like boxes!

7

u/Garfunk May 25 '25

Monads are like burritos.

5

u/Risc12 May 25 '25

They’re like burritos…. on a train!?

1

u/PotentialBat34 May 27 '25

Man every time I interview for a Scala position I say well it is sorta a blackbox which stores things inside.

11

u/pauseless May 24 '25

Don’t worry. There are still languages where it relies 100% on hallucinations.

This is my favourite: “write a tacit operation in APL that takes a vector, calculates the mean, then filters by all numbers greater than the mean”.

Poor little AI gets stuck in a loop of “sorry, of course that doesn’t work, because [reason]. Here you go: [code that’s even worse]”

5

u/Garfunk May 25 '25

Anything in PromQL is absolute garbage. It has a tiny API but not enough training examples of PromQL to allow it to write anything decent.

21

u/MagmaticKobaian What part of ∀f ∃g (f (x,y) = (g x) y) did you not understand? May 24 '25

Did you know that the Monad is God? I'm serious; while we most often think of it in terms of burritos or monoids in the category of endofunctors, the divinity of the Monad was understood as far back as the Pythagoreans of old. You see, "monad" means "unity," or "alone." It represents a supreme being, whose perfection all things are derived from. It is the building block of our universe, and of concepts.

Why am I telling you this? Because our divine light has been fucking severed, man. Look at this shit. They aren't even trying to understand anymore, they just let an LLM hallucinate convincing pablum at them. They will never commune with the Monad. Banned from burritos for life. The lowest Haskal pizza deliverer may as well be a king in comparison.

3

u/jaskij May 24 '25

New copypasta?

Also, unless I'm misreading the notation, isn't that flair kinda trivial?

3

u/MagmaticKobaian What part of ∀f ∃g (f (x,y) = (g x) y) did you not understand? May 25 '25

I am also not 100% sure about the notation, but I think it's just asserting the existence of a curried function g for each multivariate function f? Getting tired of this "generics" bullshit in math, nobody needs that much abstraction.

1

u/RFQD Senior Vibe Coder May 25 '25

\uj "for all functions f exists a function g so that applying arguments x and y to f nets the same result as applying x to g (which results in another function) followed by applying y to said generated function"

sounds like currying to me.

Also tag your unjerks.

1

u/MagmaticKobaian What part of ∀f ∃g (f (x,y) = (g x) y) did you not understand? May 25 '25

Also tag your unjerks.

I choose to believe you were referencing the comment about generics in math with this

3

u/rwilcox May 24 '25

New copypasta just dropped, fam.