The moment when you begin to understand just about any programming language because you mastered one. And you solve problems much more effectively.

And then the time comes where getting into a flow state gets easier and easier and your productivity skyrockets. But don't forget to take regular breaks (Pomodoro) otherwise you're exhausted very soon.

That feeling lasts until you try a language focused on a paradigm you have no experience in.

Most can just try Haskel or OCaml/F# to quickly get rid of that feeling as they are completely unprepared for the functional paradigm and mighty type systems.

This is the difference between a coder, a programmer or an engineer. Be proud of yourself regardless you have a degree or not

@Oktokolo you are so unbelievably correct. Even though I am quite comfortable with map reduce and also immutability, I still struggle learning to use haskell.

But each time when I do accomplish something,i like how clean haskell looks.

@plusgut
If you like clean code, try OCaml (the original) or F# (copycat actually having an eco system).
They have compile-time type inference allowing you to get rid of most type information.

@Oktokolo thanks for your suggestions! I already had a look at ocaml, but I had a couple of issues with ocamls package manager. It expected having kernel modules activated, which I didn't want to be enabled.

I think I stick with haskell, so far nothing annoyed me there.

I'm quite opinionated and easily dismiss things, when I feel that bad decisions were made.

In haskell I feel that a lot of really good choices were made.

Even if it takes me a while to understand the concepts of it.

But thanks for your recommendations anyway!

@plusgut
Well, Haskell is definitely the more pure language (as OCaml/F# are multi-paradigm and even allow explicit mutation). So if you are a mathematician at heart, Haskell actually might be the best language...

But have you tried Coq?

@Oktokolo I actually don't have any mathematical background at all. I just like well thought through programming languages which encourage elegant coding.

I have never heard of coq before, but I'll definitely have a look at it, thanks!

I'm currently trying to write a compiler with an llvm backend, and am enjoying that process a lot with haskell (even though that it's quite tough on me). But each time when I succeed with something and look at the code, I am enjoying how clean everything looks with the pattern mathing and guards.

Sounds sublime, and gives me something to look forward to. Thanks

Yeah but then comes Visualforce and boom, all that C++ and Java and Python doesn't help anymore. 😭