Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

3.3 Programmer Diligence Required Today

Until automatic well-formedness verification is implemented in the dewy compiler, manual care should be taken to write well-formed udewy:

  1. Use __signed_shr__ when arithmetic shift is needed for signed values
  2. Short-circuit only in conditions - side effects in and/or operands still always occur in ordinary expressions; only if/loop conditions short-circuit
  3. Implement content comparison functions when byte-string content equality is needed
  4. Use unsigned intrinsics explicitly when raw unsigned interpretation matters
  5. Test with increasing compiler strictness as the Dewy compiler matures. The full dewy compiler will be able to flag ALL cases of ill-formed udewy.