G
покажи
извини мне лень. но банально метод
len у вектора точно сработаетSize: a a a
2020 June 23
SP
факториалы уже крутятся
ну лучше тогда уж в какойнибудь mun поконтрибьютить
p
извини мне лень. но банально метод
len у вектора точно сработаеткак мне сделать функцию
foo: Vect n elem
?
foo: Vect n elem
?
p
ну лучше тогда уж в какойнибудь mun поконтрибьютить
эх, так у нас никогда ничего не выйдет. я не хочу тебе контрибьютить, ты не хочешь мне.
G
как мне сделать функцию
foo: Vect n elem
?
foo: Vect n elem
?
допустим что она делает?
p
допустим что она делает?
возвращает вектор
G
откуда?
G
сама создаёт константный?
p
ок, тогда так
foo: IO (Vect n elem)
foo: IO (Vect n elem)
VS
Гомофобия, Расизм или Сексизм? За что именно тебе это прислали?
G
ок, тогда так
foo: IO (Vect n elem)
foo: IO (Vect n elem)
то есть считывает с stdin числа допустим и возвращает вектор?
p
то есть считывает с stdin числа допустим и возвращает вектор?
да
G
тогда
foo : IO (List elem)p
G
в общем все в идрисе нормально кроме отсутствия экзистенциональности функций и банальных пропозиций
p
так мне не нужен лист
p
в том и прикол
p
я вектор хочу
G
зачем?
p
как зачем