Add new challenges

Author: laike9m

challenges/advanced-never/question.py

@@ -0,0 +1,21 @@
+"""
+TODO:
+
+Make sure `never_call_me` is never called.
+"""
+
+
+def never_call_me(arg):
+    pass
+
+
+## End of your code ##
+def int_or_str(arg: int | str) -> None:
+    never_call_me(arg)  # expect-type-error
+    match arg:
+        case int():
+            print("It's an int")
+        case str():
+            print("It's a str")
+        case _:
+            never_call_me(arg)

challenges/advanced-never/solution.py

@@ -0,0 +1,22 @@
+"""
+TODO:
+
+Make sure `never_call_me` is never called.
+"""
+from typing import Never
+
+
+def never_call_me(arg: Never):
+    pass
+
+
+## End of your code ##
+def int_or_str(arg: int | str) -> None:
+    never_call_me(arg)  # expect-type-error
+    match arg:
+        case int():
+            print("It's an int")
+        case str():
+            print("It's a str")
+        case _:
+            never_call_me(arg)

challenges/advanced-never2/question.py

@@ -0,0 +1,5 @@
+from typing import Never
+
+
+def stop() -> Never:
+    """TODO: implement this function to make it type check"""

challenges/advanced-never2/solution.py

@@ -0,0 +1,5 @@
+from typing import Never
+
+
+def stop() -> Never:
+    """TODO: implement this function to make it type check"""

challenges/basic-final/question.py

@@ -0,0 +1,13 @@
+"""
+TODO:
+
+Make sure `my_list` cannot be re-assigned to.
+"""
+
+
+my_list = []
+
+## End of your code ##
+my_list.append(1)
+my_list = []  # expect-type-error
+my_list = "something else"  # expect-type-error

challenges/basic-final/solution.py

@@ -0,0 +1,15 @@
+"""
+TODO:
+
+Make sure `my_list` cannot be re-assigned to.
+"""
+
+from typing import Final
+
+
+my_list: Final = []
+
+## End of your code ##
+my_list.append(1)
+my_list = []  # expect-type-error
+my_list = "something else"  # expect-type-error