Начата работа по замене Racket VM на Chez Scheme

Обсуждение на Hacker News

это наверное имел ввиду? https://news.ycombinator.com/item?id=13656397

да, поправил ссылку, спасибо

Предварительная рабочая версия с новым компилятором ожидается к концу года

Новых бранчей в https://github.com/racket/racket не увидел - пока в домашнем репозитории пилят?

https://github.com/racket/racket7

Лишперы не асилили написать себе помпилятор. Вернее, скимеры, у лишперов есть борщелишп. Заголовок такой, будто VM заменяют на компилятор.

Всем пофиг.

Chez Scheme — высокопроизводительный компилятор языка Scheme, коммерческая разработка, приобретённая Cisco Systems в 2012 г.

Зачем серьёзные, деловые люди полезли в борщехлёбство?

ИБМ, Гугель, Сиска... Похоже, ты начал чего-то подозревать...

Зачем серьёзные, деловые люди полезли в борщехлёбство?

Борщехлебством оно называется только в странах третьего мира, где на этом на доширак не заработать. Американцы же всегда гордились своими академическими и инженерными достижениями.

Дыми дальше, чо:

https://www.bloomberg.com/news/articles/2017-05-08/vcs-put-110-million-into-g...

Не знаю даже, хорошо ли это. По бенчмарку они шли почти вровень, с другой стороны у Racket есть базовые конструкции, которых в Chez нет (финалайзеры, эфемероны, потоки). Как бы не поломали...

Мэтью ожидает ускорения парсинга+макропроцессора+компилятора в два раза; бенчмарки более-менее с этой цифрой согласуются (что будет с числодробилками — сложно сказать).

Насчёт эфемеронов и потоков сказано в Readme:

 * Racket's delimited continuations, continuation marks, threads, and
   events are mostly in place (see "core/control.ss",
   "core/engine.ss", and the source for "thread.rktl"), but to
   integrate I/O, the scheduler needs access to the OS's
   select()/epoll()/kqueue()/WaitMultipleEvents().

 * For futures, Chez Scheme exposes OS-level threads with limited
   safety guarantees. An implementation of futures can probably take
   advantage of threads with thread-unsafe primitives wrapped to
   divert to a barrier when called in a future.

 * Ephemerons require support from Chez Scheme. (Pull request
   submitted.)

что будет с числодробилками — сложно сказать

И я про то же. nucleic в 2 раза медленнее в Chez, ray — в 3 раза.

string и sumfp тоже в 2 раза.

Насколько я понимаю, Cisco в 2012 г. переманили к себе автора (R. Kent Dybvig), а его творение прикупили заодно. Что Кент делал/делает в Cisco и почему они открыли коды, никому, кажется, не известно.

Остаётся надеяться, что Мэтью так или иначе позаботится об этом (можно его и в рассылке спросить, но лень). Макропроцессор в любом случае останется от Racket; возможно, какие-то рэкетовские оптимизации, которые делаются на уровне раскрытия лиспа в лисп, благодаря этому не потеряются.

nucleic в 2 раза медленнее в Chez, ray — в 3 раза.

Кроме того, эти тесты написаны на голой Scheme, без применения, например, unsafe-операций, которые есть в Racket.

Кроме того, эти тесты написаны на голой Scheme, без применения, например, unsafe-операций, которые есть в Racket.

Вот-вот. Надо будет, как только выйдет racket-7, прогнать тесты по сравнению с racket-6.8. Если будет сильная просадка производительности, что убеждать Мэтью или возвращаться назад или что-то придумывать (иначе будет на одну меньше быструю VM для Scheme).

Grammar Nazi усиливаются? Похоже, третья мировая будет не ядерной, а виртуальной.

Гугл покусал?

Наивный юноша думает, что 110 миллионов вкладывают в поделку из-за того, что в ней где-то есть код на лишпе.

Тогда как на самом деле вкладывают в браузерное расширение, которое будет отправлять всё, что набирают миллионы хомячков, куда надо.