Fast and reliable programs with OCaml
Static typing, type checking, and low memory usage make this easy-to-learn language a strong candidate for application development.
OCaml is a statically typed programming language with a focus on correctness and speed. First released in 1996 as "Objective Caml," OCaml extended the older Caml language with object-oriented features. OCaml  is now mature, stable, and well documented.
It supports both functional and imperative programming styles, making it a good choice for Python, C, or Java programmers interested in writing more reliable software.
OCaml's syntax can look a little alien at first. For example, here's a complete OCaml program:
Buy this article as PDF
HP's annual Cyber Risk report offers a bleak look at the state of IT.
But what do the big numbers really mean?
.NET Core execution engine is the basis for cross-platform .NET implementations.
The Xnote trojan hides itself on the target system and will launch a variety of attacks on command.
Spammers go low-volume, and 90% of IE browsers are unpatched.
Adobe scrambles to release patches for vulnerable Flash Player.
Four-inch-long computer on a stick lets you boot a full Linux system from any HDMI display device.
New statute would require companies to report break-ins to consumers.
Weird data transfer technique avoids all standard security measures.
FIDO alliance declares the beginning of the end for old-style login authentication.