>Apparently it was deliberately named [Coq] to fuck with Anglos
Django is an amazing framework. If you're a software dev, you will eventually learn a shit ton of C-like languages, including Python. They are all basically the same.
How does one type that shit? inb4 buy an APL keyboard, no.
Damn, that sounds pretty crazy. Does rust get somewhat close to these goals? I need to read about ATS.
PHP is trash bro. You might like it because of the environment or for whatever reason, but it is objectively a trash language.
If you like programming, keep doing it on your free time until you get decent at it. It is a good source of employment right now.
Agree with the other anon.
>One must imagine sisyphus on antidepressants.
Types are really good tbh. And python is a nice language, with a great ecosystem. Especially for smaller projects. Python has optional types which can be really useful. Intellij + django is just perfect for quick projects. Also, pipenv is the way to go, it's so comfy compared to other tools.
C and C++ are either used in legacy code or in performance critical environments. The first scenario, doesn't matter if it is a good language or not, you are forced to use it. The second, usually C++ is used for systems programming, C is used for hardware programming.
>I just had to mock method that takes 28 arguments
bruh. your suspicion on how shit your code is should rise exponentially with regards to the number of arguments it takes. A 10 parameter function/method is already screaming "please rewrite me".
>has never programmed in haskell
it's like bowling with side bumpers. if it compiles, you're almost guaranteed you're doing something right. After you get over the ridiculous learning curve, programming in haskell is kinda like assisted programming. I was memeing about Idris2, I haven't actually used it, but from what I see, it takes it to an extreme and literally writes your function's implementation for you based on your function signature (params + return type). It's insane tbh.
Kinda does, but there are worse jobs tbh.