Тихо и незаметно вышел Королев 0.3.0 с кучей фичей и багфиксов. https://github.com/fomkin/korolev/releases/tag/v0.3.0

Тихо и незаметно вышел Королев 0.3.0 с кучей фичей и багфиксов. https://github.com/fomkin/korolev/releases/tag/v0.3.0

Тихо и незаметно?)

Ребятки, а можно как-нибудь в Scala разбить val x: Unit = y = 1, на две строки, чтобы объявление x было на первой строке?

Поставь фигурные скобки

Не, я не так выразился, не в плане технически перенести на вторую строку, а, например, чтобы в можно было в REPL отдельно выполнять.

:paste рeжим мож подойдeт?

Давайте еще раз. Как val x: Unit = y = 1 Превратить в val x: Unit var y = 0 x = y = 1

это возможно?

Т.е. как мне объявить x c типом Unit?

а как вы собираетесь юниту присвоить инт?

да еще и val

Сорри, я только начал читать книгу Scala для нетерпеливых, поэтому не до конце понимаю все

Вопрос из книги

val нельзя объявлять и присваивать на разных строках

var только можно

ну сделайте x тоже var

Там не хватает другой подсказки крупными буквами - "Никогда так не делайте в реальной жизни"

и восклицательных знаков побольше

ну три варианта я придумал, кто больше? (4, если засчитать хак компилятора, но так не интересно)

ну сделайте x тоже var

Не работает так

Не работает так

как именно не работает?

Отвлекся, сорри

#!/usr/bin/env scala var x: Unit var y = 0 x = y = 1

var x:Unit = Unit

вот так не работает

о, вот оно что

все переменные должны быть инициализированы

А почему var x = Unit не работает тогда?

Unit это тип, с единственным значением ()

error: type mismatch; found : Unit required: Unit.type

аналогия: var x = Int x = 2

scala> var x: Unit = () x: Unit = () scala> var y = 0 y: Int = 0 scala> x = y = 1 x: Unit = ()

scala> var x = Unit x: Unit.type = object scala.Unit scala> var y = 0 y: Int = 0 scala> x = y = 2 <console>:13: error: type mismatch; found : Unit required: Unit.type x = y = 2 ^ scala> var x:Unit = Unit x: Unit = () scala> x = y = 2 x: Unit = ()

бонусный вопрос — какие ещё 2 (минимум) варианта можно использовать? :)

макрос, который трансформирует подходящим образом)

не, это в категорию хаков компилятора

все проще

варианта для чего? чтобы была валидна запись a = b = value и при этом a != Unit ?

ага

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

а его можно переопределить? оО

хз, не помню)

в плюсах можно

ну вот теперь не будешь спать и думать, какие ещё 2 варианта :)

я скажу, что a == 1 вернет true, в качестве подсказки)

и ещё одна подсказка — это так только в одном из этих вариантов

Что-то я все равно не могу понять

в Scala тип не обязательно же объявлять

точнее немного — "a == 1 — true" — валидный сценарий до этого "a = b = value"

в Scala тип не обязательно же объявлять

да, иногда компилятор способен его вывести

в Scala тип не обязательно же объявлять

у типа Int есть, грубо говоря, 2^64 значений у типа Unit есть ровно одно

Как-то на собеседование пришел один дядька, который был уверен, что Scala это динамически типизированный язык, потому что типы объявлять не надо. Говорит, мол надоело на джаве писать, хочется что-нибудь динамическое, типа груви или скалы.

:)

@dveim я не втыкаю на какой вариант ты намекаешь)

точнее немного — "a == 1 — true" — валидный сценарий до этого "a = b = value"

эм. речь изначально идет о a = b = value - нельзя менять. иначе отклонение от правил. как поможет a == 1 ?

var x: AnyVal = 1 (x таки == 1)

и var x: Any = new Object, например

я все равно не понял)

Я тоже вот это не понял

scala> var x: Unit = Unit x: Unit = () scala> var x = Unit x: Unit.type = object scala.UnitЕсли разница лишь в том, что мы указываем тип явно

scala> var x: AnyVal = 1 x: AnyVal = 1 scala> x == 1 res2: Boolean = true scala> var y = 666 y: Int = 666 scala> x = y = 42 x: AnyVal = ()

implicit def с Unit кстати подходит

Как-то на собеседование пришел один дядька, который был уверен, что Scala это динамически типизированный язык, потому что типы объявлять не надо. Говорит, мол надоело на джаве писать, хочется что-нибудь динамическое, типа груви или скалы.

http://www.scala-lang.org/api/current/scala/Dynamic.html

так х == 1 тут не при чем же) Тут AnyVal & Any - вместо Unit - понятно почему прокатывают)

ERROR: S client not available

так х == 1 тут не при чем же) Тут AnyVal & Any - вместо Unit - понятно почему прокатывают)

а это подсказка для особо изощренных умов

scala> var x: Unit = Unit x: Unit = () scala> var x = Unit x: Unit.type = object scala.UnitЕсли разница лишь в том, что мы указываем тип явно

кстати хороший поинт я вот не знаю, почему первая строчка компилируется

могу предположить, что у Unit toString возвращает ()

не, нифига

scala> var x: Unit = Unit x: Unit = () scala> var x = Unit x: Unit.type = object scala.UnitЕсли разница лишь в том, что мы указываем тип явно

ага ну дело в том, что каст обьекта типа Unit.type к типу Unit зашит в компиляторе, лол хз зачем, на это полагаться (в своем коде) точно не надо

хотя это тоже как-то не всегда правда если кто расскажет, почему "val a: Unit = Unit" компилится, буду благодарен

хотя это тоже как-то не всегда правда если кто расскажет, почему "val a: Unit = Unit" компилится, буду благодарен

scala> var x:Unit = { Unit; new Object } x: Unit = ()

аааа

все, дошло, спасибо

object Unit extends AnyValCompanion equal object OtherObject equal new Object ))

семантически конечно) потому что есть в сорцах экземпляр Unit

проверки для: хотя Unit и имеет тип Unit.type, явно указывая тип переменной : Unit, мы даем команду игнорить любой результат, и туда неявно дописывается ()

примитивы не катят var x:Unit = 5 // fail

var x: Unit = Unit ==> var x: Unt = { Unit; () }

scala> val a: Unit = 5 <console>:11: warning: a pure expression does nothing in statement position; you may be omitting necessary parentheses val a: Unit = 5 ^ a: Unit = ()

вроде работает

а, там варнинг) у меня стрикт просто везде)

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

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

scala> var x:Unit = {var x = 5} x: Unit = ()

без варнингов)

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

так что тут ок

хорошо, что я не провожу собеседования, иначе бы не удержался от вопросов на эту тему)

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

каких вопросов?

каких вопросов?

почему компилится "val a: Unit = Unit", см. выше)

потому что Unit эт обычный класс?

неа

что значит неа

в package scala посмотри)

ну то и значит это неправильный ответ на вопрос

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