А вы миритесь что у вас код красным горит, или слезли с идеи?

В некоторых местах забиваю

Херово когда IDE ограничивает

и если она не подсвечивает, это не значит, что проект скомпилится ?

Скаланы, насущный вопрос: как называется фича, которая позволяет декларировать несколько одинаковых методов с разными type params. Например: foo[A, B]() и foo[A]()?

в общем неизоморфна идея не разу

type parameters ad-hoc polymorphism? ;)

Скаланы, насущный вопрос: как называется фича, которая позволяет декларировать несколько одинаковых методов с разными type params. Например: foo[A, B]() и foo[A]()?

overloading ?

гм, очевидно

это слишком обще

как это работает на уровне компилятора?

мне это видится так, что после type erasure у нас получаются два метода foo() и foo()

А разве из-за type erasure

почему конпелятор не ругается на конфликт?

эти методы не сольются в один?

в том то и дело, что не сливаются

а ты попробуй вызвать с обоими вариантами

на уровне скалы я могу вызвать отдельно foo[A,B]() и foo[A]()

type erasure в рантайме приводить к ошибкам

error: double definition: have same type after erasure: ()Int class A { def foo[A]() = 1; def foo[A, B] = 2 }

вот тайна и раскрылась

Welcome to Scala 2.11.8-20160304-000000-1706a37eb8 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_131). Type in expressions for evaluation. Or try :help. scala> def foo[A]() = 1 foo: [A]()Int scala> def foo[A, B]() = 2 foo: [A, B]()Int scala> foo[Int]() <console>:13: error: wrong number of type parameters for method foo: [A, B]()Int foo[Int]() ^ scala> foo[Int, Int]() res1: Int = 2 scala>

Welcome to Scala 2.11.8-20160304-000000-1706a37eb8 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_131). Type in expressions for evaluation. Or try :help. scala> def foo[A, B]() = 1 foo: [A, B]()Int scala> def foo[A]() = 2 foo: [A]()Int scala> foo[Int]() res0: Int = 2 scala>

интересно...

И так работает: class A { def foo[A]() = 1; def foo[A, B]() = "" }

scala> class Foo { | def foo[A <: Any](): Unit = () | def foo[A <: Any, B <: Int](): Unit = () | } <console>:13: error: double definition: def foo[A](): Unit at line 12 and def foo[A, B <: Int](): Unit at line 13 have same type after erasure: ()Unit def foo[A <: Any, B <: Int](): Unit = () ^

у меня чо-то не

2.11 скала

И так работает: class A { def foo[A]() = 1; def foo[A, B]() = "" }

Тут имя класса равно тайп параметру

переименуй класс

да, кстати

Тут имя класса равно тайп параметру

ожидаемо ничего не поменялось)

все, разобрались

Ииии?

у нас тут context bounds присутвуют

foo[I: Bar]()

эээ

минифицированные примеры не совсем соответсвовали реальным?

да

my bad, сорри ;)

там просто жеский код с большим кол-вом type bounds, за лесом которых я не разглядел context bound

почему конпелятор не ругается на конфликт?

бывает, что ругается. есть способ обойти, если очень надо https://stackoverflow.com/questions/41617429/in-scala-all-abstract-types-have-the-same-type-after-erasure

гайз, вопрос, я вот впервые в жизни пилю oauth авторизацию

получив токен, на основе каких данных вы линкуете пользователя к социалке

емеил или внутренний id социалки или я что-то делаю не так?

Внутренний id соц. сети

Email позволяют не все соц. сети вытащить

окей, сенк, а че делаете с акссес токенами

их тоже сохраняете?

допустим я сделал операцию с oauth и потом хочу еще что-то

через день

У фейсбука можно на основе кратковременного токена получить долговременный. Вот долговременный я сохраняю

окей, спасибо

Правда, давно это было, может что-то поменялось

нашел что в твиттере токен не експайрится

только если тебе его не прикроют руками

http://www.scala-lang.org/blog/2017/05/26/whats-new-scala-native.html

scala> def test(x: Option[Boolean]) = x match { | case Some(_) => "some" | case None => "none" | case null => "zachem" } test: (x: Option[Boolean])String scala> test(None) res0: String = none scala> test(Some(true)) res1: String = some scala> test(null) res2: String = zachem втф? почему при наличии Some и None еще и null надо матчить?

не надо его матчить, ты же уже передаешь Option туда

тогда scala> test(null) Exception in thread "main" scala.MatchError: null

так нефиг нуллы плодить

+1

принимай Boolean и оборачивай его внутри в опшн уже

и матчи

Это в Erlang чате прикопались )

ммм ну это всё ссылочные типы => можно везде прокинуть null, но как бы это кривой код, так писать не надо

у тебя ещё и боксинг там сработает вдобавок ))

Как жалко, что вместо любого объекта можно подставить null

точняк

джависты бы не только поспорили но еще бы предложили решение неудобств с "?." оператором

Шутка за 300

обидел?

Ни в коем случае

null как флаг вроде норм, или нет ? (в java) главное что бы не было null.foobar()

null как флаг? ну везде с null бороться пытаются

боженька дал Optional в джаву

для этих дел

self ! null

def a: Option[Int] = null

и еще 1000 способов выстрела в ногу

боженька дал Optional в джаву

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

я бы сказал что можно рефакторить код и делать границы, типо вот эта часть не рефактореная и если None то сделать null

но видимо тесты в код тоже не завезли

так что не порефакторить

боженька дал Optional в джаву

Он говно.

А в dotty не добавят not null типы?

Он говно.

Кстати да, ибо Optional is being heavily used by standard scala library пока явистам просто дали Optional и все тут, типа вот вам аргумент против перехода на Scala.

Кстати да, ибо Optional is being heavily used by standard scala library пока явистам просто дали Optional и все тут, типа вот вам аргумент против перехода на Scala.

Да я вообще огребал с ним без утилитных функций. Cyclops отчасти решал проблему, но таки ФП в Джаве сложно.

Да я вообще огребал с ним без утилитных функций. Cyclops отчасти решал проблему, но таки ФП в Джаве сложно.

Ну вот у меня есть друг, который меня привел в яву, он типа до сих пор на яве, я ему говорю вот скала это фп, а он мне про лямбды в восьмерке начинает =) Ну такое

Ну вот у меня есть друг, который меня привел в яву, он типа до сих пор на яве, я ему говорю вот скала это фп, а он мне про лямбды в восьмерке начинает =) Ну такое

Лямбды без карринга того же такой себе инструмент. Ещё хочется поддержки кортежей.

Ну вот у меня есть друг, который меня привел в яву, он типа до сих пор на яве, я ему говорю вот скала это фп, а он мне про лямбды в восьмерке начинает =) Ну такое

фп оно в сердце и в чистоте помыслов, а не в языке

фп оно в сердце и в чистоте помыслов, а не в языке

Чистое сердце выберет правильный язык

@aleksei_t опять ты джаву явой называешь, фу таким быть)

@aleksei_t опять ты джаву явой называешь, фу таким быть)

Ты просто кофе не пьешь

я сейчас наброшу, а есть бенчмарки горутин и правильно организованных скалафьюч ?

Было бы интересно, а что это прямые аналоги?

Ну вот у меня есть друг, который меня привел в яву, он типа до сих пор на яве, я ему говорю вот скала это фп, а он мне про лямбды в восьмерке начинает =) Ну такое

Джава же для ентерпрайза, она и должна быть такой инертной, завозить должны проверееное и дубово-простое, а не экспериментальное. А Scala неплохо бы освоить хотябы в целях развития...