{"library":"ty","code":"import typing\n\ndef greet(name: str) -> str:\n    return \"Hello, \" + name\n\n# Intentional type error for demonstration\nresult: int = greet(\"World\") \n","lang":"python","description":"Save the code above as `main.py`. Then, run `ty check` from your terminal in the same directory. ty will analyze the file and report the type error. Ensure `ty` is installed or run with `uvx`.","tag":null,"tag_description":null,"last_tested":"2026-04-24","results":[{"runtime":"python:3.10-alpine","exit_code":0},{"runtime":"python:3.10-slim","exit_code":0},{"runtime":"python:3.11-alpine","exit_code":0},{"runtime":"python:3.11-slim","exit_code":0},{"runtime":"python:3.12-alpine","exit_code":0},{"runtime":"python:3.12-slim","exit_code":0},{"runtime":"python:3.13-alpine","exit_code":0},{"runtime":"python:3.13-slim","exit_code":0},{"runtime":"python:3.9-alpine","exit_code":0},{"runtime":"python:3.9-slim","exit_code":0}]}