23 ms·

> I never claimed that Haskell can't be used to write simple software I can assure you our software is not at all simple. Standard Chartered has industry leadi

by willtim 10y ago

> I never claimed that Haskell can't be used to write simple software I can assure you our software is not at all simple. Standard Chartered has industry leading portfolio compression and XVA compute. Barclays has industry leading pricing of exotic derivatives (including pricing on GPUs). Both industry leading solutions built in Haskell on top of frameworks/APIs in Haskell. > No one is interested in type-safety or purity for their own sake (except for aesthetic reasons). So are all forms of static verification just aesthetics to you? Or just those offered in Haskell? > I'm interested in better, cheaper software. Then hire good people and let them use the tools they want. The only evidence I could ever hope to offer is that good people build good software. But that would never make an interesting management report.

pron 10y ago
> So are all forms of static verification just aesthetics to you? Or just those offered in Haskell? As someone who makes use of formal methods regularly, I am aware of how weak Haskell's static guarantees are. That is not to say they may not be useful in practice, but that's an empirical question, and the one that I'm desperately waiting for answers to. > The only evidence I could ever hope to offer is that good people build good software. But that would never make an interesting management report. It also doesn't support the claims made that Haskell makes a significant contribution.
- willtim 10y ago
  Yes Haskell makes a significant contribution. The person responsible for our industry leading portfolio compression joined us because we use Haskell.
  - pron 10y ago
    > Yes Haskell makes a significant contribution. That's excellent. So please publish some numbers so we could estimate the contribution. With so much hype and zero data I think that the skepticism is very well justified. > The person responsible for our industry leading portfolio compression joined us because we use Haskell. I have no doubt that some people really like Haskell, but that's not data.

by willtim 10y ago

pron 10y ago

> So are all forms of static verification just aesthetics to you? Or just those offered in Haskell? As someone who makes use of formal methods regularly, I am aware of how weak Haskell's static guarantees are. That is not to say they may not be useful in practice, but that's an empirical question, and the one that I'm desperately waiting for answers to. > The only evidence I could ever hope to offer is that good people build good software. But that would never make an interesting management report. It also doesn't support the claims made that Haskell makes a significant contribution.

willtim 10y ago
Yes Haskell makes a significant contribution. The person responsible for our industry leading portfolio compression joined us because we use Haskell.
- pron 10y ago
  > Yes Haskell makes a significant contribution. That's excellent. So please publish some numbers so we could estimate the contribution. With so much hype and zero data I think that the skepticism is very well justified. > The person responsible for our industry leading portfolio compression joined us because we use Haskell. I have no doubt that some people really like Haskell, but that's not data.