feat: unify solution for python 3.12 (#117)

challenges/advanced-decorator/solution.py

@@ -7,15 +7,15 @@
 from collections.abc import Callable
 from typing import TypeVar
 
-# Python < 3.12
+# For Python < 3.12
 #
 # T = TypeVar("T", bound=Callable)
 #
 # def decorator(message: str) -> Callable[[T], T]:
 #     return func
 
 
-# Python >= 3.12
+# For Python >= 3.12
 def decorator[T: Callable](message: str) -> Callable[[T], T]:
     ...
 

challenges/advanced-overload-literal/solution.py

@@ -6,7 +6,10 @@
 """
 from typing import Any, Literal, overload, TypeVar
 
-T = TypeVar("T")
+# Before 3.12 you have to write:
+# T = TypeVar('T')
+#
+# def foo(value: T, flag: Any) -> T:
 
 
 @overload
@@ -25,7 +28,7 @@ def foo(value: Any, flag: Literal[3]) -> list[Any]:
 
 
 @overload
-def foo(value: T, flag: Any) -> T:
+def foo[T](value: T, flag: Any) -> T:
     ...
 
 

challenges/basic-typealias/solution.py

@@ -4,12 +4,12 @@
 Create a new type called Vector, which is a list of float.
 """
 
-from typing import TypeAlias
+# Before 3.12 you have to write
+# from typing import TypeAlias
+#
+# Vector: TypeAlias = list[float]
 
-Vector: TypeAlias = list[float]
-
-# Python >= 3.12
-# type Vector = list[float]
+type Vector = list[float]
 
 
 ## End of your code ##

challenges/extreme-constructor/solution.py

@@ -7,12 +7,14 @@
 """
 from typing import Callable, ParamSpec, TypeVar
 
-T = TypeVar("T")
-P = ParamSpec("P")
-R = TypeVar("R")
+# Before 3.12 you have to write
+# T = TypeVar("T")
+# P = ParamSpec("P")
+# R = TypeVar("R")
+# def constructor_parameter(
 
 
-def constructor_parameter(
+def constructor_parameter[**P, T, R](
     cls: Callable[P, T],
 ) -> Callable[[Callable[[T], R]], Callable[P, R]]:
     ...

challenges/intermediate-decorator/solution.py

@@ -5,15 +5,15 @@
 """
 from typing import Callable, TypeVar
 
-# Python < 3.12
+# For Python < 3.12
 #
 # T = TypeVar("T", bound=Callable)
 #
 # def decorator(func: T) -> T:
 #     return func
 
 
-# Python >= 3.12
+# For Python >= 3.12
 def decorator[T: Callable](func: T) -> T:
     return func
 

challenges/intermediate-generic/solution.py

@@ -4,19 +4,21 @@
 The function `add` accepts two arguments and returns a value, they all have the same type.
 """
 
-from typing import TypeVar
-
-T = TypeVar("T")
+# Before 3.12 you have to write
+# from typing import TypeVar
+#
+# T = TypeVar("T")
+#
+#
+# def add(a: T, b: T) -> T:
+#     return a
 
 
-def add(a: T, b: T) -> T:
+# For Python >= 3.12
+def add[T](a: T, b: T) -> T:
     return a
 
 
-# For Python >= 3.12
-# def add[T](a: T, b: T) -> T:
-#     return a
-
 ## End of your code ##
 from typing import List, assert_type
 

challenges/intermediate-generic2/solution.py

@@ -4,19 +4,21 @@
 The function `add` accepts two arguments and returns a value, they all have the same type.
 The type can only be str or int (or their subclasses).
 """
-from typing import TypeVar
-
-T = TypeVar("T", int, str)
+# For Python < 3.12
+# from typing import TypeVar
+#
+# T = TypeVar("T", int, str)
+#
+#
+# def add(a: T, b: T) -> T:
+#     return a
 
 
-def add(a: T, b: T) -> T:
+# For Python >= 3.12
+def add[T: (str, int)](a: T, b: T) -> T:
     return a
 
 
-# For Python >= 3.12
-# def add[T: (str,int)](a: T, b: T) -> T:
-#     return a
-
 ## End of your code ##
 from typing import assert_type
 

challenges/intermediate-generic3/solution.py

@@ -4,19 +4,21 @@
 The function `add` accepts one argument and returns a value, they all have the same type.
 The type can only be int or subclasses of int.
 """
-from typing import TypeVar
-
-T = TypeVar("T", bound=int)
+# For Python < 3.12
+# from typing import TypeVar
+#
+# T = TypeVar("T", bound=int)
+#
+#
+# def add(a: T) -> T:
+#     return a
 
 
-def add(a: T) -> T:
+# For Python >= 3.12
+def add[T: int](a: T) -> T:
     return a
 
 
-# For Python >= 3.12
-# def add[T: int](a: T) -> T:
-#     return a
-
 ## End of your code ##
 from typing import assert_type