14 ms·

Thanks! Yes, the overloading issue requires changes to both the parsing rules and some fairly tricky formal semantics changes as well. I've talked with Dave Ma

Thanks! Yes, the overloading issue requires changes to both the parsing rules and some fairly tricky formal semantics changes as well. I've talked with Dave MacQueen about it in the past, and it didn't sound like something he was terribly averse to, just that it would take a long time to really get _right_. And then it places a burden on the SML implementations, though at this point that's really SML/NJ, MLton, and possibly Poly/ML (though I don't know that team very well yet). Unfortunately, the SML implementor community largely either moved on to other research projects after the implementation-y papers had been mined or left to work in finance (interestingly, it seems to be about 50/50, with the exception of a Googler or two). We don't really have anybody in research labs to do the kind of amazing full-time implementation, support, evangelism, and publication work that the Simons do so fabulously for Haskell! That said, as a researcher, having many more SML users would require us (particularly Manticore) to Get Real in ways that are not on the path to publication. And considering I'm already only going to have 7-ish publications when I graduate, I see a probable future locked behind the doors of Big Finance for myself as well...

silverlake 15y ago
Which finance companies are using ML languages?
- larsberg 15y ago
  Apart from the obvious Jane Street example, quite a few. F# is used pretty widely at this point in the Chicago area. Many of the larger banks either have their own private dialect of ML or a strict, ML-like subset of Haskell (Standard Chartered). But for most it's not their primary language; those roles are usually still filled by C on the server and some GUI-friendly language for the trader apps. It's mainly used less latency-sensitive work that is more financial modeling in nature. Sorry for being vague with names; other than Jane Street and Standard Chartered, most of them will only talk about it confidentiality. Many take secrecy to the point of lunacy.

silverlake 15y ago

Which finance companies are using ML languages?

larsberg 15y ago
Apart from the obvious Jane Street example, quite a few. F# is used pretty widely at this point in the Chicago area. Many of the larger banks either have their own private dialect of ML or a strict, ML-like subset of Haskell (Standard Chartered). But for most it's not their primary language; those roles are usually still filled by C on the server and some GUI-friendly language for the trader apps. It's mainly used less latency-sensitive work that is more financial modeling in nature. Sorry for being vague with names; other than Jane Street and Standard Chartered, most of them will only talk about it confidentiality. Many take secrecy to the point of lunacy.