No video :(

Strange Loop Language Panel - Hickey, Sussman, Wirfs-Brock, Pamer, Alexandrescu, Ashkenas (2011)

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

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

50% 1

Strange Loop 2011 had many programming language creators in attendance and we gathered them together for a panel about the past, present, and future of programming languages.
Rich Hickey - Clojure
Jeremy Ashkenas - CoffeeScript
Gerald Sussman - Scheme, AI
Allen Wirfs-Brock - Smalltalk, JavaScript
Joe Pamer - F#
Andrei Alexandrescu - D, C++
Moderator: Dean Wampler

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

28 авг 2024

Ссылка:

Скачать:

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

Добавить в:

Мой плейлист

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

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

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

wow, Sussman's whole bit leading up to "syntax without representation is tyranny" is like an impossibly good rap freestyle, he must've rehearsed that. haha

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

Check out gerald jay sussman's recent (2021) book.

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

Cool panel with brilliant funny guys. Interesting that they do all seem a bit stuck in the lambda calculus style of computation and no wonder we don't have better solutions for the decentralized nondeterminism which is an area that lambda calculus can't represent properly.

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

You should take a look at TLA+. Non-determinism is just a misunderstanding of distributed systems. They’re nondeterministic with respect to time, sure, but the possible ways that distributed processes can be interleaved is very deterministic. So whether or not you’re using a language based on the lambda calculus isn’t really relevant. We need to improve how we reason about what we have.

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

@@alexweisberger1669 usefulness of TLA+ not to be underestimated, Elasticsearch, WeChat, CosmosDB, and more have been verified in TLA+ for their behavior characteristics. TLA+ was also used in proving issues with Chord DHT.