Мне тут кстати предлагают на скале пописать.

а 1-ый аргумент - константа ?

а 1-ый аргумент - константа ?

Мне тут кстати предлагают на скале пописать.

погодите, если ты не знаешь значения 1-шго аргша во времся компиляции, как ты тогда выведешь тип второго арга?

не шарю за термины. Прояснишь?

гоните литературу. Лучше на русском

тупой пример type Number = | Zero | One | Two ... let createArray (n: Number) = match n with | Zero -> Array<Length=1> | One -> Array<Length=2> ... В нормальных языках это генерализируется и писать ничего не надо. А бесконечные DU чисел сворачиваются в что-то типа чисел Пеано

тупой пример type Number = | Zero | One | Two ... let createArray (n: Number) = match n with | Zero -> Array<Length=1> | One -> Array<Length=2> ... В нормальных языках это генерализируется и писать ничего не надо. А бесконечные DU чисел сворачиваются в что-то типа чисел Пеано

тупой пример type Number = | Zero | One | Two ... let createArray (n: Number) = match n with | Zero -> Array<Length=1> | One -> Array<Length=2> ... В нормальных языках это генерализируется и писать ничего не надо. А бесконечные DU чисел сворачиваются в что-то типа чисел Пеано

Вот с этим сложно. Читать тут придется много и вряд ли на русском. Из вариантов: The Little Typer, Type driven development with Idris, http://docs.idris-lang.org/en/latest/tutorial, https://softwarefoundations.cis.upenn.edu/current/index.html, https://plfa.github.io

@omgszer , ты про это говорил?

ток теперь надо для любого числа!

а где так есть?

идрис7

Кроме перечисленной экзотики, из мейнстрима в скале так можно сделать. Там некоторый вариант зависимых типов есть.

F* ?

оу, а можно пример?

Вот здесь обсуждения про скалу и зав типы: https://stackoverflow.com/questions/12935731/any-reason-why-scala-does-not-explicitly-support-dependent-types Как пример использования в быту см. shapeless. Там куча всего, среди этого есть коллекции параметризованные их длиной: https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0#collections-with-statically-known-sizes

Вот здесь обсуждения про скалу и зав типы: https://stackoverflow.com/questions/12935731/any-reason-why-scala-does-not-explicitly-support-dependent-types Как пример использования в быту см. shapeless. Там куча всего, среди этого есть коллекции параметризованные их длиной: https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0#collections-with-statically-known-sizes

многатекста! мнеработатьнадо! естьвыжимка?

@trigun27 Там подвезли трейлер surge 2

Выжимка - это как раз stackoverflow, там вкратце описывается как и насколько выразимы зав типы в скале.

Ну в апреле там вообще много вкусного

Сразу напомни плз, в скале DU нет и там как раз открытые множества вместо DU ипользуются? Как в TS. типа int | string подмножество int | string | bool

всё, уехала?

Нет, там чуть другой энкодинг. АДТ вида data MyList a = Nil | Cons a (MyList a) в скале делается примерно так (можно без object'а обойтись, например): sealed trait MyList[A] object MyList { case object Nil extends MyList[Nothing] final case class Cons[A](head: A, tail: MyList[A]) extends MyList[A] } Такой энкодинг многословный (будет улучшен в дотти), но у него есть один плюс - через него можно GADT выразить элементарно.

просто пока я тупила, выбора почти и не осталось 🤷‍♀️

просто пока я тупила, выбора почти и не осталось 🤷‍♀️

Тут недалеко от КРД на кайтинге можно покататься

Ну бывает, чо. Всегда есть вариант тюленить дома

В Будву поеду

Да про кейс классы понятно интерtсует другой момент. есть метод\ф-ция которые принимают этот MyList[A] типа def show ( l:MyList[A]) = { ... } и кто-то другой пишет где-то: case class WTF[A] extends MyList[A] теперь моя волшебная ф-ция show сломается? или кейворд final запрещает расширять MyList? а если final не будет? Я скалануб так что мб не вижу очевидных вещей

Тут трюк в sealed обьявлении трейта и final у его наследников case class'ов: The sealed modifier applies to class definitions. A sealed class may not be directly inherited, except if the inheriting template is defined in the same source file as the inherited class. However, subclasses of a sealed class can be inherited anywhere.

типа case class Mylol extends object