What do people here use as an IDE?

[Paulo Pinto]

Thanks for the hint.

Are you also aware of Habit?
http://www.galois.com/blog/2010/05/12/tech-talk-developing-good-habits-for-bare-metal-programming/

Am 13.10.2010 13:22, schrieb bearophile:
>
>
> ----------------------
>
> Paulo Pinto:
>
>> if you want to invent some kind of high level assembler, the result will always resemble somehow to C.<
>
> Where low-level performance is important, and at the same time you need quite safe code, a language like ATS is an option, and it doesn't look a lot like C:
> http://en.wikipedia.org/wiki/ATS_%28programming_language%29
>
> The ATS syntax looks very bad compared to C, but it's not bad if you keep into account how much you may use it to proof code. It's first of all a theorem proving language, that's often more efficient than C. It's for niche projects.
>
> Bye,
> bearophile