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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

374 membersпожаловаться на группу
2020 May 13

С

Слава in rust_offtopic
polunin.ai
кстати ничего не мешает сделать такое. только разве что время компиляции подольше будет потому что решать уравнения надо.
Да, подольше. Этак на пол-дня
источник
15:11пожаловаться#1

p

polunin.ai in rust_offtopic
а прикольно было бы если бы можно было писать
foo: Int -> Int -> Int
foo x y = let
 z + 1 = x
 k + 2 = y in
   z + k
источник
15:12пожаловаться#2

p

polunin.ai in rust_offtopic
Слава
Да, подольше. Этак на пол-дня
не
источник
15:12пожаловаться#3

p

polunin.ai in rust_offtopic
вывод типов это те же решения уравнений
источник
15:12пожаловаться#4

p

polunin.ai in rust_offtopic
и норм компилируются языки с выводом типов
источник
15:12пожаловаться#5

С

Слава in rust_offtopic
polunin.ai
не
Верификатор, который в ada spark применяется, в нетривиальных случаях как раз столько и требует времени
источник
15:13пожаловаться#6

p

polunin.ai in rust_offtopic
Слава
Верификатор, который в ada spark применяется, в нетривиальных случаях как раз столько и требует времени
define нетривиальный
источник
15:13пожаловаться#7

DS

Doge Shibu in rust_offtopic
polunin.ai
а прикольно было бы если бы можно было писать
foo: Int -> Int -> Int
foo x y = let
 z + 1 = x
 k + 2 = y in
   z + k
См. n+k patterns в хаскеле - но это плохая идея
источник
15:16пожаловаться#8

p

polunin.ai in rust_offtopic
бля, я случайно запретил группе All users любые действия над папкой и теперь не могу поменять разрешения обратно. и папку удалить тоже)
источник
15:16пожаловаться#9

С

Слава in rust_offtopic
polunin.ai
бля, я случайно запретил группе All users любые действия над папкой и теперь не могу поменять разрешения обратно. и папку удалить тоже)
Take ownership
источник
15:16пожаловаться#10

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
бля, я случайно запретил группе All users любые действия над папкой и теперь не могу поменять разрешения обратно. и папку удалить тоже)
sudo !!
источник
15:22пожаловаться#11

p

polunin.ai in rust_offtopic
Alex Zhukovsky
sudo !!
так бля епта, сейчас сделаем sudo windows takeown c:\\directory хуе-мое блять, потом sudo rm rf c:\\directory... Всмысле "sudo" не является внутренней или внешней командой, исполняемой программой или пакетным файлом... Так, падажжи ебана
источник
15:26пожаловаться#12

С

Слава in rust_offtopic
polunin.ai
так бля епта, сейчас сделаем sudo windows takeown c:\\directory хуе-мое блять, потом sudo rm rf c:\\directory... Всмысле "sudo" не является внутренней или внешней командой, исполняемой программой или пакетным файлом... Так, падажжи ебана
Сменить владельца, там есть такая возможность
источник
15:27пожаловаться#13

p

polunin.ai in rust_offtopic
Слава
Сменить владельца, там есть такая возможность
я уже сделал
источник
15:27пожаловаться#14

p

polunin.ai in rust_offtopic
мне вот интересно - почему для переменных счетчиков цикла используют int а не unsigned int? по крайней мере я нигде не видел чтобы использовали unsigned
источник
16:19пожаловаться#15

G

Gymmasssorla in rust_offtopic
polunin.ai
мне вот интересно - почему для переменных счетчиков цикла используют int а не unsigned int? по крайней мере я нигде не видел чтобы использовали unsigned
unsigned плохо с циклом в обратную сторону работает
источник
16:20пожаловаться#16

MB

Mikail Bagishov in rust_offtopic
Gymmasssorla
unsigned плохо с циклом в обратную сторону работает
for i = n-1; i<n; i-- {

}
источник
16:21пожаловаться#17

MB

Mikail Bagishov in rust_offtopic
Кажется, очень помогает лайфхак "условие цикла это всегда bounds check"
источник
16:22пожаловаться#18

G

Gymmasssorla in rust_offtopic
Mikail Bagishov
for i = n-1; i<n; i-- {

}
Ой пиздец
источник
16:22пожаловаться#19

G

Gymmasssorla in rust_offtopic
В жопу императивщину эту
источник
16:22пожаловаться#20