Advanced Type Checking Porth Ep

Media Summary: Streamed Live on at 2021-10-03 References: - Live streamed on at 24.09.2021 References: - Recorded offline at 22.09.2021 References: - Source Code:

Advanced Type Checking Porth Ep - Detailed Analysis & Overview

Streamed Live on at 2021-10-03 References: - Live streamed on at 24.09.2021 References: - Recorded offline at 22.09.2021 References: - Source Code: Compose NYC 2019 Speaker: David Christiansen When implementing a Live streamed on at 20.09.2021 References: - Source Code: Stream Live on at 2021-10-12 References: - Source Code:

EuroPython 2025 — North Hall on 2025-07-16] *Typing at scale: statically Live streamed on at 27.09.2021 References: -

Photo Gallery

Advanced Type Checking (Porth Ep.16)

Static Type Checking (Porth Ep.15)

I made a whole Language just to solve Coding Problems (Porth Ep.10)

Static Types in Python? (Porth Ep.09)

This is Readable (Porth Ep.20)

Compile Time Checks (Porth Ep.27)

Bidirectional Type Checking

Macros | Compiler Development | Porth Ep.08

Making Debugging Tool For My Compiler (Porth Ep.18)

Typing at scale: statically type-checking a large codebase — Alan Franzoni

Uh-oh! My Language is Slower Than Python! (Porth Ep.28)

Safety For Macros (Porth Ep.12)

View Detailed Profile

Advanced Type Checking (Porth Ep.16)

Advanced Type Checking (Porth Ep.16)

Streamed Live on https://twitch.tv/tsoding at 2021-10-03 References: -

Static Type Checking (Porth Ep.15)

Static Type Checking (Porth Ep.15)

References: -

I made a whole Language just to solve Coding Problems (Porth Ep.10)

I made a whole Language just to solve Coding Problems (Porth Ep.10)

Live streamed on https://twitch.tv/tsoding at 24.09.2021 References: -

Static Types in Python? (Porth Ep.09)

Static Types in Python? (Porth Ep.09)

Recorded offline at 22.09.2021 References: - Source Code: https://github.com/tsoding/

This is Readable (Porth Ep.20)

This is Readable (Porth Ep.20)

References: - Source Code: https://github.com/tsoding/

Compile Time Checks (Porth Ep.27)

Compile Time Checks (Porth Ep.27)

References: - Source Code: https://gitlab.com/tsoding/

Bidirectional Type Checking

Bidirectional Type Checking

Compose NYC 2019 Speaker: David Christiansen When implementing a

Macros | Compiler Development | Porth Ep.08

Macros | Compiler Development | Porth Ep.08

Live streamed on https://twitch.tv/tsoding at 20.09.2021 References: - Source Code: https://github.com/tsoding/

Making Debugging Tool For My Compiler (Porth Ep.18)

Making Debugging Tool For My Compiler (Porth Ep.18)

Stream Live on https://twitch.tv/tsoding at 2021-10-12 References: - Source Code: https://github.com/tsoding/

Typing at scale: statically type-checking a large codebase — Alan Franzoni

Typing at scale: statically type-checking a large codebase — Alan Franzoni

EuroPython 2025 — North Hall on 2025-07-16] *Typing at scale: statically

Uh-oh! My Language is Slower Than Python! (Porth Ep.28)

Uh-oh! My Language is Slower Than Python! (Porth Ep.28)

References: - Source Code: https://gitlab.com/tsoding/

Safety For Macros (Porth Ep.12)

Safety For Macros (Porth Ep.12)

Live streamed on https://twitch.tv/tsoding at 27.09.2021 References: -

Python List Comprehension for Better Error Reporting in My Language — Porth Ep.02

Python List Comprehension for Better Error Reporting in My Language — Porth Ep.02

References: - Source Code: https://github.com/tsoding/