Телеграмм чат группы rust_offtopic страница 9606

parrot.ru

Рейтинг популярных групп и каналов

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

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

2020 March 18

AK

Alexander Krivitskiy in rust_offtopic

[1,2,3,4] => [4,3,2,1]

Аж интересно стало. Вот на псевдокоде
assert_eq([], reverse([]))
assert_eq([1], reverse([1]))
assert_eq([2,1], reverse([1,2]))
assert_eq([3,2,1], reverse([1,2,3]))
assert_eq([1,2,3,1], reverse([1,3,2,1]))

Дальше по индукции должно работать. А ну ломайте

источник

13:57пожаловаться #1

AZ

Alex Zhukovsky in rust_offtopic

у тебя нет никакой индукции в тестах, а конкретные assert_eq пройтти можно бесконечным числом функций

источник

14:00пожаловаться #2

AK

Alexander Krivitskiy in rust_offtopic

у тебя нет никакой индукции в тестах, а конкретные assert_eq пройтти можно бесконечным числом функций

Я предполагаю, что если эти ассерты пройдут, то на списки длины > 4 функция так же отработает верно.

источник

14:03пожаловаться #3

AZ

Alex Zhukovsky in rust_offtopic

Alexander Krivitskiy

Я предполагаю, что если эти ассерты пройдут, то на списки длины > 4 функция так же отработает верно.

ну вот неправильно такое предполагать

источник

14:05пожаловаться #4

p

polunin.ai in rust_offtopic

Alexander Krivitskiy

Аж интересно стало. Вот на псевдокоде
assert_eq([], reverse([]))
assert_eq([1], reverse([1]))
assert_eq([2,1], reverse([1,2]))
assert_eq([3,2,1], reverse([1,2,3]))
assert_eq([1,2,3,1], reverse([1,3,2,1]))

Дальше по индукции должно работать. А ну ломайте

fn reverse(vec: Vec<i32>) -> Vec<i32> {
if vec.len() >= 5 {
panic!("");
}
vec.into_iter().rev().collect()
}

источник

14:06пожаловаться #5

AZ

Alex Zhukovsky in rust_offtopic

fn reverse(vec: Vec<i32>) -> Vec<i32> {
if vec.len() >= 5 {
panic!("");
}
vec.into_iter().rev().collect()
}

заранее скажу "но ведь так никто не напишет!" - да, никто так не напишет

источник

14:09пожаловаться #6

AZ

Alex Zhukovsky in rust_offtopic

но в реальной жизни подобное и происходит очень часто

источник

14:09пожаловаться #7

AZ

Alex Zhukovsky in rust_offtopic

если функция чуть сложнее

источник

14:09пожаловаться #8

AZ

Alex Zhukovsky in rust_offtopic

о

источник

14:09пожаловаться #9

AZ

Alex Zhukovsky in rust_offtopic

я кажись придумал

источник

14:09пожаловаться #10

DS

Doge Shibu in rust_offtopic

заранее скажу "но ведь так никто не напишет!" - да, никто так не напишет

Да пишут так, вон, посмотри кучу джава либ, где внутри валидация на эксепшенах

источник

14:09пожаловаться #11

DS

Doge Shibu in rust_offtopic

Вот прям точно так же

источник

14:09пожаловаться #12

DS

Doge Shibu in rust_offtopic

Всё компилится, а потом из глубин стек трейса либы приходит: ай-ай-ай, я такое не поддерживаю

источник

14:10пожаловаться #13

DS

Doge Shibu in rust_offtopic

(Причем без checked исключений, потому что их в джаве никто не любит)

источник

14:10пожаловаться #14

AK

Alexander Krivitskiy in rust_offtopic

заранее скажу "но ведь так никто не напишет!" - да, никто так не напишет

Ок. А как тогда в хаскелле reverse реализовать? Там ведь то что функция кидает error в сигнатуре не указывается.

источник

14:11пожаловаться #15

AZ

Alex Zhukovsky in rust_offtopic

Alexander Krivitskiy

Ок. А как тогда в хаскелле reverse реализовать? Там ведь то что функция кидает error в сигнатуре не указывается.

https://habr.com/ru/post/463957/

Как развернуть односвязный список на собеседовании

Привет, Хабр. Я тут на днях сходил на собеседование в одну серьёзную фирму, и там мне предложили перевернуть односвязный список. К сожалению, эта задача заняла в...

источник

14:11пожаловаться #16

AZ

Alex Zhukovsky in rust_offtopic

не в хаскелле, а в идрисе, но можно

источник

14:11пожаловаться #17

AZ

Alex Zhukovsky in rust_offtopic

foldlRhs : (f : b -> a -> b) ->
           (init : b) ->
           (x : a) ->
           (xs : List a) ->
           foldl f init (xs ++ [x]) = f (foldl f init xs) x
foldlRhs f init x [] = Refl
foldlRhs f init x (y :: xs) = foldlRhs f (f init y) x xs

revCorrect : (xs : List a) ->
             (f : b -> a -> b) ->
             (init : b) ->
             foldl f init (revDumb xs) = foldr (flip f) init xs
revCorrect [] f init = Refl
revCorrect (x :: xs) f init = let rec = revCorrect xs f init in
                              rewrite sym rec in foldlRhs f init x (revDumb xs)

источник

14:11пожаловаться #18

AZ

Alex Zhukovsky in rust_offtopic

вот если тлдр

источник

14:12пожаловаться #19

AZ

Alex Zhukovsky in rust_offtopic

тут в 2раза больше кода, чем одна только функция разворота

источник

14:12пожаловаться #20