19 subscribers
Go offline with the Player FM app!
Podcasts Worth a Listen
SPONSORED


1 Phil Wang Pitches Psychological Thriller Starring WHO?! 24:35
The Inko Programming Language, and Life as a Language Designer (with Yorick Peterse)
Manage episode 423242473 series 3476072
This week we take a close look at the language Inko from two perspectives: The language design features that make it special, and the realities of being a language developer.
Yorick Peterse joins us to discuss why he’s building Inko, and which design sweetspots he’s looking for. We begin with memory management, aiming for the kind of developer who wants control, but without the complexities of Rust. Then we look at the designing for concurrency with typed channels, and handling exceptions by removing them and leaning heavily into ADTs and pattern matching.
Mixed in with all that is a discussion on the realities of being a programming language developer. How do you figure out how to implement your ideas? What tradeoffs do you make and what kind of programmer do you want to be most useful to? How do you teach people new ideas in programming, and how “different” can you make a language before it feels weird? And perhaps the hardest question of all: How do you fund a new programming language in 2024?
–
Inko’s Homepage: https://inko-lang.org/
Yorick’s Homepage: https://yorickpeterse.com/
Ownership You Can Count On (paper): https://inko-lang.org/papers/ownership.pdf
“The Error Model”: https://joeduffyblog.com/2016/02/07/the-error-model/
Kris on Mastodon: http://mastodon.social/@krisajenkins
Kris on LinkedIn: https://www.linkedin.com/in/krisjenkins/
Kris on Twitter: https://twitter.com/krisajenkins
90 episodes
Manage episode 423242473 series 3476072
This week we take a close look at the language Inko from two perspectives: The language design features that make it special, and the realities of being a language developer.
Yorick Peterse joins us to discuss why he’s building Inko, and which design sweetspots he’s looking for. We begin with memory management, aiming for the kind of developer who wants control, but without the complexities of Rust. Then we look at the designing for concurrency with typed channels, and handling exceptions by removing them and leaning heavily into ADTs and pattern matching.
Mixed in with all that is a discussion on the realities of being a programming language developer. How do you figure out how to implement your ideas? What tradeoffs do you make and what kind of programmer do you want to be most useful to? How do you teach people new ideas in programming, and how “different” can you make a language before it feels weird? And perhaps the hardest question of all: How do you fund a new programming language in 2024?
–
Inko’s Homepage: https://inko-lang.org/
Yorick’s Homepage: https://yorickpeterse.com/
Ownership You Can Count On (paper): https://inko-lang.org/papers/ownership.pdf
“The Error Model”: https://joeduffyblog.com/2016/02/07/the-error-model/
Kris on Mastodon: http://mastodon.social/@krisajenkins
Kris on LinkedIn: https://www.linkedin.com/in/krisjenkins/
Kris on Twitter: https://twitter.com/krisajenkins
90 episodes
All episodes
×
1 Making Apache Kafka Diskless (with Filip Yonov & Josep Prat) 1:29:29

1 Java's Cutting Edge Comeback (with Josh Long) 1:24:29

1 The State & Future of Apache Kafka (with Anatoly Zelenin) 1:12:22

1 DataFusion - The Database Building Toolkit (with Andrew Lamb) 1:32:10

1 Jupyter's Architecture Unpacked (with Afshin Darian & Sylvain Corlay) 1:29:11

1 Nix, The Build-Everything Language (with Julian Arni) 1:20:36

1 Graphite: Image Editing as a Syntax Tree (with Keavon Chambers & Dennis Kobert) 1:17:32

1 ReScript: A Better Typed JavaScript? (with Gabriel Nordeborn) 1:32:53

1 A universal query engine in Rust (with Predrag Gruevski) 1:15:31

1 Raspberry Pi Hardware & A Lisp Brain (with Dimitris Kyriakoudis) 1:34:43

1 Software Systems Aren't Just Software (with Diana Montalion) 1:50:14

1 Building Fyrox: A Rust Game Engine (with Dmitry Stepanov) 1:43:45

1 Testing TVs At Scale With Elixir (with Dave Lucia) 1:16:05

1 Programming As An Expressive Instrument (with Sam Aaron) 1:50:01

1 Elm & The Future of Open Source (with Evan Czaplicki) 50:24
Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.