Have been watching Encore for a while, excited about prospects of it in other languages like Python!

Not a language I associate with type safety...

Type safety is emphasized here and Python type safety has a lot of work that needs to be done to its