Makarius wrote:
Note that the majority of people out there are not even sceptics of Poly/ML, because they have not even heard of it. Instead they are using much worse systems that they are used to.
That is the point I had. Writing scripts in ML could show Fedora developers that ML, through the POSIX modules, is indeed a platform for writing robust programs. The usual way now is to write python scripts and rewrite them in C if needed for better memory usage and speed. An ML script could be just tailored rewriting those critical parts in ML itself and compiled with mlton if necessary.
- Gergely