With generic types, you can also model infinite state machines by instantiating a generic type with anther generic type. This way you can extend the concept of

With generic types, you can also model infinite state machines by instantiating a generic type with anther generic type. This way you can extend the concept of the presented finite state machine all the way to Turing machines! See here you can do that with C#: https://blog.hediet.de/post/how-to-stress-the-csharp-compiler https://blog.hediet.de/post/how-to-stress-the-csharp-compile... (section "With C# One Can Prove that a Turing Machine Halts")