3 ms·

I know what you mean, man. Lots of n00bz, ricers, and fanboiz will claim C is the fastest, most efficent lang because you can get "close to the metal" and "twe

I know what you mean, man. Lots of n00bz, ricers, and fanboiz will claim C is the fastest, most efficent lang because you can get "close to the metal" and "tweak". In reality, any code beyond trivial complexity will benefit much more greatly from algebraic rectification, which can only be done with certain languages that are amenable to formal analysis.

sfk 12y ago
http://frama-c.com/ http://frama-c.com/
- sirfapsalot 12y ago
  I think what flatestcat wants is something that actually functions and is proven to function correctly. Frama-C is yet another open source project that is long on hype but woefully short on delivery of actual, working code.
  - dang 12y ago
    Replying to oneself using a bunch of different accounts is an abuse of this site.
userbinator 12y ago
Until I see an award-winning 4k/64k demo written in one of these ultra-high-level languages, I stand by my opinion that C is more efficient.
- p0nce 12y ago
  Check your facts. A large majority of award-winning 4k/64k are written in C++.
  - 10098 12y ago
    his point is still valid though
shadowfox 12y ago
> In reality, any code beyond trivial complexity will benefit much more greatly from algebraic rectification, which can only be done with certain languages that are amenable to formal analysis What exactly is "algebraic rectification"? While it is generally true that having a formal semantics aids greatly in analysis, it is worth noting that a very large amount of program analysis work is targetted towards C. (And mind you, flexible, high level languages bring with it their own troubles. Analysis in the presence of higher order functions is not a panacea at all)