[langsec-discuss] code inflation

travis+ml-langsec at subspacefield.org travis+ml-langsec at subspacefield.org
Fri Apr 17 20:17:48 UTC 2015

My friend who did a language shootout back around 1999 found that
Ocaml was his favorite language, in that it was usually within a
binary order of magnitude in speed and memory, was compiled (no
interpreter runtime overhead to fill RAM or take time forking), and
his code actually grew smaller the more he worked on it.  That raised
my eyebrows.  That it does type inference (figuring out types of
arguments rather than you declaring them) is just icing on the cake,
as normally, strongly typed languages require strong typing skills.
"Computer crime, the glamor crime of the 1970s, will become in the
1980s one of the greatest sources of preventable business loss."
John M. Carroll, "Computer Security", first edition cover flap, 1977
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 834 bytes
Desc: not available
URL: <https://mail.langsec.org/pipermail/langsec-discuss/attachments/20150417/61a4b00e/attachment.sig>

More information about the langsec-discuss mailing list