[
Собственно
foo :: Odno -> Drugoe
foo = error "kek"
foo :: Odno -> Drugoe
foo = error "kek"
undefined/error are sound. 😁Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2022 January 24
AC
Oℕ
Здраствуйте, я слышал, это лучшее место в интернете, чтобы спросить об Онтологиях!
Какие есть последние доклады, блогпосты об успехах, проблемах и способах внедрения конплюктер онтологий в крупных компаниях, спасибо!
Какие есть последние доклады, блогпосты об успехах, проблемах и способах внедрения конплюктер онтологий в крупных компаниях, спасибо!
AL
По вашему вопросу лучшее место в русскоязычном интернете — https://t.me/LinkedDataRussia
ПС
Ещё вопросик
Насколько плохая идея энкодить кортежи через вложенные пары?
Более конкретно, пусть
Например,
С помощью такого рекурсивного энкодинга можно, например, получить бесплатные вариадики. Да и инстансы будет проще выписывать
Насколько плохая идея энкодить кортежи через вложенные пары?
Более конкретно, пусть
[ e ] -- рассахаривание выражения. Тогда я предлагаю сделать
[ () ] = Unit
[ (a, ...bs) ] = Pair [ a ] [ (...bs) ]
Например,
[ (1, "", 0.5) ] = Pair 1 (Pair "" (Pair 0.5 Unit))С помощью такого рекурсивного энкодинга можно, например, получить бесплатные вариадики. Да и инстансы будет проще выписывать
s
Вы переизобрели HList
Oℕ
В некоторых языках примерно так и энкодится
Oℕ
при том, что в рантайме представляется обычным массивоподобным кортежем
ПС
Я в курсе, вопрос в том, почему так все не делают?
Oℕ
в идрисе ровно так делают
Oℕ
в scala 3 примерно так делают
ПС
А у пользователя есть доступ к этому энкодингу?
ПС
Или это internals компилятора?
Oℕ
так он для пользователя и сделан
Oℕ
internals другой может быть
ПС
А можно поглядеть, как это выглядит?
K
В рантайме будет долго, все делают через
unsafeCoerce от Vector AnyOℕ
Да, глядите, разрешаю, названия языков я сказал
ПС
Смотря как упаковать + агрессивно поинлайнить