Size: a a a

Programming Offtop

2020 June 10

AK

Anton Korotkikh in Programming Offtop
Igor
хм, а тогда тип результата функции?

function test() {
 return
   if (random() > 0.5) { foo = 1 }
   else { bar = 1 }
}
это же динамика, тип any. а входящий это любой Object. Даже если у него нет этих полей, a.bar не будет ошибкой и вернёт undefined
источник

QH

Quantum Harmonizer in Programming Offtop
Igor
В целом, это я думаю - как натянуть стат. типизацию на хешмпепы)
В личи есть частичные структуры. Чё ещё нужно?)
источник

AM

Andrew Mikhaylov in Programming Offtop
Anton Korotkikh
это же динамика, тип any. а входящий это любой Object. Даже если у него нет этих полей, a.bar не будет ошибкой и вернёт undefined
Так наоборот человек типы натягивает
источник

AM

Andrew Mikhaylov in Programming Offtop
any не алё
источник

I

Igor in Programming Offtop
Igor
Ребят, сириоз квесчет - какой тип (шейп) у параметра a ?

function test(a) {
 return
   if (random() > 0.5) a.foo
   else a.bar
}
можно не немножко усложнить

function test(a, condition) {
 return
   if (condition) a.foo
   else a.bar
}
источник

AK

Anton Korotkikh in Programming Offtop
Andrew Mikhaylov
Так наоборот человек типы натягивает
ща бы на жс типы натягивать, когда кругом столько языков типа котленов и скал
источник

AM

Andrew Mikhaylov in Programming Offtop
Anton Korotkikh
ща бы на жс типы натягивать, когда кругом столько языков типа котленов и скал
А с чего ты взял, что это жс?
источник

(

( in Programming Offtop
Igor
можно не немножко усложнить

function test(a, condition) {
 return
   if (condition) a.foo
   else a.bar
}
тотальность диктует произведение типов
если ты против, добро пожаловать в идрис
источник

QH

Quantum Harmonizer in Programming Offtop
Andrew Mikhaylov
А с чего ты взял, что это жс?
Максимально похоже на жс)
источник

AM

Andrew Mikhaylov in Programming Offtop
Я не удивлюсь, если Игорь сидит на коленке тырпритатор пишет
источник

I

Igor in Programming Offtop
Anton Korotkikh
ща бы на жс типы натягивать, когда кругом столько языков типа котленов и скал
ну конечно же на самом деле там clojure-like язык (который сейчас пишу)

ps и конечно же там иммутабельное (те не надо беспокоится об изменение данных в процессе)
источник

AM

Andrew Mikhaylov in Programming Offtop
хаха))))
источник

(

( in Programming Offtop
Я сегодня для себя наконец-то открыл этот чудесный мир лямбда-исчисления на уровне системы типов
источник

AN

Alexander Nozik in Programming Offtop
Igor
В целом, это я думаю - как натянуть стат. типизацию на хешмпепы)
Уже давно натянуто. См. схемы в DataForge (да, самореклама).
источник

M

Mafioznik in Programming Offtop
Парни, кто в Украине заполняет книгу учета доходов? Что писать если за месяц не было дохода? Просто пропустить этот месяц и писать тот, в котором будет?
источник

AN

Alexander Nozik in Programming Offtop
Igor
ну конечно же на самом деле там clojure-like язык (который сейчас пишу)

ps и конечно же там иммутабельное (те не надо беспокоится об изменение данных в процессе)
метабельное - это то, что можно метать?
источник

AK

Anton Korotkikh in Programming Offtop
Igor
можно не немножко усложнить

function test(a, condition) {
 return
   if (condition) a.foo
   else a.bar
}
{foo: T} | {bar: T} принимает и boolean
источник

AK

Anton Korotkikh in Programming Offtop
Igor
ну конечно же на самом деле там clojure-like язык (который сейчас пишу)

ps и конечно же там иммутабельное (те не надо беспокоится об изменение данных в процессе)
кста, а ты в кложе type hints пользуешься?
источник

D

Denys in Programming Offtop
источник

AM

Andrew Mikhaylov in Programming Offtop
Игорь, вези завтипы, не стесняйся, будешь первопроходцем в разработке PWA на языках с завтипами
источник