Provide solutions to basic challenges laike9m#19

Author: laike9m

challenges/basic-any/solution.py

@@ -0,0 +1,11 @@
+from typing import Any
+
+
+def foo(x: Any):
+    pass
+
+
+## End of your code ##
+foo(1)
+foo("10")
+foo(1, 2)  # expect-type-error

challenges/basic-dict/solution.py

@@ -0,0 +1,7 @@
+def foo(x: dict[str, str]):
+    pass
+
+
+## End of your code ##
+foo({"foo": "bar"})
+foo({"foo": 1})  # expect-type-error

challenges/basic-list/solution.py

@@ -0,0 +1,7 @@
+def foo(x: list[str]):
+    pass
+
+
+## End of your code ##
+foo(["foo", "bar"])
+foo(["foo", 1])  # expect-type-error

challenges/basic-optional/solution.py

@@ -0,0 +1,9 @@
+def foo(x: int | None = 0):
+    pass
+
+
+## End of your code ##
+foo(10)
+foo()
+
+foo("10")  # expect-type-error

challenges/basic-parameter/solution.py

@@ -0,0 +1,8 @@
+def foo(x: int):
+    pass
+
+
+## End of your code ##
+foo(10)
+
+foo("10")  # expect-type-error

challenges/basic-return/solution.py

@@ -0,0 +1,9 @@
+def foo() -> int:
+    return 1
+
+
+## End of your code ##
+from typing import assert_type
+
+assert_type(foo(), int)
+assert_type(foo(), str)  # expect-type-error

challenges/basic-tuple/solution.py

@@ -0,0 +1,10 @@
+def foo(x: tuple[str, int]):
+    pass
+
+
+## End of your code ##
+foo(("foo", 1))
+
+foo((1, 2))  # expect-type-error
+foo(("foo", "bar"))  # expect-type-error
+foo((1, "foo"))  # expect-type-error

challenges/basic-variable/solution.py

@@ -0,0 +1,6 @@
+a: int
+
+
+## End of your code ##
+a = 2
+a = "1"  # expect-type-erro

challenges/basic-callable/question.py renamed to challenges/intermediate-callable/question.py

@@ -2,7 +2,7 @@
 TODO:
 
 Define a callable type that accepts a string parameter and returns None.
-*The parameter name can be any.*
+*The parameter name can be arbitrary.*
 """
 
 SingleStringInput = ...