This is the twentieth first part of the Types and Programming Languages series. For your convenience you can find other parts in the table of contents in Part 1 — Do not return in finally We often hear that code is written once but read many times. Due to that, we favor code “quality”, “clarity”, … Continue reading Types and Programming Languages Part 21 – Code is read many times

This is the sixth part of the State Machine Executor series. For your convenience you can find other parts in the table of contents in State Machine Executor Part 1 — Introduction Let’s revisit our execution function: It’s quite quite already as we extended it with a support for timeouts, exception handling, state management, and … Continue reading State Machine Executor Part 6 — Forking

It’s not a hidden knowledge that many assignments are not atomic and we can face the word tearing. They are mostly related to CPU word length, synchronization, concurrency, etc. However, things can be much worse when we’re dealing with interpreted languages or languages with no strict schema. In these languages, a “regular” assignment can also … Continue reading Non-atomic assignments in Python

This is the fifth part of the State Machine Executor series. For your convenience you can find other parts in the table of contents in State Machine Executor Part 1 — Introduction Being able to describe side effects instead of executing them may sound great, but it has one significant drawback – the side effects … Continue reading State Machine Executor Part 5 — Streaming

This is the fourth part of the State Machine Executor series. For your convenience you can find other parts in the table of contents in State Machine Executor Part 1 — Introduction Let’s discuss how to improve reliability of our state machines. How machines are executed In part 1, we defined the contract for triggering … Continue reading State Machine Executor Part 4 — Timeouts, exceptions, suspending