from the typesafe-languages dept.
"The OpenBSD system has been hit by a few buffer overflows lately, with serious security implications. I've thought for a while "it's time to stop using C. No bounds checking, weak type checking, and many other dangerous qualities put it on the edge of safety." But Java is not going to be an acceptable solution to most of the OpenBSD developers. What about
, billed as a "safe dialect of C"? Cyclone guarantees type safety and memory safety, while retaining a very C-like syntax, and in fact the ability to compile some unmodified C programs. The performance overhead is small. The compiler is GPL and the libraries are LGPL. What do you think? I'm putting this out for discussion, not intended as a trolling."
I've actually used Cyclone on OpenBSD, it should work just fine after convincing the build system it's OK. It passes the regression tests. The Cyclone community is increasing in activity these days. However, I doubt a project as large and complex as OpenBSD would ever move wholesale into this language and compiler for a variety of reasons, including the limited number of platforms the compiler supports. However, anyone here play extensively with it?