Пока нашел вот это вот - https://github.com/cbowdon/TsMonad - можно использовать Maybe<T>, но, боюсь, посоны не поймут, если я буду туда-сюда в нее заворачивать и разворачивать значения прямо на рабочем месте.

Такое можно сделать, только если в языке есть nullable/notnull типы, как раз как в котлине. Если их нет, то уже никто не поможет. Даже в том же котлине при вызове джава функции тип помечается восклицательным знаком(типа неясно что за тип). Но если не проверили явно на null, то даже компилятор котлина это игнорирует. Если же речь идёт о том, чтобы компилятор просто напоминал, что мы забыли проверить на null, то как он поймёт что мы уже проверили? Умного кастования типов от nullable в notnull нет же. В общем мне кажется в ts такое навернуть нельзя. Разве что оборачивать все в Option какой-нибудь как в скале.

Но если не проверили явно на null, то даже компилятор котлина это игнорирует.

Нет. Там компилятор умеет это отслеживать:

var b: String? = "abc"
b = null // ok
print(b.length); // error: variable 'b' can be null

var b: String? = "abc"
b = null // ok
if (b != null) print(b.length); // ok

inb4: хачкелль, монадки

ghcjs же.

Я вероятно не совсем ясно выразился. Я имел в виду platform types для которых выключается проверка на null. Подробнее тут https://kotlinlang.org/docs/reference/java-interop.html#null-safety-and-platf...

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

А, понял. Я про interaction с джавой в котлине совсем ничего не знаю.

Пока делал бутерброд, придумал такой костылик:

type Optional<T> = T|void;

function notNothing<T>(v: any): v is T {
    return (v !== undefined);
}

let nullableString: Optional<String> = 'fufufu';

if (notNothing<String>(nullableString)) 
	console.log(nullableString.length); //ok

console.log(nullableString.length); //error, property length does not exist on type String|void

Жди

https://github.com/Microsoft/TypeScript/pull/7140

Годнота какая. Если примут, и починят spread operator для литералов объектов, TS для меня будет очень близок к идеалу. Свои проекты я пилю на ScalaJS (неимоверно круто длительное время писать код в IDE, и быть уверенным, что после компиляции все скорее всего заработает как надо с первого раза), но у меня не хватит наглости пропихивать даже на единоличные фриланс-шабашки по причине маргинальности :)