Navigating Data Structures in Functional Programming

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.