What are the guiding ideas behind Warp?

How does Warp differ from C?

Let me be clear: Warp does not yet exist. I have not yet written a single line of code on this project. I am going to implement the compiler in Haskell, and I have not yet learned Haskell. This 'book' is a planning document only. If you want to talk aobut the design of the language and related topics, that's great, but there's no software to play with yet, so don't bother looking for the 'download' link.

The Warp Programming Language is a compiled, statically typed language intended for writing libraries and system-level applications. This is, by design, the same problem domain addressed by C; the goal of Warp is to exceed C.