Lambda World 2019 - Language-Oriented Programming with Racket - Matthias Felleisen

In this Lambda World 2019 presentation, Matthias Felleisen demonstrates the benefits of the Racket programming language.
Full Presentation Description:
Racket, a functional language in the Lisp family, promotes a language-oriented style of programming. Developers create many domain-specific languages, write programs in those, and compose these programs via Racket code. This style of programming can work only if creating and composing little languages is simple and effective. This talk will demonstrate how Racket achieves this goal, starting from bare-bones functional code and moving through a range of examples from classical research (Algol '60) to modern end-point programming for the Web.
------
Follow:
- / lambda_world
- / 47deg
Visit:
-www.47deg.com/events for more details
-www.lambda.world

[@frechjo]

The slides are great. Would have been helpful to also see the screen during the demos.

[@kristinlow1205]

This is fantastic, really great thinking.

[@francois9184]

hello Ben,
how can i create a random between two values to control a parameter in Faust?

[@waveFunction25]

Damn this is as awesome

[@badwolf8112]

programming language people focus on verification because it's the easier problem?
not sure if it was a joke but i heard proving incrementing a variable is hard

[@letslearnwithbob]

REBOL, Red and Meta!!

[@laughingvampire7555]

what we need is an audio filter to automatically remove breathing from the recording.

[@laughingvampire7555]

well, verification and GADTs have proven to conquer complexity and untyped languages like lisp have proven to increment complexity.
and I agree that behind every library there is a language that wants to come up, but the way we can make all these language interact successfully for all the goals of software in general and products in particular is with a robust, flexible, powerful and ergonomic Verification system.

[@pietrobembo]

Isn't this what Forth programmers were doing decades ago?

[@thuggfrogg]

It’s an ancient and powerful pattern!

[@arijitgogoi5653]

No

[@laughingvampire7555]

No, that is not how Forth works.

[@pietrobembo]

@@laughingvampire7555 I know the underlying basis of the language is very different, but the approach of building layers of abstraction until the language converges upon the problem space is exactly what Forth programmers have been doing since day one.