
Sign up to save your podcasts
Or
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.
5
2626 ratings
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.
265 Listeners
287 Listeners
1,003 Listeners
628 Listeners
14 Listeners
7,812 Listeners
186 Listeners
4,093 Listeners
63 Listeners
353 Listeners
13 Listeners
32 Listeners
47 Listeners
21 Listeners
26 Listeners