from python import Pythonfn ask_name() raises -> String: let user_input = Python.evaluate("input('What is your name? ')").to_string() return user_input