diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2023-07-18 00:33:18 +0200 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2023-07-18 00:33:18 +0200 |
commit | e514e0e3f6a236819f388c21af65422f399e47fc (patch) | |
tree | 6f51739d04d8dfc315d4a4a26ba0dcde990a2ae6 /Python.wiki | |
parent | ons 12 jul 2023 15:20:07 CEST (diff) | |
download | wiki-public-e514e0e3f6a236819f388c21af65422f399e47fc.tar.gz wiki-public-e514e0e3f6a236819f388c21af65422f399e47fc.tar.xz |
tis 18 jul 2023 00:33:16 CEST
Diffstat (limited to 'Python.wiki')
-rw-r--r-- | Python.wiki | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Python.wiki b/Python.wiki index a0e3faa..4921020 100644 --- a/Python.wiki +++ b/Python.wiki @@ -4,6 +4,22 @@ - [[Python Operators]] :: And operator overloading - [[Python Pipeline]] += String IO = +Open strings as file descriptors + +{{{python +import io +f = io.StringIO("Hello, World") +f.read() +# ⇒ 'H' +}}} + + += Disable typing for line = +{{{python +somethintg_which_doesnt_typecheck() # type: ignore +}}} + = Properties = property |