nvrl/eidp-2023
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tut 12 correction

Browse Source
This commit is contained in:
Nils Pukropp
2024-01-19 05:29:56 +01:00
parent 89ad048474
commit 8ddae35266
3 changed files with 9 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
Tutorium/tut12/README.md
View File

@ -249,8 +249,6 @@ def has_cycle(graph: Graph[Any]) -> bool:
- **statische Typisierung** überprüft die gegebenen Typen zur **Übersetzungszeit** - **statische Typisierung** überprüft die gegebenen Typen zur **Übersetzungszeit**
- also während wir den Quellcode übersetzen - also während wir den Quellcode übersetzen
### Was ist nun Python?
--- ---
## Type annotations - Typisierung ## Type annotations - Typisierung
@ -259,6 +257,10 @@ def has_cycle(graph: Graph[Any]) -> bool:
- also erst wenn das Programm *läuft* - also erst wenn das Programm *läuft*
- **statische Typisierung** überprüft die gegebenen Typen zur **Übersetzungszeit** - **statische Typisierung** überprüft die gegebenen Typen zur **Übersetzungszeit**
- also während wir den Quellcode übersetzen - also während wir den Quellcode übersetzen
### Was ist nun Python?
---
### Was ist nun Python? ### Was ist nun Python?
@ -266,7 +268,7 @@ def has_cycle(graph: Graph[Any]) -> bool:
- wir müssen unsere `.py` Datei ausführen bevor wir wissen ob alles korrekt ist - wir müssen unsere `.py` Datei ausführen bevor wir wissen ob alles korrekt ist
- **Pylance** ist ein eigenes Programm - **Pylance** ist ein eigenes Programm
- es soll beim Schreiben bereits **Typverletzungen** erkennen - es soll beim Schreiben bereits **Typverletzungen** erkennen
- **unvollständige** Typüberprüfung - **unvollständige** Typüberprüfung, es soll nur den Entwickler unterstützen
--- ---
@ -524,7 +526,7 @@ print(add_but_variable(3, 2)) # 5
def filter[T](predicate: Callable[[T], bool], xs: Iterable[T]) -> Iterable[T]: def filter[T](predicate: Callable[[T], bool], xs: Iterable[T]) -> Iterable[T]:
return [x for x in xs if predicate(x)] return [x for x in xs if predicate(x)]
predicate: Callable[[int | None] bool] = lambda e: bool(e) predicate: Callable[[int | None] bool] = lambda e: e is not None
none_free_list: list[int] = list(filter(predicate, [1, 2, 3, None, 5, 6])) none_free_list: list[int] = list(filter(predicate, [1, 2, 3, None, 5, 6]))
print(none_free_list) # [1, 2, 3, 5, 6] - kein None print(none_free_list) # [1, 2, 3, 5, 6] - kein None
``` ```

BIN
Tutorium/tut12/slides.pdf
View File

Binary file not shown.

5
Tutorium/tut12/src/functional.py
View File

@ -48,8 +48,9 @@ def main():
# f(g(h(0))) <=> ((0 - 3) ** 2) + 42 = 51 # f(g(h(0))) <=> ((0 - 3) ** 2) + 42 = 51
assert (tmp := fhg(0)) == 51 assert (tmp := fhg(0)) == 51
assert compose(f, g, h)(0) == 51 assert compose(f, g, h)(0) == 51
assert list(filter(lambda e: bool(e), [1, 2, 3, None, 5, 6])) == [1, 2, 3, 5, 6] predicate = lambda e: e
assert list(filter(lambda e: not bool(e), [1, 2, 3, None, 5, 6])) == [None] assert list(filter(predicate, [1, 2, 3, None, 5, 6])) == [1, 2, 3, 5, 6]
assert list(filter(lambda e: e is None, [1, 2, 3, None, 5, 6])) == [None]
assert list(map(lambda e: str(e), [1, 2, 3, 4, 5, 6, "hello_functional"])) == ["1", "2", "3", "4", "5", "6", "hello_functional"] assert list(map(lambda e: str(e), [1, 2, 3, 4, 5, 6, "hello_functional"])) == ["1", "2", "3", "4", "5", "6", "hello_functional"]