В минимальных полностью иммутабельных условиях я бы сделал просто метод drain(), который бы возвращал использованный объект уже в новом статусе

Тем самым сформулировав концепцию исчерпанного ресурса Но вот с мутабельными данными (и, например, с комонадами) такой финт уже не проходит

@kana_sama а что есть аффинные типы в х?

https://z-pattern-matching.github.io/

Я такую же фиговину делал, но это не выход

Интересный и реально рабочий вариант — реализовать предикаты, Bounded enum в purescript например

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

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

Так и чего

Ты по-другому и не сделаешь по сути

В жсе

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

Не обязательно

Нужно чтобы тем или иным образом можно было использовать конструкции %checks флоу или is тайпскрипта

Тогда будет доказанный вывод типа, иначе — это всё та же анархия

Типа обернуть тип в функцию проверки?

Там где с Object, Date, etc.

Явно доказать, почему именно у тебя получился тот или иной тип

Тогда можно отследить каждый шаг доказательства и если что — найти ошибку

flow: function isObject(x: mixed): boolean %checks { return typeof x === 'object' && x != null } typescript (могу немного путать синтаксис) : function isObject(x: mixed): x is Object { return typeof x === 'object' && x != null }

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

В флоу это вообще реализуется через мега-абстрактную конструкцию) function refine<T, P: $Pred<N»(val: mixed, cb: P): $Refine<T, N, P> Где $Pred<N> — предикат для вывода типов на основании N аргументов, T — выводимый тип (тот самый %checks), $Refine — семантика для описания того, что мы вывели тип T на основании предиката P для N-ого по счёту аргумента

Оч жоско

flow: function isObject(x: mixed): boolean %checks { return typeof x === 'object' && x != null } typescript (могу немного путать синтаксис) : function isObject(x: mixed): x is Object { return typeof x === 'object' && x != null }

Ну вообще я это и имел в виду

Ок

В флоу это вообще реализуется через мега-абстрактную конструкцию) function refine<T, P: $Pred<N»(val: mixed, cb: P): $Refine<T, N, P> Где $Pred<N> — предикат для вывода типов на основании N аргументов, T — выводимый тип (тот самый %checks), $Refine — семантика для описания того, что мы вывели тип T на основании предиката P для N-ого по счёту аргумента

Вот только к чему такие сложности

Потому что им регулярно требуется. Достаточно пару раз попробовать сделать type refinement, как сразу понимаешь что не так)

$Pred<N> — это обобщённый предикат, мы вообще не указываем чем он занимается, только говорим что эта функция принимает столько то аргументов

Что упрощает синтаксис А так как возвращаемый объект у нас в языке всего один, то требуется указать, какой из аргументов теперь выведен как тип T

И всё, вот уже у тебя получается $Refine как минимально возможная конструкция

type MoreThan<N: number> = number function isMore(x: number, ref: number): boolean %checks { return x > ref } function refine2<T, P: $Pred<2>>(n: number, ref: number, cb: P): $Refine<T, 1, P> { if (cb(n, ref)) return n throw new Error() } const refinePos = (n: number): MoreThan<0> => refine2(n, 0, isMore)

После чего получаем вместо number тип безопасного положительного числа

После чего получаем вместо number тип безопасного положительного числа

safeDiv запилишь?

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

В качестве примера к sequence (или traverse, не помню)

Не, без maybe

Чтобы флоу на тип числа ругался если это 0

Он не может ругаться на числа, он ргумается на тип

Ну

function validDivision(x: number, y: number): boolean %checks { return y !== 0 && isFinite(y) }

Чтобы флоу на тип числа ругался если это 0

opaque type Finite: number = number function refine1<T, P: $Pred<1>>(n: number, cb: P): $Refine<T, 1, P> { if (cb(x)) return x throw new Error() } function validFinite(x: number): boolean %checks { return x !== 0 && isFinite(x) } const toFinite = (x: number): Finite => refine1(x, validFinite) const div = (x: number, y: Finite) => x / y

Но без Maybe сам каст Finite, как можно заметить, unsafe, так как включает в себя throw

Не спрашивайте плиз почему у меня ноль не Finite ?

я просто открыл пулл реквест tycho01 в тс

declare function safeDivide< B extends number, NotZero = ((v: '1') => 'whatever')({ (v: 0): '0'; (v: number): '1'; }(B)) >(a: number, b: B): number; // Argument of type '"0"' is not assignable to parameter of type '"1"' safeDivide(3, 1); safeDivide(3, 0); // should error

И там он пилит дичб

Жесть какая-то Это вообще тайпчекается или просто проходит один кейс?)

Не тайпчекается раз он закомментил)

Во во)

Сходу идея — number из аргумента — никогда не тайпчекнется с таким подходом

Потому что будет определен в рантайме

interface BoolToString { (v: false & true): never; (v: false): 'false'; (v: true): 'true'; (v: boolean): 'true' | 'false'; } type strTrue = BoolToString(true); type strFalse = BoolToString(false); type strEither = BoolToString(true | false); type strBool = BoolToString(boolean); type strAny = BoolToString(any); // fails, want the fallback, but yields 'false'

Ну и там всякая такая дичь

Потому что будет определен в рантайме

литералы чисел же есть в тс

это если число из юзер инпута мб не тайпчекнется

Так это всё равно же не поможет

function count(x: number, y: number) { return safeDivide(x, y) }

Можешь сказать, должна тут быть ошибка или нет?)

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

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

стек?

Ну стек в смысле совокупность всего что он с гканти напилили

Тогда может да, но и то очень спорно

это пулл в тс)

на callable types

Ох боже мой

Кстати в флоу можно функцию и без call вызвать

С таким подходом его ток как диверсанта засылать, блокировать неугодные фичи

ERROR: S client not available

И без комментов

Как?

Чтобы флоу на тип числа ругался если это 0

это уже DT

хотя даже больше рефаймент

ну или можно смоделить через Пеано)

Как?

$PropertyType<$ObjMap<{ Param: A }, F>, 'Param'>

Так это тот же вызов

Всм?)

Ну какая принципиальная разница, каким образом вызывать F, через одну флоу-директиву или через другую?)

Только $Call умеет в несколько аргументов, кстати

$PropertyType<$ObjMap<{ Param: A, Param2: B }, F>, 'Param' | 'Param2'>

А так?)

Не сработает?

Хотя да

Да просто в тс даже через маппед нельзя вызвать функцию)

рефайд типы и котлин https://blog.simon-wirtz.de/kotlin-reified-types/

https://github.com/JetBrains/kotlin/blob/master/spec-docs/reified-type-parameters.md

привет РС в котлин))) https://github.com/aedans/katalyst

Не спрашивайте плиз почему у меня ноль не Finite ?

Збс

рефайд типы и котлин https://blog.simon-wirtz.de/kotlin-reified-types/

так это небось в жс не сработает

>JavaScript does not support the full Kotlin reflection API

Лол

У них кстати тот же $Refine и вышел, только для конкретного случая

рефайд типы и котлин https://blog.simon-wirtz.de/kotlin-reified-types/

так это же джава проблемы?

привет РС в котлин))) https://github.com/aedans/katalyst

лол

https://realjenius.com/2017/09/08/kotlin-reify/

о нет, джава проблемы

вообще тс тоже умеет в reified

с декораторами

Я про это с самого начала упомянул)

Про is

это refined