[Dok Melody Scratchpad Notes]

feature/transaction-semantic

The advantages of Dok transaction semantic are:

  • FP like, i.e. no side effects
  • imperative like when useful
  • logic programming like when needed, because it supports choice-like instructions