From 789c325bd612219ab5903f5216b08b431899feec Mon Sep 17 00:00:00 2001
From: Temirkhan Myrzamadi
All the API types and methods are implemented with heavy use of ADTs to enforce type-safety and tight integration with IDEs. Bot's commands have precise types too, thereby serving as a self-documenting code and respecting the parse, don't validate programming idiom.
+By default, teloxide stores all user dialogues in RAM, but you can store them somewhere else (for example, in a database) just by implementing 2 functions.
- + +Define a type-safe finite automaton and transition functions to drive a user dialogue with ease (see the guess-a-number example below).