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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

371 membersпожаловаться на группу
2020 March 25

p

polunin.ai in rust_offtopic
@psilon
источник
18:37пожаловаться#1

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
@psilon
что?
источник
18:38пожаловаться#2

p

polunin.ai in rust_offtopic
фичи в visual studio code для идриса
источник
18:38пожаловаться#3

G

Gymmasssorla in rust_offtopic
polunin.ai
@psilon
Ого, их даже больше, чем в Атоме
источник
18:38пожаловаться#4

G

Gymmasssorla in rust_offtopic
А Псилон говорил, что расширение забросили
источник
18:39пожаловаться#5

p

polunin.ai in rust_offtopic
Gymmasssorla
А Псилон говорил, что расширение забросили
да, в 2017 последний коммит
источник
18:39пожаловаться#6

p

polunin.ai in rust_offtopic
)
источник
18:39пожаловаться#7

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
фичи в visual studio code для идриса
которые не работают на винде
источник
18:39пожаловаться#8

p

polunin.ai in rust_offtopic
Alex Zhukovsky
которые не работают на винде
лол
источник
18:39пожаловаться#9

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
лол
https://github.com/zjhmale/vscode-idris/issues/128
GitHub
Cannot run extension on Windows · Issue #128 · zjhmale/vscode-idris
I followed the instruction as it says: i've installed extension, idris, idrin, then restarted my shell processes, restarted VSCode but I get no autocompletion. It only says "Didn&a...
источник
18:40пожаловаться#10

p

polunin.ai in rust_offtopic
то есть идрис умер 3 года назад?
источник
18:41пожаловаться#11

AZ

Alex Zhukovsky in rust_offtopic
в частности https://github.com/zjhmale/vscode-idris/issues/113
GitHub
v0.9.8 broken on Windows · Issue #113 · zjhmale/vscode-idris
As of 0.9.8, vscode-idris no longer works for me in Windows 7 and 10, using the latest version of vscode and idris v1.0. Auto-completion, build/typecheck-on-save, shortcuts such as case-split, etc....
источник
18:41пожаловаться#12

p

polunin.ai in rust_offtopic
либ нет, плагинов нет
источник
18:41пожаловаться#13

G

Gymmasssorla in rust_offtopic
polunin.ai
то есть идрис умер 3 года назад?
Видимо все ждут Idris2
источник
18:42пожаловаться#14

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
то есть идрис умер 3 года назад?
когда говорят "экспериментальный язык" то это оно и значит, а не то что с хаскеллем
источник
18:42пожаловаться#15

AZ

Alex Zhukovsky in rust_offtopic
поэтому не удивляйся когда доге говорит про "мейнстрим скалу"
источник
18:42пожаловаться#16

G

Gymmasssorla in rust_offtopic
Gymmasssorla
Видимо все ждут Idris2
Но проблема в том, что _ждут_
источник
18:42пожаловаться#17

p

polunin.ai in rust_offtopic
Alex Zhukovsky
когда говорят "экспериментальный язык" то это оно и значит, а не то что с хаскеллем
а есть не эксперементальные языки с теоремами и зав типами?
источник
18:42пожаловаться#18

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
а есть не эксперементальные языки с теоремами и зав типами?
нет
источник
18:42пожаловаться#19

AZ

Alex Zhukovsky in rust_offtopic
это то что блидинг эдж называется
источник
18:43пожаловаться#20