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. -- http://www.subspacefield.org/~travis/ "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
pgpGXkxTNW7zo.pgp
Description: PGP signature
_______________________________________________ langsec-discuss mailing list langsec-discuss@mail.langsec.org https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
