If you enjoyed Seasons 0 through 2 on YouTube, you probably liked the exploratory approach to building software with new technology. I know I do, too! 🎉 — unfortunately, not everyone has time (or patience!) to see me rant for over 2 hours just to dig out the Good Stuff™️ and maybe learn something new 😅.
This time, Reasonable Coding is going to take a spin 🚀
I'll be compressing the learnings of a live-stream in a bite-sized video you can watch between test-runs, right after stand-up, or in a bathroom break. Like a How I Met Your Mother episode (but without Jason Segel 🙈).
This season will also be around a single project: in ~12 episodes we will be creating a non Turing-complete, statically typed language for declarative data modeling, and its corresponding compiler with a code generation target.
Through this project we will explore:
- Grammars & Parsers
- Compiler Design & Construction
- Type Theory and Type Inference
- CLIs and Nice Errors for Devs
- Formal Verification
- Fuzzy Testing
Since this will take considerable time and effort to plan and produce, I will continue doing some of the exploration in the original live-stream format. The final cut of the series will be available for buying at a Pay-what-you-can price
, and the first episode will be free as a preview 🙌🏼
In addition to the video content, the series will include:
- 📝 A proper transcript for you to read along
- 💻 All of the relevant code for you to play with
If you're interested sign up with the form below and I'll keep you posted on the status.
Leandro (aka. @leostera