veyepar: A Gradual Introduction to Types

Hi user

Admin Login:

Name: A Gradual Introduction to Types
--client nbpy --show nbpy19 --room mystic 15045 --force
Next: 12 How I turned a podcast into a business with Python (and some Other Tools we won't talk about)

show more... Marks

Author(s):	Laura Hampton
Location	Mystic Theatre
Date	nov Sat 02	Days Raw Files
Start	11:05	First Raw Start	10:31
Duration	0:30:0	Offset	0:33:13
End	11:35	Last Raw End	11:58
Chapters	00:00 0:01:32 0:01:32
Total cuts_time	19 min.

https://2019.northbaypython.org/schedule/presentation/6/
raw-playlist raw-mp4-playlist encoded-files-playlist host archive tweet mp4 svg png

final audio

assets release.pdf A_Gradual_Introduction_to_Types.json
logs
Admin: episode episode list cut list raw files day marks day marks day image_files

State:
Locked:	clear this to unlock
Locked by:	user/process that locked.
Start:	initially scheduled time from master, adjusted to match reality
Duration:	length in hh:mm:ss
Name:	Video Title (shows in video search results)
Emails:	email(s) of the presenter(s)
Released:	has someone authorised pubication
Normalise:
Channelcopy:	m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:	filename.png
Description:	Long Description: When I was learning Python, my teacher told me that in order to understand what my code was doing, I needed to know the value and type of every variable. I’ve found it to be valuable advice for debugging and for understanding my code. Python’s type checking tools enable types to be programmatically analyzed before runtime, allowing developers to write code that is easier to reason about and avoids certain types of bugs. Because of this, several large projects have adopted type checking for their Python codebases. Recent versions of Python allow dynamic and static typing in the same application. In the past, types have been handled by the Python interpreter in an implicit way. Python 3.0 added syntax for annotating types in functions, and this was extended to allow declaring the types of variables in 3.6. (As a side effect, it’s possible to declare a variable without assigning it a value!) This talk will cover gradual typing and how type annotations can make Python behave like a statically typed language, the benefits and drawbacks of using a type checker, and cover some examples of handling type checking cases using the `mypy` library. Newer programmers will find that type checking is a useful debugging tool that gives insight into what their code is doing. More experienced programmers will learn more about how type checking is implemented in Python, and will be able to live peacefully with code that behaves as both dynamically and statically typed. Outline (30 minutes): * Dynamic and static typing (4 mins) * Gradual typing, and how type declarations can work with dynamic typing and make Python behave more like a statically typed language (6 mins) * Python’s tools for type checking - MyPy and the typing library (3 mins) * The difference between structural typing and nominal typing (4 mins) * Interesting type annotation cases in `mypy` (8 mins) (Functions that return None; Annotating lists, tuples and other container types; Annotating classes before they are instantiated; Using protocols for structural typing; Any type) * When to use a type checker, and what kinds of errors it can catch (and which it can’t ) (5 mins) Outline (40 minutes): * Dynamic and static typing (4 mins) * Gradual typing, and how type declarations can work with dynamic typing and make Python behave more like a statically typed language (5 mins) * Python’s tools for type checking - MyPy and the typing library ( 3 mins) * The difference between structural typing and nominal typing (4 mins) * Annotating code with mypy (8 mins) (Functions that return None; Annotating lists, tuples and other container types; `Typevar` and creating your own types; Annotating classes before they are instantiated; Any type) * The type hierarchy and relationships between types (4 mins) * Type protocols (how methods implemented on a type affect its behavior) (4 mins) * Generic types and type variables (4 mins) * When to use a type checker, and what kinds of errors it can catch (and which it can’t) (4 mins) The types of variables provide insight into a program’s behavior and the validity of its results. This talk will cover Python’s resources for validating type. It will discuss using type checking as a debugging tool, how gradual typing can make Python behave like a statically typed language, and cover some edge cases in typing with the mypy library. markdown
Comment:	production notes

2019-11-02/10_31_47.ts Apply: 10:31:47 - 10:53:46 ( 00:21:59 ) S: 10:31:47 - E: 11:01:46 D: 00:29:59 (End: 1319.0) show more...

vlc ~/Videos/veyepar/nbpy/nbpy19/dv/mystic/2019-11-02/10_31_47.ts :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	10:31:47		seconds: 0.0 Wall: 10:31:47
Duration	00:29:59
	11:01:46		seconds: 1319.0 Wall: 10:53:46
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2019-11-02/10_31_47.ts Apply: 10:53:46 - 10:54:54 ( 00:01:08 ) S: 10:31:47 - E: 11:01:46 D: 00:29:59 (Start: 1319.0) (End: 1387.0) show more...

vlc ~/Videos/veyepar/nbpy/nbpy19/dv/mystic/2019-11-02/10_31_47.ts :start-time=01319.0 --audio-desync=0

	Raw File	Cut List
	10:31:47		seconds: 1319.0 Wall: 10:53:46
Duration	00:29:59
	11:01:46		seconds: 1387.0 Wall: 10:54:54
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2019-11-02/10_31_47.ts Apply: 10:54:54 - 10:58:27 ( 00:03:33 ) S: 10:31:47 - E: 11:01:46 D: 00:29:59 (Start: 1387.0) (End: 1600.0) show more...

vlc ~/Videos/veyepar/nbpy/nbpy19/dv/mystic/2019-11-02/10_31_47.ts :start-time=01387.0 --audio-desync=0

	Raw File	Cut List
	10:31:47		seconds: 1387.0 Wall: 10:54:54
Duration	00:29:59
	11:01:46		seconds: 1600.0 Wall: 10:58:27
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2019-11-02/10_31_47.ts Apply: 10:58:27 - 10:58:46 ( 00:00:19 ) S: 10:31:47 - E: 11:01:46 D: 00:29:59 (Start: 1600.0) (End: 1619.0) show more...

vlc ~/Videos/veyepar/nbpy/nbpy19/dv/mystic/2019-11-02/10_31_47.ts :start-time=01600.0 --audio-desync=0

	Raw File	Cut List
	10:31:47		seconds: 1600.0 Wall: 10:58:27
Duration	00:29:59
	11:01:46		seconds: 1619.0 Wall: 10:58:46
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2019-11-02/10_31_47.ts Apply: 10:58:46 - 11:00:06 ( 00:01:20 ) S: 10:31:47 - E: 11:01:46 D: 00:29:59 (Start: 1619.0) (End: 1699.0) show more...

vlc ~/Videos/veyepar/nbpy/nbpy19/dv/mystic/2019-11-02/10_31_47.ts :start-time=01619.0 --audio-desync=0

	Raw File	Cut List
	10:31:47		seconds: 1619.0 Wall: 10:58:46
Duration	00:29:59
	11:01:46		seconds: 1699.0 Wall: 11:00:06
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2019-11-02/10_31_47.ts Apply: 11:00:06 - 11:00:14 ( 00:00:08 ) S: 10:31:47 - E: 11:01:46 D: 00:29:59 (Start: 1699.0) (End: 1707.0) show more...

vlc ~/Videos/veyepar/nbpy/nbpy19/dv/mystic/2019-11-02/10_31_47.ts :start-time=01699.0 --audio-desync=0

	Raw File	Cut List
	10:31:47		seconds: 1699.0 Wall: 11:00:06
Duration	00:29:59
	11:01:46		seconds: 1707.0 Wall: 11:00:14
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2019-11-02/10_31_47.ts Apply: 11:00:14 - 11:01:46 ( 00:01:32 ) S: 10:31:47 - E: 11:01:46 D: 00:29:59 (Start: 1707.0) (End: 1799.0) show more...

vlc ~/Videos/veyepar/nbpy/nbpy19/dv/mystic/2019-11-02/10_31_47.ts :start-time=01707.0 --audio-desync=0

	Raw File	Cut List
	10:31:47		seconds: 1707.0 Wall: 11:00:14
Duration	00:29:59
	11:01:46		seconds: 1799.0 Wall: 11:01:46
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2019-11-02/10_31_47.ts Apply: 11:01:46 - 11:01:46 ( 00:00:00 ) S: 10:31:47 - E: 11:01:46 D: 00:29:59 (Start: 1799.0) show more...

vlc ~/Videos/veyepar/nbpy/nbpy19/dv/mystic/2019-11-02/10_31_47.ts :start-time=01799.0 --audio-desync=0

	Raw File	Cut List
	10:31:47		seconds: 1799.0 Wall: 11:01:46
Duration	00:29:59
	11:01:46		seconds: 0.0 Wall: 10:31:47
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2019-11-02/11_01_47.ts Apply: 11:01:47 - 11:19:18 ( 00:17:31 ) S: 11:01:47 - E: 11:31:47 D: 00:30:00 (End: 1051.0) show more...

vlc ~/Videos/veyepar/nbpy/nbpy19/dv/mystic/2019-11-02/11_01_47.ts :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	11:01:47		seconds: 0.0 Wall: 11:01:47
Duration	00:30:00
	11:31:47		seconds: 1051.0 Wall: 11:19:18
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2019-11-02/11_01_47.ts Apply: 11:19:18 - 11:30:10 ( 00:10:52 ) S: 11:01:47 - E: 11:31:47 D: 00:30:00 (Start: 1051.0) (End: 1703.0) show more...

vlc ~/Videos/veyepar/nbpy/nbpy19/dv/mystic/2019-11-02/11_01_47.ts :start-time=01051.0 --audio-desync=0

	Raw File	Cut List
	11:01:47		seconds: 1051.0 Wall: 11:19:18
Duration	00:30:00
	11:31:47		seconds: 1703.0 Wall: 11:30:10
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2019-11-02/11_01_47.ts Apply: 11:30:10 - 11:30:32 ( 00:00:22 ) S: 11:01:47 - E: 11:31:47 D: 00:30:00 (Start: 1703.0) (End: 1725.0) show more...

vlc ~/Videos/veyepar/nbpy/nbpy19/dv/mystic/2019-11-02/11_01_47.ts :start-time=01703.0 --audio-desync=0

	Raw File	Cut List
	11:01:47		seconds: 1703.0 Wall: 11:30:10
Duration	00:30:00
	11:31:47		seconds: 1725.0 Wall: 11:30:32
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2019-11-02/11_01_47.ts Apply: 11:30:32 - 11:31:47 ( 00:01:15 ) S: 11:01:47 - E: 11:31:47 D: 00:30:00 (Start: 1725.0) show more...

vlc ~/Videos/veyepar/nbpy/nbpy19/dv/mystic/2019-11-02/11_01_47.ts :start-time=01725.0 --audio-desync=0

	Raw File	Cut List
	11:01:47		seconds: 1725.0 Wall: 11:30:32
Duration	00:30:00
	11:31:47		seconds: 0.0 Wall: 11:01:47
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2019-11-02/11_31_47.ts Apply: 11:31:47 - 11:55:42 ( 00:23:55 ) S: 11:31:47 - E: 11:58:11 D: 00:26:24 (End: 1435.0) show more...

vlc ~/Videos/veyepar/nbpy/nbpy19/dv/mystic/2019-11-02/11_31_47.ts :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	11:31:47		seconds: 0.0 Wall: 11:31:47
Duration	00:26:24
	11:58:11		seconds: 1435.0 Wall: 11:55:42
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2019-11-02/11_31_47.ts Apply: 11:55:42 - 11:58:11 ( 00:02:29 ) S: 11:31:47 - E: 11:58:11 D: 00:26:24 (Start: 1435.0) show more...

vlc ~/Videos/veyepar/nbpy/nbpy19/dv/mystic/2019-11-02/11_31_47.ts :start-time=01435.0 --audio-desync=0

	Raw File	Cut List
	11:31:47		seconds: 1435.0 Wall: 11:55:42
Duration	00:26:24
	11:58:11		seconds: 0.0 Wall: 11:31:47
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

Rf filename:	root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:	check and save to add this

2019-11-02/10_31_47.ts
audio viz

audio viz

2019-11-02/11_01_47.ts
audio viz

audio viz

2019-11-02/11_31_47.ts
audio viz

audio viz

Veyepar Video Eyeball Processor and Review