В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)

452 membersпожаловаться на группу
2020 August 17

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Evgeniy T
интересно с чем связанно, что scheme кодогенератор idris 2 быстрее чем C версия?

https://news.ycombinator.com/item?id=24184805

Chez Scheme настолько крут или просто какие то особенности реализации?
racket недавно перешел на Chez в качестве бэкенда, и, честно говоря, получилось не так радужно, как я по наивности ожидал. На некоторых кейсах выигрыш, на некоторых - проигрыш. Хотя по net effect все же, скорее, в плюс
источник
12:46пожаловаться#1

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Evgeniy T
интересно с чем связанно, что scheme кодогенератор idris 2 быстрее чем C версия?

https://news.ycombinator.com/item?id=24184805

Chez Scheme настолько крут или просто какие то особенности реализации?
Ну там ещё он много рассказывал, что имплементация сильно разная
источник
12:47пожаловаться#2

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Например, он применил там хитрые техники представления термов с мутабельными контекстами
источник
12:47пожаловаться#3

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
@Bartosso
источник
12:50пожаловаться#4

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Sergey Kucherenko
racket недавно перешел на Chez в качестве бэкенда, и, честно говоря, получилось не так радужно, как я по наивности ожидал. На некоторых кейсах выигрыш, на некоторых - проигрыш. Хотя по net effect все же, скорее, в плюс
@strobegen если интересно, https://blog.racket-lang.org/2020/02/racket-on-chez-status.html
blog.racket-lang.org
Racket-on-Chez Status: February 2020
posted by Matthew Flatt          For background information about Racket on Chez Scheme (a.k.a. Racket CS), see the original announcement, the January 2018 report, the report at Scheme Workshop 2018, the January 2019 report, the ICFP experience report, an...
источник
12:51пожаловаться#5

ET

Evgeniy T in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Sergey Kucherenko
@strobegen если интересно, https://blog.racket-lang.org/2020/02/racket-on-chez-status.html
blog.racket-lang.org
Racket-on-Chez Status: February 2020
posted by Matthew Flatt          For background information about Racket on Chez Scheme (a.k.a. Racket CS), see the original announcement, the January 2018 report, the report at Scheme Workshop 2018, the January 2019 report, the ICFP experience report, an...
да почитаю
источник
12:51пожаловаться#6

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
В общем, это два разных компилятора
источник
12:51пожаловаться#7

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Я правильно понимаю, что в понве теперь бестиповые языки обсуждают?
источник
12:52пожаловаться#8

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Бэкенд не так важно
источник
12:52пожаловаться#9

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Вместо завтиповых
источник
12:52пожаловаться#10

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
λoλcat
Я правильно понимаю, что в понве теперь бестиповые языки обсуждают?
да, бестиповый язык идрис 2
источник
12:52пожаловаться#11

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Рэкет, чез
источник
12:52пожаловаться#12

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Расскажите зачем их так много
источник
12:52пожаловаться#13

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Лиспов этих
источник
12:52пожаловаться#14

ET

Evgeniy T in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
как оказалось завтиповые языки работают поверх безтиповых
источник
12:52пожаловаться#15

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
это было к улучшению производительности программ на идрис2 по сравнению с идрис 1
источник
12:52пожаловаться#16

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Oleg ℕizhnik
да, бестиповый язык идрис 2
https://t.me/ebanatics/943
Telegram
Ебанатика - наука точная
Если говорить про Идрис то там нет никаких типов
источник
12:53пожаловаться#17

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Ну так то, скала тоже в жижаскрипт компилится
источник
12:53пожаловаться#18

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
λoλcat
Ну так то, скала тоже в жижаскрипт компилится
ну прикинь, если бы выяснилось, что жижаскриптовые программы быстрее работают жвмных
источник
12:53пожаловаться#19

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
вот евгений и недоумевают
источник
12:54пожаловаться#20