Tuesday, 16 October 2018

Some objective quantitative measurements I once posted on Usenet:
Jon Harrop wrote:
> Andreas Rossberg wrote:
>> That is a wild claim, and I doubt that you have any serious statistics
>> to back it up.
>
> Here are some statistics on the proportion of lines of code devoted to
> type annotations from 175kLOC of production OCaml and 5kLOC of production
> Haskell:
>
> OCaml:
> Hevea 9.0%
> ADVI 8.6%
> FFTW3 5.2%
> Unison 3.5%
> MLDonkey 2.5%
> LEdit 1.4%
> MTASC 0.0%
> HLVM 0.0%
>
> Haskell:
> XMonad 19%
> Darcs 12%

For further comparison, here are some statistics for compilers written in
OCaml and Standard ML:

OCaml: 6.3% of 217kLOC
MosML: 13% of 69kLOC