NV
входит
А ты можешь рассказать что это такое?
Size: a a a
2020 April 29
Oℕ
А ты можешь рассказать что это такое?
просто не процедурный ТФ
Oℕ
ТФ это оч широкий термин, не обижайте его
ΛВ
Просто я не вижу реального понимания параметрического ризонинга
типа формально я тоже не могу прям какой-то алгоритм привести, как что-то там понять
NV
проблем от вычисления синуса я не отхвачу
Давай вот такой юзкейз — я собираю модельку машинного обучения (нейронку), и у меня там идет ризонинг уровня чистых дифференциируемых функций
Oℕ
ТФ, где вы требуете Functor и больше означает, что вы воткнули в свои выражения в качестве субвыражений вообще ВЕСЬ чистый сабсет хостового языка
NV
Тут уже нужен ризонинг уровня волги, да
ΛВ
я из этого вижу контракт сервиса
NV
ТФ, где вы требуете Functor и больше означает, что вы воткнули в свои выражения в качестве субвыражений вообще ВЕСЬ чистый сабсет хостового языка
Да, это понятно
Oℕ
Хотите параметрического ризонинга - делайте классический ТФ
Oℕ
ТФ с волгой на базе Symon - его разновидность
Oℕ
На базе стрелок - уже нет
w
На базе стрелок - уже нет
NV
Что такое Symon
Oℕ
Symmetric Monoidal Category
Oℕ
Сокращение в либе
ΛВ
ТФ, где вы требуете Functor и больше означает, что вы воткнули в свои выражения в качестве субвыражений вообще ВЕСЬ чистый сабсет хостового языка
чем это плохо?
NV
всегда называли SMC же
ΛВ
это вообще не плохо же