IK
Size: a a a
2021 March 04
JS
И как парсится json?
код парсеров состоит из кучи проверок
G
код парсеров состоит из кучи проверок
Ну я о том, как распаршенный json укладывается в рекорд.
Т.е. есть 2 способа
- узнать поля структуры при сборке и сгенерить код, который парсит json и создает рекорд (как serde в rust)
- узнать поля в рантайме через рефлексию, достать их же из условного JsonValue, через ту же рефлексию сложить в рекорд (так вроде бы в golang json.Unmarshal)
Т.е. есть 2 способа
- узнать поля структуры при сборке и сгенерить код, который парсит json и создает рекорд (как serde в rust)
- узнать поля в рантайме через рефлексию, достать их же из условного JsonValue, через ту же рефлексию сложить в рекорд (так вроде бы в golang json.Unmarshal)
JS
Ну я о том, как распаршенный json укладывается в рекорд.
Т.е. есть 2 способа
- узнать поля структуры при сборке и сгенерить код, который парсит json и создает рекорд (как serde в rust)
- узнать поля в рантайме через рефлексию, достать их же из условного JsonValue, через ту же рефлексию сложить в рекорд (так вроде бы в golang json.Unmarshal)
Т.е. есть 2 способа
- узнать поля структуры при сборке и сгенерить код, который парсит json и создает рекорд (как serde в rust)
- узнать поля в рантайме через рефлексию, достать их же из условного JsonValue, через ту же рефлексию сложить в рекорд (так вроде бы в golang json.Unmarshal)
когда мы запускаем парсер для заданного типа, мы его структуру уже знаем, рефлексия не нужна
JS
а, понял, что вы имеете в виду. да, можно через рефлексию, но это какое-то переусложнение для языка с типами
к
Ну я о том, как распаршенный json укладывается в рекорд.
Т.е. есть 2 способа
- узнать поля структуры при сборке и сгенерить код, который парсит json и создает рекорд (как serde в rust)
- узнать поля в рантайме через рефлексию, достать их же из условного JsonValue, через ту же рефлексию сложить в рекорд (так вроде бы в golang json.Unmarshal)
Т.е. есть 2 способа
- узнать поля структуры при сборке и сгенерить код, который парсит json и создает рекорд (как serde в rust)
- узнать поля в рантайме через рефлексию, достать их же из условного JsonValue, через ту же рефлексию сложить в рекорд (так вроде бы в golang json.Unmarshal)
советую почитать про Generic доку и пару статей
G
когда мы запускаем парсер для заданного типа, мы его структуру уже знаем, рефлексия не нужна
Т.е. в хаскеле есть какой-то кодген для парсера?
JS
aeson тоже может работать через Generic, но это "рефлексия" во время компиляции
JS
Т.е. в хаскеле есть какой-то кодген для парсера?
конкретно в aeson есть 2 механизма — кодогенерация через TemplateHaskell и статическая рефлексия через Generic
к
Т.е. в хаскеле есть какой-то кодген для парсера?
несколькими сообщений выше ты спрашивал про функцию, и ты тоже думал что решается рефлексией. И я кинул решение без нее. В целом это должно было натолкнуть на какие-то мысли я думаю
к
еще один абстрактный маленький пример, который тоже может натолкнуть на какие-нибудь мысли
class GetTypeName a where
getTypeName :: a -> String
instance GetTypeName Int where
getTypeName _ = "int"
instance GetTypeName Bool where
getTypeName _ = "bool"
main = do
print (getTypeName (1 :: Int)) -- "int"
print (getTypeName True) -- "bool"
class GetTypeName a where
getTypeName :: a -> String
instance GetTypeName Int where
getTypeName _ = "int"
instance GetTypeName Bool where
getTypeName _ = "bool"
main = do
print (getTypeName (1 :: Int)) -- "int"
print (getTypeName True) -- "bool"
G
несколькими сообщений выше ты спрашивал про функцию, и ты тоже думал что решается рефлексией. И я кинул решение без нее. В целом это должно было натолкнуть на какие-то мысли я думаю
Чем отличается от compile time инф-ции о типах?
JS
TemplateHaskell тоже, наверно, можно назвать статической рефлексией
VD
Есть тип вида
В main'е создаю его значение через stToIO. Потом это значение хочу передать в другую функцию, которая возвращает
Это норма или я как-то неправильно живу?
data Foo s = Foo { arr :: STUA.Array s Word16 }.В main'е создаю его значение через stToIO. Потом это значение хочу передать в другую функцию, которая возвращает
IO ()
Получается anotherFunction :: Foo RealWorld -> IO ().Это норма или я как-то неправильно живу?
JS
Есть тип вида
В main'е создаю его значение через stToIO. Потом это значение хочу передать в другую функцию, которая возвращает
Это норма или я как-то неправильно живу?
data Foo s = Foo { arr :: STUA.Array s Word16 }.В main'е создаю его значение через stToIO. Потом это значение хочу передать в другую функцию, которая возвращает
IO ()
Получается anotherFunction :: Foo RealWorld -> IO ().Это норма или я как-то неправильно живу?
почему не Vector?