(filename: str)
| 44 | |
| 45 | |
| 46 | def get_language(filename: str) -> Optional[str]: |
| 47 | if filename == "starter.cu": |
| 48 | return "cuda" |
| 49 | if filename == "starter.mojo": |
| 50 | return "mojo" |
| 51 | if filename.startswith("starter.") and filename.endswith(".py"): |
| 52 | parts = filename.split(".") |
| 53 | if len(parts) == 3: |
| 54 | return parts[1] |
| 55 | return None |
| 56 | |
| 57 | |
| 58 | # Mapping from disk filename to backend filename |