From: Nick B. <Nic...@po...> - 2005-03-14 13:35:19
|
At 2005-03-14 11:23:37+0000, "Nick Benton" writes: > The people who like SML just don't seem all that keen on writing > applications other than theorem provers and SML compilers. I'd be tempted, and would certainly try it, if it had anything like the library support that Python has (almost all of it portably between *nix and Windows, which is important for a lot of the work that we do). But I recognize that I'm in a minority. Way back when, the MLWorkers looked around for real-world ML use. I remember using some 'real applications' (academic biochemistry computations, as I recall) as test cases for the MLWorks profiler. So has SML permanently missed this boat? Is there a future for SML in which it gets used for real programming? Or at least for the ideas which SML incorporates and represents? SML.NET is an excellent step in that direction (albeit single platform etc etc, insert gripes about Microsoft here, I guess SML.NET/Mono will work one day). I should get around to installing the copy of Visual Studio .NET that Mike Smith mailed to me.... What ever happened to Poly/ML? [the other? the original?] Nick B |