"Yet, no current programming language lets you write your logic as a sequence diagram."

Welcome to automation (PLC) programming where sequence programming has been around since 80s.