В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Kotlin JVM

439 membersпожаловаться на группу
2020 June 21

IO

Iaroslav Orlov in Kotlin JVM
Паша Финкельштейн
а просто typeof недостаточно чтобы вычислить?
typeof? а как с его помощью можно что-то вычислить?
источник
22:51пожаловаться#1

ПФ

Паша Финкельштейн... in Kotlin JVM
Iaroslav Orlov
typeof? а как с его помощью можно что-то вычислить?
ну математика на типах выглядит условно так
Add<Int,Brackets<Minus<Long, Minus<Long, Double>>>>
источник
22:53пожаловаться#2

ПФ

Паша Финкельштейн... in Kotlin JVM
И вот у тебя AST, с которым можно работать. Причём вычисляется эта система типов на этапе компиляции )
источник
22:53пожаловаться#3

IO

Iaroslav Orlov in Kotlin JVM
стейт-машины на дженериках? 😰
источник
22:53пожаловаться#4

IO

Iaroslav Orlov in Kotlin JVM
нет, я думал, что оно осталось на шаблонах
источник
22:54пожаловаться#5

IO

Iaroslav Orlov in Kotlin JVM
возможно, в kotlingrad что-то подобное есть :)
источник
22:54пожаловаться#6

ПФ

Паша Финкельштейн... in Kotlin JVM
Ну а почему собсна нет?
источник
22:54пожаловаться#7

IO

Iaroslav Orlov in Kotlin JVM
https://github.com/breandan/kotlingrad
GitHub
breandan/kotlingrad
Shape-Safe Differentiable Programming with Algebraic Data Types - breandan/kotlingrad
источник
22:54пожаловаться#8

ПФ

Паша Финкельштейн... in Kotlin JVM
Iaroslav Orlov
https://github.com/breandan/kotlingrad
GitHub
breandan/kotlingrad
Shape-Safe Differentiable Programming with Algebraic Data Types - breandan/kotlingrad
так, на это я сичас не готов )))
источник
22:55пожаловаться#9

ПФ

Паша Финкельштейн... in Kotlin JVM
спасибо, посмотрю
источник
22:56пожаловаться#10

AN

Alexander Nozik in Kotlin JVM
Паша Финкельштейн
И вот у тебя AST, с которым можно работать. Причём вычисляется эта система типов на этапе компиляции )
Глубина маленькая
источник
22:56пожаловаться#11

ПФ

Паша Финкельштейн... in Kotlin JVM
Alexander Nozik
Глубина маленькая
а что, в котлине есть ограничения?
источник
22:56пожаловаться#12

IO

Iaroslav Orlov in Kotlin JVM
Alexander Nozik
Глубина маленькая
разве есть лимит?
источник
22:56пожаловаться#13

AN

Alexander Nozik in Kotlin JVM
Паша Финкельштейн
а что, в котлине есть ограничения?
Вывод типов умрет на третьем вложении.
источник
22:56пожаловаться#14

ПФ

Паша Финкельштейн... in Kotlin JVM
Ну начиная с 1.4 нет
источник
22:56пожаловаться#15

ПФ

Паша Финкельштейн... in Kotlin JVM
в 1.3 так себе, да
источник
22:58пожаловаться#16

ПФ

Паша Финкельштейн... in Kotlin JVM
Но у меня в спарке норм работает три вложения
источник
22:58пожаловаться#17

AN

Alexander Nozik in Kotlin JVM
Все равно умрет. Там могут быть десятки сотни операторов. Читать это не возможно. Ну и не говоря о том, что это ничего не даст, поскольку статически выражения на типах считать нельзя
источник
22:58пожаловаться#18

ПФ

Паша Финкельштейн... in Kotlin JVM
ну читать это не надо, это надо парсить, ясное дело
источник
22:59пожаловаться#19

AN

Alexander Nozik in Kotlin JVM
Ну тут аст, что покрывает всю математику из 4 с половиной операций. Динамически он вполне нормально выходит. И отладка есть
источник
23:00пожаловаться#20