ну или как предложил чувак на видел с туплами

а они сильно нужны?

Да, удобней писать [A, B, C, D, E], а не A :: B :: C :: D :: E :: HNil или (A, (B, (C, (D, E))))

A,B,C,D,E это не лист может быть

тем более не A :+: B :+: C :+: D :+: E :+: CNil

A,B,C,D,E это не лист может быть

ну это хачкелевский синтаксис квадраных скобок

в скалке хз что

а в скалке придется делать круглые)

или <>

круглые - тюплы

тюпл в лист ж можно законвертить

не проблема

тюпл в лист ж можно законвертить

Это доп операция

хочешь лист на лист, хочешь тюпл - на тюпл

Вот в идрисе (A, B, C, D, E) = (A, (B, (C, (D, E))))

В скалке можно если не так, ну хотя бы пару методов сделать у тюплов

пару тайпмемберов

хочешь лист на лист, хочешь тюпл - на тюпл

Т.е. если у тебя ((A, B ,C), (D, E), (F,)) - тебе целую индукцию конверсий нужно делать

не, ну эт частный случай

Т.е. если у тебя ((A, B ,C), (D, E), (F,)) - тебе целую индукцию конверсий нужно делать

а прикинь воббще какого это разворачивать на этапе компиляции? Конечно там явно будет ограничение, но придется ждать )

а прикинь воббще какого это разворачивать на этапе компиляции? Конечно там явно будет ограничение, но придется ждать )

да нормально, на самом деле

ну допустим у тебя лист листов, по 255 элементов)

нет особых проблем, чтобы копродукт хлистов развернуть

ну штуки типа копродукт из 5 хлистов по 5-6 штук достаточно быстро компилится с кучей фигни

5-6 понятное дело

А учитывая сабиновский пулреквест с индуктивными имплиситами вообще фигня

Это даже были не просто копродукты и хлисты, а юнионы и рекорды

кстати вот юниуны эт круто

кстати вот юниуны эт круто

Ну я имею в виду шэйплеззовские юнионы, т.е. именованные копродукты

не доттивские

кстати о хлистах. следствием реализации в шейплесе является: val hlist:String :: Int :: HNil :: String :: HNil = null def size[H <: HList, N <: Nat](h:H)(implicit len:Length.Aux[H, N], toInt:ToInt[N]) = toInt() println(s"hlist: ${size(hlist)}") hlist: 4

кстати о хлистах. следствием реализации в шейплесе является: val hlist:String :: Int :: HNil :: String :: HNil = null def size[H <: HList, N <: Nat](h:H)(implicit len:Length.Aux[H, N], toInt:ToInt[N]) = toInt() println(s"hlist: ${size(hlist)}") hlist: 4

ну всё правильно

https://scastie.scala-lang.org/Odomontois/U4NchnQxSfK5l7KaIrsU8A/1 это и просто в скале так

https://scastie.scala-lang.org/Odomontois/U4NchnQxSfK5l7KaIrsU8A/1 это и просто в скале так

как же это правильно, если логика нил-терминатора нарушается? это именно, что следствие)

как же это правильно, если логика нил-терминатора нарушается? это именно, что следствие)

какая логика нарушается? ничего не нарушается

у тебя список из четырёх типов, один из которых - пустой HList

у тебя список из четырёх типов, один из которых - пустой HList

Там в конце разве не HNil должно быть?

Там в конце разве не HNil должно быть?

там в конце HNil

нет

это просто лист Any :)

https://scastie.scala-lang.org/Odomontois/U4NchnQxSfK5l7KaIrsU8A/1 это и просто в скале так

вот здесь в конце Nil

это просто лист Any :)

List(1, 2, List(), 3): List[Any]

у тебя список из четырёх типов, один из которых - пустой HList

об этом и речь, что нил то конец списка, то пустой список. семантика нила меняется. если бы Сабин не требовал хнил указывать в конце для String :: Int, то было бы более логично

об этом и речь, что нил то конец списка, то пустой список. семантика нила меняется. если бы Сабин не требовал хнил указывать в конце для String :: Int, то было бы более логично

список, который начинается со своего конца и есть пустой список. Сабин всё сделал совершенно обычно

об этом и речь, что нил то конец списка, то пустой список. семантика нила меняется. если бы Сабин не требовал хнил указывать в конце для String :: Int, то было бы более логично

меня кстати тоже это с толку сбило первый раз.

Мне совершенно страшно представить деривацию для String :: Int

список, который начинается со своего конца и есть пустой список. Сабин всё сделал совершенно обычно

а список который содержит в середине себя конец списка чем является?

а список который содержит в середине себя конец списка чем является?

список, один из элементов которого - пустой список

Что с HListами Hlist ов не работал?

Мне совершенно страшно представить деривацию для String :: Int

Точнее не страшно, но это было бы значительно сложнее

Т.е. вместо тривиального nil шага был бы двух параметрический lastPair шаг, повторяющий логикую cons

Ну можно для практики поделать инстансы для HList ов и для последовательностей тьюплов

А что самое главное, в такой логике было бы гораздо сложнее отличить вложенный список, от продолжения списка

Представим ты хочешь сделать вот такой тип Int :: ( String :: Boolean :: HNil) :: HNil

как бы он выглядел в твоей логике?

Чтобы он принципиально отличался от Int :: String :: Boolean :: HNil

список, один из элементов которого - пустой список

вот смотри. String :: Int :: HNil = 2, а String :: Int :: HNil :: HNil = 3. Если хнил такой самостоятельный и учитывается во втором случае, то почему в первом сайз не 3 ? )

меня кстати тоже это с толку сбило первый раз.

оно не сбивает столку, просто является следствием реализации и несовершенности)

Представим ты хочешь сделать вот такой тип Int :: ( String :: Boolean :: HNil) :: HNil

возможно как Int :: (String :: Boolean)

вот смотри. String :: Int :: HNil = 2, а String :: Int :: HNil :: HNil = 3. Если хнил такой самостоятельный и учитывается во втором случае, то почему в первом сайз не 3 ? )

https://scastie.scala-lang.org/Odomontois/alRdyjwCSVWVuV38bke2bg/1

возможно как Int :: (String :: Boolean)

чем это отличается от Int :: String :: Boolean ?

https://scastie.scala-lang.org/Odomontois/alRdyjwCSVWVuV38bke2bg/1

зачем ты это скидываешь? я знаю как оно устроено)

зачем ты это скидываешь? я знаю как оно устроено)

Ну т.е. ты можешь свои претензии предъявить не Сабину, а тому, кто придумал связный список в принципе

даже в лиспе (len (cons "string" (cons "int" (cons nil nil)))) == 3

Ну т.е. ты можешь свои претензии предъявить не Сабину, а тому, кто придумал связный список в принципе

какое-то умозаключение взятое с потолка)

какое-то умозаключение взятое с потолка)

Ещё раз. Ты предложил иное кодирование списков. С моей точки зрения оно вносит гораздо больше сложностей. Это кодирование списков основано на исторически используемой, знакомой всем системе кодирования право-ориентированного односвязного списка. Если есть способ лучше - было бы здорово

Потому что Int :: String :: Boolean технически не отличается от (Int, (String, Boolean)) просто другой конструктор типа. А без nil здесь возникает много вопросов о выяснении структуры вложенности

ERROR: S client not available

Ещё раз. Ты предложил иное кодирование списков. С моей точки зрения оно вносит гораздо больше сложностей. Это кодирование списков основано на исторически используемой, знакомой всем системе кодирования право-ориентированного односвязного списка. Если есть способ лучше - было бы здорово

я и не предлагал. если я вдруг предложу - это будет в более целостном и законченном виде с учетом всех нужных нюансов)

я и не предлагал. если я вдруг предложу - это будет в более целостном и законченном виде с учетом всех нужных нюансов)

Ну ты можешь попрактиковаться. Тебе нужно придумать такую систему, в которой можно было бы просто записать [Int, String, Boolean] [[Int, String], Boolean] и [Int, [String, Boolean]], так чтобы они стали тремя разными типами

в текущей версии это возможно

Тюплами, как предложил @gurinderu тоже возможно, хотя требует промежуточных преобразований для индукции

можно тьюплами как предложил чувак в видео

можно тьюплами как предложил чувак в видео

если двойными тюплами, напиши плиз представление для [Int, String, Boolean] [[Int, String], Boolean] и [Int, [String, Boolean]] так, чтобы это было три разных типа

@optician_owl тебе не кажется, что этот чувак из раст чата какой-то даун?

выше писали, что java.time ничего, но блин, там же эксепшны летят в рантайме из тыщи мест

больше похоже на java.util.Calendar 21 века ))

java.time в целом норм. Так хотя бы всё иммутабельное

это да, но эксепшны

сделай свой puretime с Either вместо эксепшенов. Как pureconfig вокруг typesafe config.

там и со временем не все гладко, была пара подробных постов на хабре

если бы это было Scala API, зас...ли бы, ну а так, терпимо

зас...ли?

засосали?

засудили?

засолили?

засмущали

заскребли

засунули

иностранцу не понять

это да, но эксепшны

А где кроме Парсинга они летят?

Форматирование

Хм, а ты свои формат пишешь? Там ж есть все нужные определённые заранее

Они и падают, если у тебя какой нить инстант, а в нем чего-то нет для форматера.

ну да, к примеру когда хочешь зону взять из instant)

есть такое да)

@optician_owl тебе не кажется, что этот чувак из раст чата какой-то даун?

да вы оба наркоманы 1000 постов за ночь про многопоточность в го

да не, не про го там речь

ты так спрашиваешь словно кривда наш сын полка

Сын полка.

сын монады