G
OS?
Да. Операционная система
Size: a a a
2020 June 06
T1
ядро что ли
p
в банке так особенно
нет
AZ
если бы вывод типов работал, не нужно было бы ничего верифицировать
у тебя каша в голове
G
ядро что ли
Ну ядро и несколько библиотек к нему
p
если ты допустишь баг из-за которого миллирад бачей проебутся то тебя немного трахнут
только таких багов нету
G
Окружение небольшое
T1
оу ну круто
T1
удачи
G
Спасибо
DB
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)
Где тут нет вывода типов?Что-то умеет, прикона
T1
мне очень little os book помогла
AZ
допустим мы доказываем утверждение "сортировка списка возвращает список такой, что для любого i, j >= i, a[i] <= a[j]"
какой вывод типов это позволит сделать?
какой вывод типов это позволит сделать?
AZ
Что-то умеет, прикона
ну то есть ты ругаешь но даже не знашеь че ругаешь... Такое
NL
Окружение небольшое
Ничего себе планы. Вот бы мне столько времени...
T1
Ничего себе планы. Вот бы мне столько времени...
да эт не так сложно на самом деле
p
допустим мы доказываем утверждение "сортировка списка возвращает список такой, что для любого i, j >= i, a[i] <= a[j]"
какой вывод типов это позволит сделать?
какой вывод типов это позволит сделать?
ну вот
p
вывод типов не работает
VS
Ничего себе планы. Вот бы мне столько времени...
Эм, так он же в школе ещё 😁
G
ну то есть ты ругаешь но даже не знашеь че ругаешь... Такое
+