Извиняюсь, не совсем понимаю, почему это работает. Int => Int

Question

Scala User Group

χоρоший ☽☽☽ λисuчко

Извиняюсь, не совсем понимаю, почему это работает. Int => Int

же не Nothing => Int
Int => Int <: Nothing => Int?

#programming #russian #scala

0

31.08.2021

17 ответов

22 просмотра

Регіональний Секретар

Я так понимаю, здесь просто Lst[Nothing] приводится к Lst[A], а тип функции не меняется

0

31.08.2021

Simon

жесть какая... f - параметр метода, то есть он в контравариантной позиции A => B - Параметр функции (A) тоже в контравариантной позиции Таким образом f: A => B - тут A в дважды контравариантной позиции, то есть в ковариантной позиции

0

31.08.2021

χоρоший ☽☽☽ λисuчко Автор вопроса

Simon
жесть какая... f - параметр метода, то есть он в к...

Извиняюсь, а почему жесть? х)

0

31.08.2021

Simon

χоρоший ☽☽☽ λисuчко
Извиняюсь, а почему жесть? х)

думать приходится. не люблю я это дело

0

31.08.2021

Регіональний Секретар

Simon
жесть какая... f - параметр метода, то есть он в к...

Тогда почему это не работает? case class Sample[+A]() { def method[B](f: A => B) = ??? } val f: Nothing => Int = ??? Sample[Int]().method[Int](f) https://scastie.scala-lang.org/SwQrzrtiSeitPay9C2uAyw

0

31.08.2021

χоρоший ☽☽☽ λисuчко Автор вопроса

Регіональний Секретар
Тогда почему это не работает? case class Sample[+A...

Ой, а ??? – это способ не писать тело функции, дабы проверить type checking?

0

31.08.2021

Регіональний Секретар

χоρоший ☽☽☽ λисuчко
Ой, а ??? – это способ не писать тело функции, даб...

Ну типа того, хотя я не эксперт

0

31.08.2021

Simon

Регіональний Секретар
Тогда почему это не работает? case class Sample[+A...

Тут с точностью до наоборот. В коде выше Int => Int используется там, где ожидается Nothing => Int - так можно из-за контравариантности. В вашем коде Nothing => Int используется там, где ожидается Int => Int - так нельзя

0

31.08.2021

Регіональний Секретар

Simon
Тут с точностью до наоборот. В коде выше Int => In...

А, блин

0

31.08.2021

Simon

χоρоший ☽☽☽ λисuчко
Ой, а ??? – это способ не писать тело функции, даб...

??? - метод, возвращающий Nothing.

0

31.08.2021

Oleg ℕižnik

f: Int => Int - это функция, которая принимает целое число, и возвращает целое представим, что у нас есть PosInt <: Int, некое положительное подмножество целых, наша функция определена для любых целых чисел, значит для всех положительных как минимум, что скала позволяет записать как f: PosInt => Int таким образом для любого подмножества целых чисед f определена на нём, что соответствует некому суждению в нашей системе типов Nothing соответствует пустому подмножеству значений для множества значений любого типа и любая функция g: A => B определена на нём, что выражается как суждение g: Nothing => B таким образом, какую бы функцию f : A => B вы не передали, она так же является функцией Nothing => B, т.е. функцией с которой снимается необходимость обрабатывать что-либо, и нет никакого противоречия, в том чтобы передать её в метод, принимающий такой аргумент

0

31.08.2021

χоρоший ☽☽☽ λисuчко Автор вопроса

Oleg ℕižnik
f: Int => Int - это функция, которая принимает цел...

Пошло что-то по Карри-Говарду

0

31.08.2021

Oleg ℕižnik

χоρоший ☽☽☽ λисuчко
Пошло что-то по Карри-Говарду

не

0

31.08.2021

Grigory Pomadchin

мне проще так: Int => Int частный случай функции (подтип) Nothing => Int т.к. Nothing это подтип Int то Int более общий тип функция из более общего типа (Int) в менее общий (Int в этом случае, у нас они совпадают) будет подтипом функции

0

31.08.2021

Simon

Grigory Pomadchin
мне проще так: Int => Int частный случай функции (...

не верно

0

31.08.2021

Grigory Pomadchin

Simon
не верно

почему не верно? верно любая функция из более общего типа в менее общий тип это подтип

0

31.08.2021