I also mentally started thinking about integral solutions. I wonder if it's also because of the variable names... a,b,c tend to be used to represent integers (e.g. Fermat's Last Theorem, Euclid's algorithm etc).
x and y are more commmonly used to represent real numbers.
I happen to agree we should have an election, but I would point out:
1) Unlike EU commissioners, people can vote Theresa May out at the next general election.
2) The UK has a parliamentary democracy. It is not a presidential system. Theresa May was elected by her constituents.
3) Of the 14 prime ministers since the end of the Second World War, half of them (including Theresa May) assumed office between elections.
Ok but the numbers you quoted assumed a linear relationship.
In no way is it "almost certain" that investment in the UK will decrease. The evidence currently suggests the complete opposite. Look at the performance of the FTSE100 since the referendum to see the flood of foreign investment coming into the UK listed companies thanks to the weaker currency.
I'd also point out that decreasing tax rates is the exact opposite of what the chancellor said he would do before the referendum.
It isn't that simple. There isn't a linear relationship between the tax % and the revenue to the treasury. Lower taxes encourage more companies to set up in the UK.
We saw this recently in the UK when the top rate of income tax was raised to 50% and the income to the treasury actually fell.
EU money doesn't come out of thin air. It comes from taxpayers. The UK is a net contributor to the EU so the UK government could choose to fund all current commitments and still be better off.
Haskell has many great attributes but predictable performance isn't amongst them (laziness makes it difficult to reason about) so I doubt it is used for HFT.