Type Theory in Purescript 01: Syntax & Parsing
00:00:00 Intro
00:11:50 Figuring out Types
00:20:30 Figuring out Terms
00:38:00 First look at purescript-parsing
00:42:20 Language Definition
00:48:25 Syntax Examples
00:55:30 Parsing Types
01:22:00 Writing Ad-hoc Tests
01:26:00 Parsing Terms
Watch me and Denisa implement pure functional languages in Purescript! We will write parsers, interpreters (small-step semantics), type checking, and proof search (fill typed hole)!
Episode 1 shows basic syntax and parsing.
These shows happen weekly on Twitch. Follow me to get live notifications / cvladfp
I also tweet before going live: / cvlad
Subscribe to this channel for daily videos!