ML
типа, есть функции foo({a: Int, b: String}), bar({c: Int, d: Long}) и если переменная используется в обоих, то её тип минимум {a: Int, b: String, c: Int, d: Long}
какие есть яп с такой возможностью?
Size: a a a
2020 May 16
ML
надо чё нить напрогать
(
типа, есть функции foo({a: Int, b: String}), bar({c: Int, d: Long}) и если переменная используется в обоих, то её тип минимум {a: Int, b: String, c: Int, d: Long}
Это что-то про инференс?
ML
Это что-то про инференс?
да
ML
и про открытость
ML
т.е. рекорд может содержть ещё сколько угодно полей
(
Фшарп вроде так умеет
ML
но мне нужно пересечение вот этих двух функций
ML
Фшарп вроде так умеет
чёт не припомню такого
AM
типа, есть функции foo({a: Int, b: String}), bar({c: Int, d: Long}) и если переменная используется в обоих, то её тип минимум {a: Int, b: String, c: Int, d: Long}
Я не совсем понял, ты хочешь, чтобы тип этой переменной так выводился? А где ж тут типобезопасность тогда, где проверка сходимости?
ML
Я не совсем понял, ты хочешь, чтобы тип этой переменной так выводился? А где ж тут типобезопасность тогда, где проверка сходимости?
Типобезопасность при создании
AL
какие есть яп с такой возможностью?
Ну тайпскрипт вроде должен спокойно уметь такое
ML
Ну тайпскрипт вроде должен спокойно уметь такое
Я ещё join хочу
ML
Есть такой вариант?
AL
Я ещё join хочу
Object.assign
ML
Пойду что ли ts поковыряю
AL
Возвращаемый тип - пересечение типов входных
I
типа, есть функции foo({a: Int, b: String}), bar({c: Int, d: Long}) и если переменная используется в обоих, то её тип минимум {a: Int, b: String, c: Int, d: Long}
elm/purescript?
AM
Пойду что ли ts поковыряю
Пропал пацан
I
Пойду что ли ts поковыряю
