Read Oot first.

Details of Oot

In these sections, we try not to repeat what was said above in the 'Overview' and 'Tour' section. (todo take out redundancy)

• Details of Oot: Syntax
• Details of Oot: Core
• Details of Oot: Semantics
• Details of Oot: Standard library

todo

while, cond (switch; uses 'is'), continue, break, for, repeat

range (xrange, arange)

like webassembly, "Break and continue statements can only target blocks or loops in which they are nested."

webassemblyish comma: evaluate and ignore the result of the first operand, evaluate and return the second operand

todo: operators for various arithmetic fns in Oot Core

todo:

other stuff that looks cool from nacl:

• threading
  • llvm.nacl.read.tp (i8* @llvm.nacl.read.tp(): Returns a read-only thread pointer. The value is controlled by the embedding sandbox’s runtime)
  • : nacl: "Threading is explicitly supported through C11/C++11’s threading libraries as well as POSIX threads. Communication between threads should use atomic primitives as described in Memory Model and Atomics." [1]. global variable TLS models are not supported. volatile is not supported. See PNaCl C/C++ Language Support: Memory Model and Atomics.
• freaky control flow
  • C11 setjmp and longjmp
• atomics
  • llvm.nacl.atomic.store, llvm.nacl.atomic.load, llvm.nacl.atomic.rmw (read-modify-write operations; compile-time constant specifying the operation as one of: add, sub, or, and, xor, exchange), llvm.nacl.atomic.cmpxchg, llvm.nacl.atomic.fence, llvm.nacl.atomic.fence.all, llvm.nacl.atomic.is.lock.free: See atomic intrinsics
    • note to self: how do these compare to LLVM's? see http://llvm.org/releases/3.3/docs/LangRef.html#memmodel http://llvm.org/releases/3.3/docs/Atomics.html
• instrinsics:
  • memcpy, memmove, memset
  • bswap (?)
  • llvm.stacksave, llvm.stackrestore (These intrinsics are used to implement language features like scoped automatic variable sized arrays in C99. llvm.stacksave returns a value that represents the current state of the stack. This value may only be used as the argument to llvm.stackrestore, which restores the stack to the given state)
  • llvm.trap (This intrinsic is lowered to a target dependent trap instruction, which aborts execution)
• unreachable

!=

todo:

to avoid locale-specific encoding errors derailing the reporting of unusual conditions in errors or log messages, by default 'print' does not raise an exception when it cannot encode a character.

TODO revise and work in the stuff from [2]