Size: a a a

Scala User Group

2021 August 31

GP

Grigory Pomadchin in Scala User Group
и ты даже не узнаешь где ты налажал с баундами
источник

GP

Grigory Pomadchin in Scala User Group
оно все мягкое
источник

IT

Igal Tabachnik in Scala User Group
Ну я не знаю точто про калибан, не пользовался им. Но в зиво самом такого же нет?
источник

GP

Grigory Pomadchin in Scala User Group
не знаю как насчет самого зиво, но в зилеерами можно вот такую муть делать
источник

IT

Igal Tabachnik in Scala User Group
Ну можно, окей. Но в 90 процентах работает правильно
источник

IT

Igal Tabachnik in Scala User Group
Так что все довольн
источник

IT

Igal Tabachnik in Scala User Group
ы
источник

GP

Grigory Pomadchin in Scala User Group
так причем тут 90% правильно не правильно
источник

GP

Grigory Pomadchin in Scala User Group
апи такой что тебе можно эти зилееры писать беспорядочно
источник

GP

Grigory Pomadchin in Scala User Group
на усмотрение программиста значит у тебя сигнатуры
источник

IT

Igal Tabachnik in Scala User Group
Fast and loose reasoning applies :)
источник

GP

Grigory Pomadchin in Scala User Group
какие-то отговорки applies
источник

IT

Igal Tabachnik in Scala User Group
согласен.
источник

χλ

χоρоший ☽☽☽ λисuчко... in Scala User Group
Извиняюсь, не совсем понимаю, почему это работает.

Int => Int же не Nothing => Int
Int => Int <: Nothing => Int?
источник

I

Ilya in Scala User Group
Если я не путаю то Nothing является наследником всех классов (чтобы можно было выразить ситуацию когда метод выкинул исклчение)
источник

λ

λoλdog in Scala User Group
нужно посмотреть где у Function1 плюсик
источник

λ

λoλdog in Scala User Group
а где минусик
источник

IK

Ivan Kerenskiy in Scala User Group
Я так понимаю, здесь просто Lst[Nothing] приводится к Lst[A], а тип функции не меняется
источник

χλ

χоρоший ☽☽☽ λисuчко... in Scala User Group
В Scala in Action пишут: trait Function1[-P, +R]
источник

IK

Ivan Kerenskiy in Scala User Group
Int => Int не <: Nothing => Int (UPD: подтип, конечно, надо внимательнее читать)
источник