cock
>>60036337
Do you mean coq?
>>60036393
lol
https://coq.inria.fr/
Functional code is easier to reuse and more errors can be caught early. OOP is what is being taught and used because people don't want to learn something new.
>>60036203
Who.... Semen demon...Pls hurry
>>60036203
Functional programming is what academics jerk off to and OOP is what Engineers actually developed to get stuff done.
>>60036203
>expecting serious reply from /g/