169 похожих чатов

Он должен как-то особенно обрабатывать одноэлементные кейс-классы или что?

13 ответов

6 просмотров

Нет, но в каждом кейсе уже доказано, что w конкретного подтипа.

Вам не кажется странным, что при мэтчинге слева от стрелки компилятор отличает Wrapper[Foo1] от Wrapper[Foo2] (разбирая дополнительно обернутый объект), а справа он снова оперирует абстрактным Wrapper[Foo] ?

Oleg-ℕižnik Автор вопроса
Oleg ℕižnik
не доказано

Почему? Могут быть ситуации когда там другой тип?

Oleg ℕižnik
вы сейчас какой сниппет имеете в виду?

Я больше про этот: https://scastie.scala-lang.org/LMnet/3Z9I0IkXQbyUp1LXeKKODg/14

Oleg-ℕižnik Автор вопроса
Юрий Бадальянц
Почему? Могут быть ситуации когда там другой тип?

Компилятор от противного не может выводить, нужно предложить правило, по которому он сможет сконструировать вывод A = Foo1, предложи его

Oleg-ℕižnik Автор вопроса
Boris Azanov
Я больше про этот: https://scastie.scala-lang.org/...

ну здесь нет ничего странного, с моей точки зрения, никаких названных вами противоречий, компилятор и слева и справа оперирует Wrapper[Foo]

Oleg-ℕižnik Автор вопроса
Юрий Бадальянц
Справа тип уже уточнен

Справа не уточнён тип, справа используется паттерн для фильтрации значений, как этот паттерн связать с аргументом типа?

Oleg ℕižnik
Компилятор от противного не может выводить, нужно ...

Надо подумать, но я уверен на 90%, что можно создать правило

Похожие вопросы

Обсуждают сегодня

@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Заметил в ghci 9.4.8: > :t (<*>) @((->)_) (<*>) @((->)_) :: (w -> (a -> b)) -> (w -> a) -> w -> b Разве не должно (w -> (a -> b)) быть записано как (w -> a -> b)? Это баг, ил...
Михаил
13
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
Any electron dev here?
Sayanth Tezro
12
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, стандартный ;вызов процедуры ;option casemap:no...
Егор Анелькин
1
так это может кто что знает или использует что-то как макбук только не макбук? на 13…14 дюймов
Michael
9
Карта сайта