Forwarded from Brett G.
Article is on which languages have the most checked and unchecked vulnerabilities. You will notice that functional languages don't even chart.
It is almost as though a functional language has inherent methods of safety and security, and that verification reduces bugs that open exploits.... Hmmmmmmmmmmmmmmmmm......
(I wonder if F* to Low* C compilation causes less risks)
It is almost as though a functional language has inherent methods of safety and security, and that verification reduces bugs that open exploits.... Hmmmmmmmmmmmmmmmmm......
(I wonder if F* to Low* C compilation causes less risks)