ReadTube
Back to JetBrains

Programming Languages Today and Tomorrow

JetBrainsAugust 22, 20261h 26m
Topics34
Programming Languages Today and Tomorrow0:11Core Topics and Approach5:31Programming Languages as Systems8:00Language Ideas Identification Exercise10:30Programming Languages as Bets18:00Gradual Typing Trend20:01The Caret Symbol and C++ Reflection22:32Memory Safety Definition33:04Memory Safety Discussion in the Zeke Programming Language Community35:14Static Borrow Checking in Rust39:00Zeke's Safe Compilation Mode41:33Field C Approach by Philip Pasler42:30TypeScript Compiler Rewrite in Go47:32Capabilities Concept50:01Scala Capabilities Implementation53:32Capabilities for Safer Agents57:33AI-Generated Code Review Challenges1:00:30Rust Governance Structure1:02:01Rust Commercial Network1:05:30Rust Community Participation1:08:02Individual Impact on Programming Languages1:09:30Community and Language Adoption1:10:14Current Projects and Trends1:10:32Ports and Rewrites Trend1:10:32UV Package Manager1:11:03Bun Rewrite1:12:33Go TypeScript Compiler1:13:01Kotlin LLM Research Project1:13:31Java Development Projects1:15:02C# 15 Discriminated Unions1:16:32Codespeak Project1:17:30Programming Language Takeaways1:19:01Q&A: Language Feature Adoption1:21:01Q&A: Syntax Challenges1:24:01
In a Nutshell

Programming languages are defined by their core ideas and safety bets rather than syntax, with memory safety and capability systems becoming critical as AI generates un-reviewable code. Rust's static borrow checking, Scala's capability tracking via the caret operator, and experimental approaches like Field C represent different tradeoffs between performance and exploit prevention. The industry is seeing widespread rewrites into safer languages, with gradual typing and compiler-enforced safety mechanisms replacing manual code review as the primary defense against LLM-generated vulnerabilities.

AI-Generated Notes

These notes were generated by AI and may contain inaccuracies.

Vital Bragillski, Head of Rust Ecosystem at JetBrains, delivered this lecture at PAS programming camp. His background includes first exposure to coding in 1992 with BASIC at a youth community center, where he dropped out after struggling with arrays. He later found a book covering FORTRAN, Pascal, and BASIC, studying it for a year and a half without a computer by writing programs on paper.

His formal education included learning multiple programming languages including Perl, PHP, JavaScript, Java, C, and Object Pascal. Starting around 2000, he taught at universities, delivering full courses or lectures on more than 20 programming languages. Around 2005, he began working with Haskell and later became a member of the Glasgow Haskell Compiler steering committee, authoring "Haskell in Depth" published five years ago.

From 2008, he studied programming language theory, focusing on lambda calculus and proof assistants including Rocq (formerly Coq) and Lean. Since 2022, he has served as Rust Developer Advocate before becoming Head of Rust Ecosystem at JetBrains, and since June has been a member of the Rust Commercial Network steering committee.

The lecture focuses on five main topics: the caret/circumflex/hat operator symbol, the concept of capability, safety in programming languages, LLMs, and people. The speaker emphasizes that ideas behind programming languages matter more than syntax or semantics, as ideas encompass properties, principles, and goals that language developers aim to achieve.

Sign in to read the full notes

Get access to AI-generated notes, topic timestamps, and more.