D
Друзья, не позволяйте вашим друзьям юзать трансформеры
Size: a a a
2020 April 14
λ
Правда? Я никогда не юзал его, только видел
Ну очевидно, что Nested универсальная штука, поэтому дает только композируемые тайпклассы
Oℕ
Ну для того, чтобы избежать дабл мэпа достаточно аппликатива
ЮБ
Ну очевидно, что Nested универсальная штука, поэтому дает только композируемые тайпклассы
Погоди, но ведь map внутри функтора, так что этого достаточно
λ
Для дабл мэпа да
λ
Но чел спросил про трансформеры, и мы не знаем, что у него за код
ЮБ
Скаланы, может есть какие либы или что-то такое, где на литералах из 2.13 сделаны массивы с длиной в типе? Толко без шейплеса пожалуйста
Oℕ
встроенные операции над сигнлтонами есть по-моему только в дотти
ЮБ
А мне не нужны операции. Мне нужно просто в типе выразить, что размер вот такой-то
ЮБ
И потом в рантайме через valueOf его достать при необходимости
Oℕ
а что тебе даст размер, если ты даже компайлтайм не сможешь чекнуть, что индекс не выходит за рамки?
ЮБ
На самом деле мне в рантайме просто нужно такое число, которое описывает длину массива. У меня есть тайплкасс, который сериализует данные в массив фиксированной длины. Я могу добавить просто ещё одно полюшко в трейт, реализующий тайпкласс, типа
arraySize, но хочу попробовать на литералах сделатьOℕ
ну кажется, что если ничего не требуется, тогда и библиотека не нужна
ЮБ
Выход за границы массива никак не проверю, но так как код работы с массивом будет только там, где я создаю инстанс, то и ничего страшного
ЮБ
ну кажется, что если ничего не требуется, тогда и библиотека не нужна
Ну может думал есть уже что-то
ЮБ
ну ладно
VE
Есть ли какой-нибудь человеческий способ скомбинировать частичную функцию с обычной?
этот вариант даёт Partial как результат, хотя fallback «тотальная»
val partial: PartialFunction[T, R] = ???
val fallback: T => R = ???
partial.orElse {
case x => fallback(x)
}
этот вариант даёт Partial как результат, хотя fallback «тотальная»
Oℕ
partial.applyOrElse(_, fallback)
VE
Грустно, что аргумент надо снаружи передавать, и вывод типов из-за этого какой-то не очень
M
На самом деле мне в рантайме просто нужно такое число, которое описывает длину массива. У меня есть тайплкасс, который сериализует данные в массив фиксированной длины. Я могу добавить просто ещё одно полюшко в трейт, реализующий тайпкласс, типа
arraySize, но хочу попробовать на литералах сделатьобычный рефайнд ньютайп с перекрытием основных функций массива(чтобы убрать мутабельность? или не убирать, но можно проверить выход за рамки) и кодированием в типе