#dhall
#dhall
Вопрос:
Я ищу способ увидеть тип поля типа записи, в основном эквивалент уровня типа . в Dhall REPL
Предположим, я сделал:
:let Person = { name : Text, age : Natural }
Как мне найти тип Person.name (т.е. Text ) без необходимости создавать экземпляр Person?
Если я создам термин типа Person, например :let betty : Person = { age = 34, name = "Betty" } , я могу это сделать :type betty.name , но я ищу эквивалент на уровне типа.
Практический вариант использования предназначен для поиска типов полей, в dhall-kubernetes которых есть глубоко вложенные записи со многими полями.
Спасибо и извиняюсь, если мой Google-fu не удался, и об этом спрашивали раньше.
Ответ №1:
Язык пока не поддерживает это, но я только что открыл проблему, чтобы отследить эту идею: