Alex
не в расте уже есть
Денис
(a : Bool) -> if a then Int else String
алгебраических типов данных мало?)
Денис
то же самое же по факту
Alex
для доказательств да
Nik
не в расте уже есть
идрис и прочую ядреную функциональщину не предлагать
Evgεny
идрис сырой и багнутый
Evgεny
бля не тот чат для вбросов
Dmitry
псс посоны. Хочу отрендерить квадрат с алфавитом. Прикол в том что каждый раз с массива нужно убирать один элемент. Это в for реально сделать ?
Сергей
Agda?
Dmitry
или while ?
Denis
идрис бажный, агда ок
Mehul
Announcing cargo src (beta) by Nick Cameron: ift.tt/2vvCsfy
Dmitry
псс посоны. Как вектор заджоинить
ㅤ
.join(',')
Dmitry
нету такого метода
Dmitry
Vec<char>
Marat
Vec<char>
Тебе строку надо?
Dmitry
да
Anonymous
.join(',')
Кажется, для слайда было похожее.
Marat
да
vec.into_iter().collect::<String>();
Dmitry
vec.into_iter().collect::<String>();
я про массив в строку
Marat
я про массив в строку
Ну это тебе и сделает из строки чаров строку
Dmitry
мне именно джоин нужен
Dmitry
как заджоинить
Berkus
использовать str/String?
Marat
как заджоинить
Зачем тебе джойн? Тебе запятую надо добавить или что?
Cuno
как заджоинить
накатай экзампл того, что тебе нужно, на play.rust-lang.org
Dmitry
накатай экзампл того, что тебе нужно, на play.rust-lang.org
https://www.hackerrank.com/challenges/alphabet-rangoli/problem это нужно. На жиесе сделал. тут пока не могу
Маjко
да
Печатать с препендом запятой после 1го элемента не?
Dmitry
да. Обычный джоин
Маjко
Ну и печатай
Маjко
Зачем джойн?
Dmitry
нужно рендерить нижнюю правую штуку
Dmitry
Зачем джойн?
строка же a-b-c-n
Маjко
Что ты подразумеваешь под рендерингом?
Маjко
просто print
Выводи нужные тебе запятые в лупе
Маjко
Зачем тебе джойнить в память?
Αλεχ
Αλεχ
тебе ничо удалять не надо
Αλεχ
ты по индексу понимаешь, что тут должно быть
Dmitry
ну не. Или я не понял. На жиесе я в цикле рендерил и последний элемент удалял. Вот и 1/4 я часть
Αλεχ
ща попробую
Αλεχ
все верно, нужно рендерижть 1/4
Dmitry
и самы обычный варик рендерить массив и на каждой итерации удалять последний элемент
Dmitry
но пока что то не могу
Dmitry
не
ㅤ
https://play.rust-lang.org/?gist=16c6d7147fa80946ddc76bebbdaec36f&version=stable
ㅤ
))))))))))))))
Dmitry
на входе [a, b,c ,d ] в цикле [a, b,c ,d ] [b,c ,d ] [c ,d ] [d ]
Dmitry
стремно. что просто так не сделать ?
ㅤ
Ну это что первое в голову пришло))0
Cuno
Вообще есть SliceConcatExt, в котором есть join, но оно позволяет только слайсы слайсов джоинить.
ㅤ
Можно мапом превратить символы в слайсы
Маjко
while !array.is_empty { render(&array) array.pop() }
Cuno
а у тебя тут одномерная структура
Маjко
Всё
Маjко
Array должен быть вектором, соответственно
Cuno
Можно мапом превратить символы в слайсы
Ага. Просто так ты это не сделаешь, т.к. лайфтаймы. Придется таблицу заводить. А потом еще собирать всё это дело в вектор, чтобы потом от него взять слайс, на котором есть нужный нам join.
Dmitry
Dmitry
нужно первый элемент удалять
Dmitry
shift не нашел
Маjко
pop_front
Маjко
Но тогда не вектор юзай а LinkedList
Маjко
Ну или храни в обратном порядке
Маjко
И рендери через .iter().rev()
Маjко
Deq может лучше?
Это тоже лист, емнип
Маjко
Одна хуйня
Cuno
https://doc.rust-lang.org/1.12.1/std/collections/struct.VecDeque.html