какбе, это ж твой интерес, копни поглубже, да сделай

надо плагин ставить скала, нахер

ну нахер так нахер.

слишком мощненько для сахара

не находите?

Сахорок

лучше 50 классов наваять на java

вместо того чтоб на этапе конпеляции получить проверенный и быстрый вызов конкретных методов

Мне кажется это неправильно называть сахаром, так как это

Сахар это фор по коллекциям для меня

ну нахер так нахер.

чет ты слился

Скалисты, комон

Скомпильте ваш сахар

я не слился, я потратил время, описал тебе что оно делает, а ты сразу "ну давай а теперь еще это мне сделай. и это мне сделай, а то мне лень пошевелить пальцем плагин поставить"

Погоди, слился ты

простите, барин.

findByRefEmailCodeTypeByEmailCodeTypeCodeAndObjUserEntityAndEmailCodeValueAndEmailCodeUsedDtimeIsNullAndEmailCodeExpirationDtimeAfter(...)

%__%

Котоны. В википедии есть отличное определение синтаксического захара: "Это может быть любой элемент синтаксиса, который даёт программисту альтернативный способ записи уже имеющейся в языке синтаксической конструкции". Ключевой элемент в этой истории - слово "синтаксический". Патерт-матчинг Scala это не сахар над свичом, потому что имеет другую семантику. То же самое с конструкторами типов. Это не сахар над джавовыми генериками, потому что часть другой системы типов.

findByRefEmailCodeTypeByEmailCodeTypeCodeAndObjUserEntityAndEmailCodeValueAndEmailCodeUsedDtimeIsNullAndEmailCodeExpirationDtimeAfter(...)

spring data?

da

Котоны. В википедии есть отличное определение синтаксического захара: "Это может быть любой элемент синтаксиса, который даёт программисту альтернативный способ записи уже имеющейся в языке синтаксической конструкции". Ключевой элемент в этой истории - слово "синтаксический". Патерт-матчинг Scala это не сахар над свичом, потому что имеет другую семантику. То же самое с конструкторами типов. Это не сахар над джавовыми генериками, потому что часть другой системы типов.

говорить слово generic имея ввиду систему типов scala это все равно что плюнуть в душу

foo[F[_], A, B](fa: F[A], flatMap: FlatMap[F], f: A => F[B]): F[B] = flatMap.flatMap(fa, f) все равно как-то сложно)

говорить слово generic имея ввиду систему типов scala это все равно что плюнуть в душу

Не понял тебя.

ну типо это вообще разные вещи

foo[F[_], A, B](fa: F[A], flatMap: FlatMap[F], f: A => F[B]): F[B] = flatMap.flatMap(fa, f) все равно как-то сложно)

на самом деле нет. перечитай что я написал еще пару раз неспеша. Я специально старался не использовать какие-то термины хитрые, писал "на пальцах"

Я не специалист в Котлине, но мне интнресно. Скажите, есть ли в котлине языковые фичи, которые меняли бы семантику Java (ну кроме nullable). Отличается ли система типов в Котлине от системы типов Java?

на самом деле нет. перечитай что я написал еще пару раз неспеша. Я специально старался не использовать какие-то термины хитрые, писал "на пальцах"

Да это реально сложный пример. Нужно покодить на скале плотно хотя бы полгодика, что бы начать это понимать. Ну или иметь за плечами опыт другого функционального языка.

yoda@ux32vd:14:11:~/Desktop$ ./scala-2.12.1/bin/scalac Scala.scala Scala.scala:1: error: expected class or object definition foo[F[_], A, B](fa: F[A], flatMap: FlatMap[F], f: A => F[B]): F[B] = flatMap.flatMap(fa, f) ^ one error found

как это скомпилить

но если ты не будешь в Scala использовать такие штуки то смысла юзать язык нет

Я не специалист в Котлине, но мне интнресно. Скажите, есть ли в котлине языковые фичи, которые меняли бы семантику Java (ну кроме nullable). Отличается ли система типов в Котлине от системы типов Java?

система типов таки отличается немножко. там всякие Any и Nothing заведены

http://natpryce.com/articles/000818.html

Я не специалист в Котлине, но мне интнресно. Скажите, есть ли в котлине языковые фичи, которые меняли бы семантику Java (ну кроме nullable). Отличается ли система типов в Котлине от системы типов Java?

Ну вот ты говоришь > Патерт-матчинг Scala это не сахар над свичом, потому что имеет другую семантику. Соответсвенно > when в Kotlin это не сахар над свичом, потому что имеет другую семантику.

но если ты не будешь в Scala использовать такие штуки то смысла юзать язык нет

Почему?

потому что будет та же Java только с сахаром

в Scala главное это система типов

>соответственно foo(f: Future[Integer], flatMap: FlatMap[Future], f: Integer => Future[User]) => Future[User] а что тут вообще должно произойти?

Я не специалист в Котлине, но мне интнресно. Скажите, есть ли в котлине языковые фичи, которые меняли бы семантику Java (ну кроме nullable). Отличается ли система типов в Котлине от системы типов Java?

те же делегаты

и ты ее должен юзать на максимум

Ну вот ты говоришь > Патерт-матчинг Scala это не сахар над свичом, потому что имеет другую семантику. Соответсвенно > when в Kotlin это не сахар над свичом, потому что имеет другую семантику.

Я просто спрашиваю.

делегаты - это не сахар?

началооось)

Я просто спрашиваю.

if/when/etc экспрешен делагаты корутины (елд, асинк)

это из самого интересного

Почему?

у меня есть проект на скала полностью самописный, и вот когда я его написал я понял что юзаю язык не так как надо, возможности Scala гораздо шире чем мой Java мозг понимал в тот момент когда я начинал делать порект

в Scala главное это система типов

Система типов да, помогает. Но необязательно использовать типы высшего порядка у себя в коде. Пускай это будет машиненией библиотек, которые ты используюешь. А вот паттернматчинг, частично заданный функции -- это фичи на каждый день.

но в голове обывателя это сахар

а мне больше всего extention methods нравятся :)

а мне больше всего extention methods нравятся :)

Например

а мне больше всего extention methods нравятся :)

чистый сахок)

чистый сахок)

слаааденький, няма

чистый сахок)

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

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

у меня есть проект на скала полностью самописный, и вот когда я его написал я понял что юзаю язык не так как надо, возможности Scala гораздо шире чем мой Java мозг понимал в тот момент когда я начинал делать порект

Это не значит что твой код на Scala плохой. Это значит что ты перешагнул на следущую ступеньку лесницы. Scala специально так сделана.

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

я про то что один хрен это все под капотом статические методы

или котлине

я про то что один хрен это все под капотом статические методы

we need to go deeper, bytecode!

на уровне байткода можно делать штучки которые невозможно сделать на уровне языка :)

yoda@ux32vd:14:11:~/Desktop$ ./scala-2.12.1/bin/scalac Scala.scala Scala.scala:1: error: expected class or object definition foo[F[_], A, B](fa: F[A], flatMap: FlatMap[F], f: A => F[B]): F[B] = flatMap.flatMap(fa, f) ^ one error found

гайз, чего не хватет скале? импорты нужны какие-то?

Это не значит что твой код на Scala плохой. Это значит что ты перешагнул на следущую ступеньку лесницы. Scala специально так сделана.

а что наверху это лесницы?

haskell

я слушал подкаст да

haskell

Coq

а что наверху это лесницы?

Ну как раз те самые типы высшего порядка, контекст-баунды, доказательства всякие. Dotty добавит уровень зависимых типов (в своем прочтении).

scala> trait FlatMap[F[_]] { def flatMap[A,B](fa: F[A], f: A => F[B]): F[B] } defined trait FlatMap scala> def foo[F[_], A, B](fa: F[A], flatMap: FlatMap[F], f: A => F[B]): F[B] = flatMap.flatMap(fa, f) foo: [F[_], A, B](fa: F[A], flatMap: FlatMap[F], f: A => F[B])F[B]

Но вообще @fomkin дело говорит

ERROR: S client not available

>соответственно foo(f: Future[Integer], flatMap: FlatMap[Future], f: Integer => Future[User]) => Future[User] а что тут вообще должно произойти?

ну у тебя был какой-то фьючер интеджера, оно его преобразовало в фьючер юзера. Типа там, нашло по айдишке интеджерной в БД

yoda@ux32vd:14:22:~/Desktop/scala-2.12.1/bin$ cat Scala.scala trait FlatMap[F[_]] { def flatMap[A,B](fa: F[A], f: A => F[B]): F[B] } foo[F[_], A, B](fa: F[A], flatMap: FlatMap[F], f: A => F[B]): F[B] = flatMap.flatMap(fa, f) yoda@ux32vd:14:23:~/Desktop/scala-2.12.1/bin$ ./scalac Scala.scala Scala.scala:3: error: expected class or object definition foo[F[_], A, B](fa: F[A], flatMap: FlatMap[F], f: A => F[B]): F[B] = flatMap.flatMap(fa, f) ^ one error found yoda@ux32vd:14:23:~/Desktop/scala-2.12.1/bin$

у вас нельзя функцию прям в пакете написать?

“у вас” :D

ну у тебя был какой-то фьючер интеджера, оно его преобразовало в фьючер юзера. Типа там, нашло по айдишке интеджерной в БД

а понял, спасибо

“у вас” :D

ой, всё ?

Мне не могут рабочий код скинуть, чтобы я скомпилить мог

Или чтобы проверить мне нужно еще скалу выучить

Или чтобы проверить мне нужно еще скалу выучить

всё так

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

вырази мне анализ кода в компайлтайме, епта

вырази мне анализ кода в компайлтайме, епта

ну так вырази мне проверку на наллы там же, сахарок

ты с темы не сьезжай

пацаны

день

вот штука, которую НЕЛЬЗЯ выразить в джаве

я тебе контр пример привел

+360 сообщений с ночи

в чем прикол?

опять скотлин пиарят?

какой нафиг контрпример, почитай определение слова

в чем прикол?

у некоторых скалистов опять сахарок

у некоторых скалистов опять сахарок

лол

день сурка

отвечаю

день сурка

вот да)

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

> немного

yoda@ux32vd:14:22:~/Desktop/scala-2.12.1/bin$ cat Scala.scala trait FlatMap[F[_]] { def flatMap[A,B](fa: F[A], f: A => F[B]): F[B] } foo[F[_], A, B](fa: F[A], flatMap: FlatMap[F], f: A => F[B]): F[B] = flatMap.flatMap(fa, f) yoda@ux32vd:14:23:~/Desktop/scala-2.12.1/bin$ ./scalac Scala.scala Scala.scala:3: error: expected class or object definition foo[F[_], A, B](fa: F[A], flatMap: FlatMap[F], f: A => F[B]): F[B] = flatMap.flatMap(fa, f) ^ one error found yoda@ux32vd:14:23:~/Desktop/scala-2.12.1/bin$

да епт, парни, напишите рабочий код, сложно что-ли?

Ну как раз те самые типы высшего порядка, контекст-баунды, доказательства всякие. Dotty добавит уровень зависимых типов (в своем прочтении).

на досуге вот смотрю твой код. реализации minmax, эвристики, или того же gameoflife выглядят прикольно, особенно когда знаешь как это делается на обычной джаве но вот одно непонятно, полотна кода в одном методе это ок? https://github.com/fomkin/korolev/blob/master/korolev/src/main/scala/korolev/Korolev.scala

> немного

продолжает стебать)

смысл спора если, scala > kotlin > java