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

Хм, хз как культура а их самих я призираю. Гитлер слабак который обоссался от страха и застрелился. Сами нацисты слабаки которых раком советы поставили и поимели. Ну нафиг. Спектакли ставили как чувака с со свастикой другой чувак с красным серпом и молотом пинками под зад гоняет по сцене. Ну его нафиг. Атрибутика проигравших неудачников же.

Ну, Гитлер просто был наивным авантюристом. Мог подождать еще до зимы 42 против советов, у него бы было уже дохуя ресурсов за счет Европы

источник

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

polunin.ai in rust_offtopic

Alex Zhukovsky

думаю 15 минут

а тесты пишутся за 2 минуты

источник

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

Danil Berestov in rust_offtopic

Alex Zhukovsky

чего?

Вывода типов, ало)

источник

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

polunin.ai in rust_offtopic

Alex Zhukovsky

чего?

ну он прав

источник

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

Gymmasssorla in rust_offtopic

Ясно

источник

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

polunin.ai in rust_offtopic

вывод типов в идрисе не работает как в хрускеле

источник

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

Alex Zhukovsky in rust_offtopic

Danil Berestov

Вывода типов, ало)

insSort : (Ord elem) => Vect n elem -> Vect n elem
insSort [] = []
insSort (x :: xs) = 
    let sortedXs = insSort xs
        position = findPosition x sortedXs
    in insertAt position x sortedXs
    where 
        findPosition x xs = let maybeIndex = findIndex (\elm => x < elm) xs in 
            fromMaybe last (weaken <$> maybeIndex)

Где

тут нет вывода типов?

источник

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

polunin.ai in rust_offtopic

потому что завтипы и верификация

источник

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

Tony 123 in rust_offtopic

Gymmasssorla

Надеюсь я летом найду время и таки напишу свою оську с poica + FramaC

ось?

источник

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

Gymmasssorla in rust_offtopic

Tony 123

ось?

Да

источник

13:15пожаловаться #18

Tony 123 in rust_offtopic

OS?

источник

13:15пожаловаться #19

polunin.ai in rust_offtopic

Alex Zhukovsky

insSort : (Ord elem) => Vect n elem -> Vect n elem
insSort [] = []
insSort (x :: xs) = 
    let sortedXs = insSort xs
        position = findPosition x sortedXs
    in insertAt position x sortedXs
    where 
        findPosition x xs = let maybeIndex = findIndex (\elm => x < elm) xs in 
            fromMaybe last (weaken <$> maybeIndex)

Где

тут нет вывода типов?

если бы вывод типов работал, не нужно было бы ничего верифицировать

источник

13:15пожаловаться #20