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

Подписаться 10 тыс.

Просмотров 20 тыс.

50% 1

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

Наука

Опубликовано:

3 ноя 2019

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист

Посмотреть позже

Комментарии : 14

@frechjo 4 года назад

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

@kristinlow1205 4 года назад

This is fantastic, really great thinking.

@waveFunction25 3 года назад

Damn this is as awesome

@francois9184 2 года назад

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

@badwolf8112 2 года назад

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

@laughingvampire7555 11 месяцев назад

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

@letslearnwithbob 2 месяца назад

REBOL, Red and Meta!!

@laughingvampire7555 11 месяцев назад

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 3 года назад

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

@thuggfrogg 3 года назад

It’s an ancient and powerful pattern!

@arijitgogoi5653 2 года назад

@laughingvampire7555 11 месяцев назад

No, that is not how Forth works.

@pietrobembo 11 месяцев назад

@@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.