[MLton-devel] Re: Question

Matthew Fluet Matthew Fluet <fluet@CS.Cornell.EDU>
Tue, 23 Jul 2002 15:33:11 -0400 (EDT)


> > BTW, in looking up what my sourceforge settings were, I happened to notice
> > that MLton is #5 on the top downloads today! And ranked #20 over the past
> > 7 days!
> >                                DLs     Previous Rank  Rank Change
> > 20 MLton Standard ML Compiler  15869   32             Up 12
> > 
> > Now, if only we had 15,000 people actually using the compiler.
> 
> Yeah, something weird has happened.  I sent in a bug report to the
> sourceforge people, asking them to limit each IP address to bumping
> each counter once per day.

Interestingly, my officemate and I have discovered that a similar
phenomena has affected the Geometry Utility Library, IT++ (a signal
processing library), and the HOL Theorem prover.  We're now trying to
think of which company to invest in, as they seem to have hit on some hot
topic. ;)  The really annoying part is there is a connection between MLton
and HOL (although I have no idea if you can compile HOL out of the box
with MLton).



-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel