АО
Size: a a a
2020 June 26
ХЛ
Теперь задачка. Я пытаюсь решить упражнение с exercism. Там надо транспонировать массив строк.
ХЛ
Хм, а cur можно сделать еще круче :D
cur(op, args...) = (rest...) -> op(args..., rest...)A
Если я правильно понимаю, cur(map, string) можно заменить на map \circ string
ХЛ
Arthur
Если я правильно понимаю, cur(map, string) можно заменить на map \circ string
Нет же
АО
Ну круто, раз работает.
Из минусов то, что не type stable получилось, поэтому в tight loop такое лучше не запускать.
Из минусов то, что не type stable получилось, поэтому в tight loop такое лучше не запускать.
ХЛ
map \circ string – это функция, которая сначала применит string к аргументам, а потом map
A
Блин, да, я туплю
A
Type stable currying ощущение, что можно сделать через структуры
A
Правда для разной арности надо будет писать руками все
A
И скорее всего заранее типы зафиксировать
ХЛ
Это тогда будет по curry под каждый тип
АО
Вот так ещё можно
map(x -> string.(x), [[1, 2, 3], [4, 5, 6]]) |> x -> collect(join(y) for y in zip(x...))
АО
Тот же результат выдаёт, хотя наверное не так общно.
ХЛ
Вот так ещё можно
map(x -> string.(x), [[1, 2, 3], [4, 5, 6]]) |> x -> collect(join(y) for y in zip(x...))
Выглядит неприятно
A
Это тогда будет по curry под каждый тип
Структура будет одна, в параметрах типа будут типы оставшихся аргументов
АО
Ну уж 😊) Кому как 😊 Меня
apply и cur пугают 😊ХЛ
Arthur
Структура будет одна, в параметрах типа будут типы оставшихся аргументов
Но их же из функции вычислять надо
Julia такое умеет?
Julia такое умеет?
A
В общем случае нет, поэтому надо знать их заранее
A
Либо абстрактные типы в членах структуры