p
У меня вышел такой монстр:
vectTake: (n: Fin (m + 1)) -> Vect m elem -> Vect (cast n) elemа как у вас? @hirrolot @Psilon
Size: a a a
2020 June 07
G
А что
take делает?p
берет n элементов первых из вектора
G
А, точно
p
(n : Nat) -> Vect (n + m) elem -> Vect n elem
все оказалось гораздо проще
все оказалось гораздо проще
В
Мда, троллишь
Нет, это серьёзно. Так все делают. Посмотри хоть ту же
HashMap в std.DS
Мда, троллишь
Нет, так обычно и делают с тайпклассами
EG
https://asciinema.org/a/dfYnwxZ8GRahCYainIz8E3DMv
Поставил себе плагин, который при автодополнении функции позволяет заменять аргументы по одному
Поставил себе плагин, который при автодополнении функции позволяет заменять аргументы по одному
EG
Офигенно
VS
Ох знатно я поел плова с солеными огурчиками и редиской. Жизнь прекрасна и я ее люблю.
VS
p
Ох знатно я поел плова с солеными огурчиками и редиской. Жизнь прекрасна и я ее люблю.
#blackLivesMatter
VS
#blackLivesMatter
➕
VS
NL
#blackLivesMatter
#RedLivesMatter
NL
#YellowLivesMatter
NL
#WhiteLivesMatter
p
#WhiteLivesMatter
расист!
OA
Т-34 85
@oleganza как тебе обработка ошибок в Swift?
норм. Идея с автоматическим Box<dyn Error> везде и синтаксисом потипу экспешинов - гуд. Это конешно не оч годится для "хочу чтоб было системно", но для системности у них есть эксплицитный -> Result<T,E>.
OA
в этом плане в расте было б мило иметь throws модификатор который эквивалентен -> Result<T, Box<dyn Error>>