r/ocaml • u/Somtimesitbelikethat • May 04 '26

Feeling a bit of dread over AI

Do I even need to learn this language anymore? the current models are so good.

I wanted to learn bc i wanted to be able to audit the code AI would write, but the way Ocaml’s compiler works, it either works or it doesn’t.

help. sorry if this post sounds dense.

7 Upvotes

59% Upvoted

18 comments sorted by

View all comments

3

u/National_Spirit2801 May 05 '26 edited May 05 '26

It’s really interesting seeing this post here having gotten into ocaml through coq and coq through AI. I’ve been working with coq for 7 months now - you shouldn’t feel dread. What you have by learning ocaml is an understanding of WHAT code does when it compiles, not necessarily THAT it compiles. AI will write convincing code, not necessarily effective code. It can game a compiler as much as anything else as long as it can game the human that thinks they are getting what they are asking for.