
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.

275 Listeners

379 Listeners

289 Listeners

626 Listeners

288 Listeners

982 Listeners

188 Listeners

62 Listeners

99 Listeners

1,344 Listeners

576 Listeners

5,530 Listeners

65 Listeners

30 Listeners

74 Listeners