C Port of PBP Kernel (part 7) Thinking About Type Annotations

PBP Kernel to C — Part 7: Marking Where Types Go Part 7 begins today's sub-experiment in porting the PBP kernel to C. The kernel source (`*.rt` files) currently has no type annotations — it was written assuming dynamically typed languages. In this video, I start processing the existing kernel source to produce a "form" that leaves indicators of where I'll need to manually supply types. Type inferencing (Prolog, miniKanren) might fill in some of this automatically down the road, but for now I'm entering types by hand to keep things simple. Repo: https://github.com/guitarvydas/pbp/tr... Full playlist:    • C Port of PBP Kernel   Follow along / join the discussion: Programming Simplicity Discord —   / discord   — channel `PBP (Parts Based Programming, 0D) #0d` Substack article: [https://programmingsimplicity.substac...]