знаешь почему null - плохо, и почему это не касается unit?

его семантика - ПУСТОТА.

потому что Null предком объектов является

null можно вернуть (не в котлине, так в джаве) из функции, в сигнатуре которой в качестве возвращаемого значения стоит какой-то класс и потом этот null можно попытаться разыменовать unit же - это не "пустая ссылка", просто единичное значение, его нельзя попытаться разыменовать, его нельзя вернуть вместо значения другого класса, это абсолютно безопасная штуковина с прозрачной семантикой

его можно вернуть в Kotlin и присвоить в переменную, вот я о чём

я тебе говорю почему от null в джаве бегут

небезопасно

unit - безопасно

а вот подтипы - как раз то что ненужно)

да где безопасно, если полагаешься на вывод типа, не проверил сигнатуру в IDE - и получил вывод Unit в переменной

да где безопасно, если полагаешься на вывод типа, не проверил сигнатуру в IDE - и получил вывод Unit в переменной

А чему вывестись, если у выражения тип — Unit? :)

Я говорю про то, что если функция возвращает Unit, присваивание должно быть недопустимо

какие серьезные вопросы обсуждаются

https://en.wikipedia.org/wiki/Unit_type

я читал всё это

Как бы написано что как минимум один костыль из-за того что void в джаве. И для чего полезно присваивать Unit.

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

Ты кстати как пишешь на котлин? Используешь sealed классы, функции на топлевеле или внутри object, persistent коллекции? Может либу funkionale (я нет тк получения уродский код)?

сейчас на котлине не пишу, но я понял о чём ты на Rust например использую enum'ы (те же ADT), функции "внутри object" (потому что ad-hoc полиморфизм же, на одних топ-левел функциях в Rust далеко не уедешь), коллекции не персистентные, но это из-за специфики Rust (всё-таки прикол в том чтобы писать достаточно шустрый код с zero-cost абстракциями)

Я говорю про то, что если функция возвращает Unit, присваивание должно быть недопустимо

тогда параметрически полиморфные функции ломаются если попытаться использовать в них Unit в качестве типа-параметра

тогда параметрически полиморфные функции ломаются если попытаться использовать в них Unit в качестве типа-параметра

приведи пример, Unit в дженерик-функцию передать, это я понял. Ты имеешь в виду должны доматься или наоборот?

приведи пример, Unit в дженерик-функцию передать, это я понял. Ты имеешь в виду должны доматься или наоборот?

нет, не должны

сейчас напишу пример какой-нибудь

Кстати, вопрос такой: если в java, kotlin, ожидаете на входе метода Double/Float, проверяете на +- Infinity (NaN) ?

Хм, часто ли люди вообще используют плавающие числа?

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

Полиглоты, откликнитесь, вложенные классы в языке с функциями первого класса - это костыли?

Нет

приведи пример, Unit в дженерик-функцию передать, это я понял. Ты имеешь в виду должны доматься или наоборот?

ну что-то вроде этого, пример немного корявый, но суть такая: fun <T, R> log(f: (T) -> R): (T) -> R { return { x -> val ret = f(x) println("function retured value: ${ret}") ret } } log({x: String -> println(x)})("hello") log({x: Int -> x * x})(42)

я сейчас часа на полтора пропаду, если что тогда в пол восьмого или восемь где-то вернусь и отвечу

ок

println(answer(Question("Являются ли вложенные классы костылями?")))

42

функция возвращает функцию, что-то не вижу необходимости присваивать Unit в переменную, или я неправильно понял?

обычный карринг, возвращает функцию, где тут подвох-то?

функция возвращает функцию, что-то не вижу необходимости присваивать Unit в переменную, или я неправильно понял?

R вполне может быть Unit

R вполне может быть Unit

пусть компилятор скажет, что нельзя присвоить в этом случае в переменную, вот и всё

пусть компилятор скажет, что нельзя присвоить в этом случае в переменную, вот и всё

kotl.in/issue

вообще отговорки вроде: копилятор умеет выводить только в случае single-expression не принимаются. Зная гениальный компилятор typescript, который выводит практически всё и вся

вообще отговорки вроде: копилятор умеет выводить только в случае single-expression не принимаются. Зная гениальный компилятор typescript, который выводит практически всё и вся

Да, и наследует интерфейсы от классов

??

и выводит он местами меньше чем флоу

и хуже

есть целые доклады

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

но практически всё

да. он отлично выводит any

определяешь параметры функции - вывод обеспечен

не такой он божественный, как ты описываешь

любой, а не только single-expression

вы давно не пользовались

я пользовался много, и последняя версия была 2.3

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

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

вообще стараюсь не писать single expression, а в стандартном стиле чтобы явно указать выходной тип

вот пример

https://www.typescriptlang.org/play/#src=function%20foo%3CT%3E()%3A%20T%20%7B%0D%0A%20%20const%20serverObj%3A%20any%20%3D%20%7B%20%5BMath.random()%5D%3A%201%20%7D%0D%0A%20%20return%20serverObj%0D%0A%7D%0D%0A%0D%0Atype%20A%20%3D%20%7B%0D%0A%20%20num%3A%201%0D%0A%7D%0D%0A%0D%0Aconsole.log(foo%3CA%3E())

вот пример

ну да, это хороший стиль

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

думаю ок к месту

такой тайпсейф

с дженериками все плохо

где?

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

не было проблем, сравнивал с C# - примерно также себя ведут, за исключением In-out

function foo(num: number) { if (num > 10) { return "cool"; } } console.log(foo(1).toString());

вот это flow ловит)

ERROR: S client not available

Что значит 'ловит?' По-вашему, должно возвращаться Number?

а typescript string вывел

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

тут string?

так string и возвращается

не всегда

string|undefined

string | undefined

так вы включили null-safe?

а он по дефолту выключен

striictNull - что-то

и мало кто включает

lf

да

это тоже проблема языка

нет, многие знаю современную тенденцию и включают

надо загонять людей в счастье

println(answer(Question("Являются ли вложенные классы костылями?")))

”Являются ли вложенные классы костылями?” .let(::Question) .let(::answer) .let(::println) ?

вот отсюда: http://djcordhose.github.io/flow-vs-typescript/flow-typescript-2.html#/

а что не так?

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

массивы то мутабельные

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

ты же не использовал ограничение дженерик-типа

да, но в cats теперь собаки

так везде

см презентацию

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

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

чота как-то ковариантно