
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.
By Richard Feldman5
2929 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.

273 Listeners

382 Listeners

288 Listeners

626 Listeners

287 Listeners

985 Listeners

189 Listeners

63 Listeners

101 Listeners

1,348 Listeners

551 Listeners

5,576 Listeners

67 Listeners

30 Listeners

77 Listeners