Type Checking If Expressions – journal.stuffwithstuff.com
I have this hobby project I’ve been hacking on for several years. It’s a fantasy console, very much inspired by the delightful PICO-8. Like PICO-8, my console has its own built-in scripting language. Because I’m me, I of course took the opportunity to design an entirely new language. My goal for the project is a fun way to build small-ish 2D games. I want its scripting language to be expressive enough to be joyful, but small enough that you can learn the whole language and never need to consult a reference manual after that. My dream is a goofy little pixellated IDE where you can get lost in your own flow state and just make shit without having to periodically hit StackOverflow and then get distracted by the wonders/horrors of the Internet. I don’t know if I’ll ever pull this off or the language will ever see the light of day, but it’s a fun therapeutic thing for me to noodle on. To make a language that fits in your head (or at least my head, whose working space seems to get smaller ev
Type Checking If Expressions I have this hobby project I've been hacking on for several years. It's a fantasy console, very much inspired by the delightful PICO-8 . Like PICO-8, my console has its own built-in scripting language. Because I'm me, I of course took the opportunity to design an entirely new language. My goal for the project is a fun way to build small-ish 2D games. I want its scripting language to be expressive enough to be joyful, but small enough that you can learn the whole language and never need to consult a reference manual after that. My dream is a goofy little pixellated I
Explore this link on the map →related reading
- Control Flow - The Rust Programming Languagedoc.rust-lang.org
- Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers | Edward Li's Blogblog.edward-li.com
- Evaluating Expressions · Crafting Interpreterscraftinginterpreters.com
- "We're building a new static type checker for Python" | Hacker Newsnews.ycombinator.com
- CSC 151 - Conditional evaluation in Schemeeikmeier.sites.grinnell.edu
- TypeScript: Documentation - The Basicstypescriptlang.org
- Control Flow · Crafting Interpreterscraftinginterpreters.com
- No, dynamic type systems are not inherently more openlexi-lambda.github.io
- Control Flow - The Rust Programming Languagerust-book.cs.brown.edu
- 2. Variable and Type - CS2030S Programming Methodology IInus-cs2030s.github.io
- Reading 19: Little Languagesweb.mit.edu
- Reading 1: Static Checkingweb.mit.edu