Software Unscripted

Louis Pilfold, Creator of the Gleam programming language, discusses the language's 1.0 release, backwards compatibility, hot-swapping code in production, and implementing a typed version of Erlang's OTP system. Emphasizes challenges of versioning, dependency management, and balancing productivity in software development.

Exploring compilers and interpreters, complexities of type checking, simplifying JavaScript for teaching, parsing challenges in modern programming, navigating complexity in tax law and tech evolution, front end development shifts from server-rendered HTML to client-side frameworks.

Delving into compilers, memory management strategies, boundaries, and monomorphization in software development. Exploring incremental compilation, efficient memory utilization, and module size impact on performance. Discussing Rust vs. Elba compilation units, module boundaries, and the expression problem. Emphasizing the importance of separate compilation and monomorphization in Rust for efficient compilation.

Exploring effective learning methods for beginner programmers and challenges in teaching programming. Discussions on mental models in chemistry and programming, beginner-friendly tools, and the appeal of learning JavaScript and Elm. Emphasis on the importance of design in software development and the complexity of programming languages. Comparisons between Haskell and Python and the suggestion of PureScript for research purposes.

Richard talks with RAD Game Tools Debugger programmer Ryan Fleury, about memory management in debugging, caching, operator overloading, and pure functional programming in...C?! Hosted on Acast. See acast.com/privacy for more information.

Richard talks with Ayaz Hafiz, a contributor to the Roc programming language, about lambda set defunctionalization. They discuss the challenges of implementing a compiler with a non-trivial type system and the benefits of defunctionalization in optimization and better inlining. They also explore Rock's abilities and the importance of early tooling in specific implementations. Lastly, they delve into the challenges of implementing a modern morphization algorithm for land assets.

Glauber Costa, expert in implementing high-performance databases, discusses how hardware changes impact the tradeoffs between relational and NoSQL databases. They also talk about big data, file APIs, hardware constraints, comparing hash maps and linear searches, designing a watch mode for a compiler, and advances in storage strategies like learn indexes.

Carson Gross, Creator of HTMX, discusses the regression in modern web development, the resurgence of hypermedia with HTMX, the benefits of combining MPAs and SPAs, the improvement and benefits of static typing, simplifying web applications with hypermedia and HTMLX, performance implications of code sharing, the role of JavaScript and TypeScript, re-examining progress in web development, and the potential of computers in web development.

Lane Wagner, Go backend engineer and founder of boot.dev, discusses Go's design and functional programming. Topics include the debate between tabs and spaces for indentation, advantages of functional programming languages, hierarchy of functions in functional programming, rock's concurrency story, breaking protocol and debugging in programming, function purity and IO operations in functional programming, Cgo, static compilation, and hot code loading in Go, and stateful IO in functional programming.

Richard Feldman, developer of the Roc programming language, discusses the language's inspiration and the challenges of using floats in data structures. They explore tag unions in Roc dictionaries and opportunistic mutation. The podcast also touches on the challenges of sorting and computing the median in functional programming, and the influences on Roc from languages like Elm, Rust, Haskell, and CoffeeScript.