38 subscribers
با برنامه Player FM !
پادکست هایی که ارزش شنیدن دارند
حمایت شده


Tooling-Aware Language Design with Eli Dowling
Manage episode 435353366 series 3305580
Richard talks with Eli Dowling about his contributions to the Roc programming language, as well as the intersection of language design and editor tooling, parsers that recover from errors, tree-sitter, going beyond the language server protocol, and the downsides of macros.
Perceus paper - https://www.microsoft.com/en-us/research/uploads/prod/2020/11/perceus-tr-v1.pdf
The Koka Programming Language - https://koka-lang.github.io
"The Quicksort Talk" (Outperforming Imperative with Pure Functional Languages) - https://youtu.be/vzfy4EKwG_Y
Tree-Sitter - https://tree-sitter.github.io
Neovim Editor - https://neovim.io
Helix Editor - https://helix-editor.com
Zed Editor - https://zed.dev
Language Server Protocol (LSP) - https://microsoft.github.io/language-server-protocol
Hygienic Macros - https://en.wikipedia.org/wiki/Hygienic_macro
Rust Macros - https://doc.rust-lang.org/book/ch19-06-macros.html
Hosted on Acast. See acast.com/privacy for more information.
109 قسمت
Manage episode 435353366 series 3305580
Richard talks with Eli Dowling about his contributions to the Roc programming language, as well as the intersection of language design and editor tooling, parsers that recover from errors, tree-sitter, going beyond the language server protocol, and the downsides of macros.
Perceus paper - https://www.microsoft.com/en-us/research/uploads/prod/2020/11/perceus-tr-v1.pdf
The Koka Programming Language - https://koka-lang.github.io
"The Quicksort Talk" (Outperforming Imperative with Pure Functional Languages) - https://youtu.be/vzfy4EKwG_Y
Tree-Sitter - https://tree-sitter.github.io
Neovim Editor - https://neovim.io
Helix Editor - https://helix-editor.com
Zed Editor - https://zed.dev
Language Server Protocol (LSP) - https://microsoft.github.io/language-server-protocol
Hygienic Macros - https://en.wikipedia.org/wiki/Hygienic_macro
Rust Macros - https://doc.rust-lang.org/book/ch19-06-macros.html
Hosted on Acast. See acast.com/privacy for more information.
109 قسمت
همه قسمت ها
×
1 GPU Programming and Language Design with Chris Lattner 1:18:49

1 Broken AI Discourse with Steve Klabnik 1:19:43

1 Language Design Deep Dive with Elixir Creator José Valim 2:26:12

1 From Scala to Roc with Monica McGuigan 1:07:42

1 Testing in Production with Mike Bryzek 1:17:50

1 Building Video Editing Software with Andrew Lisowski 1:02:50

1 The EYG Language with Peter Saxton 1:17:25

1 Software for Elite Athletes with Kyle Boddy 1:07:57

1 Mojo with Chris Lattner 1:49:25

1 Tooling-Aware Language Design with Eli Dowling 1:11:59

1 From Game Dev to Web Dev 1:08:32

1 Fuzz Testing with Brendan Hansknecht 1:06:03

1 A Haskeller Tries Smalltalk with Ian Jeffries 1:04:25

1 Comparing F#, Elm, and Haskell with Michael Newton 1:09:18

1 Native UIs without Electron - with Nathan Sobo 1:16:34

1 Gleam 1.0 with Louis Pilfold 1:10:31

1 Compilers and Overly Complex Web Development with Thorsten Ball 1:13:30

1 Incremental Compilation with Alex Kladov 1:23:42

1 Pure Functional Programming in C with Ryan Fleury 1:40:52

1 The Return of Hypermedia with Carson Gross 1:08:48

1 Go and Functional Programming with Lane Wagner 1:15:11

1 The Roc Programming Language with Richard Feldman 1:07:54

1 Making JITted Code Faster with Chris Nuernberger 1:09:04

1 Things Web Devs Can Learn from Game Devs with Casey Muratori 2:06:37

1 How Programming has Changed with Conor Hoekstra 1:12:54

1 Disassembling Languages with Matt Godbolt 1:07:01

1 Designing Compilers for Speed with Troels Henriksen 1:05:14

1 Gradual vs Static Typing with José Valim 1:25:38

1 Making Parsing I/O Bound with Daniel Lemire 1:17:46


1 Comparing Haskell to R with Will Kurt 1:00:42

1 Defunctionalization in a Functional Language with Ayaz Hafiz 1:16:12

1 Syntax and the Future of Programming with Josh Warner 1:05:40


1 From Erlang to Management to C++ 1:01:37

1 Evolutionary vs Revolutionary Languages with James Ward 1:01:55



1 Software Rituals with David Nolen 1:00:10

1 Static Types in Elixir with José Valim 1:01:03

1 Type System Mythbusting with Alexis King 1:01:31



به Player FM خوش آمدید!
Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.