我正试图弄清楚Dhall中的编程是如何工作的。考虑以下联合类型： let Object = < NoId | WithId : Text > 我想写一个函数extractId，它返回一个包含Id (或None)的Optional Text，但是我找不到一种在Dhall中进行解构的方法。
浏览 19提问于2020-01-27得票数 3
如果我在Haskell中有这样的类型： data MyType = MyType } 如何在Dhall中表示MyType的值？} 我想要做的是在Dhall中编写MyType的值，然后从Haskell读取它，并将其解组到MyType中，如下所示： main :: IO () x <- input autoprint
浏览 5提问于2019-05-05得票数 2
回答已采纳
我正在使用Dhall为github操作生成一个Yaml文件。在GH Action中，您可以指定一个矩阵来生成多个案例(例如，Scala版本和项目名称的组合)。但您也可以指定要排除的组合。12, 14] # excludes node 8 on macOS - node: 8
另一个有效的例子是如果我只是从头开始编写这段代码，而不定义类型(它似乎会用我拥有的特定键生成一个R
浏览 1提问于2021-05-12得票数 0
我正在Dhall中创建AWS Step函数定义。但是，我不知道如何创建用于Choice状态的公共结构，如下面的示例： "Not": { "StringEquals>let comparisons = renderRule
浏览 0提问于2020-02-10得票数 2
回答已采纳
1回答
/include/Prelude.dhalllet Foo = { a: Natural, t: Text }in (DO_MAGIC foo) : JSON.Type
我知道有toMap内置函数，但它期望有一个一致的记录。我实际上想要做的是用dhall编写OpenAPI规范。它的大部分是简单和好的，
浏览 3提问于2020-08-28得票数 1
回答已采纳
2回答
如何在运行时获得函数的稳定散列？不确定哪种语言具有此功能。我正在寻找一种实用的编程语言，在那里它是琐碎的和可执行的。
我想函数式语言，也许是lisp或haskell是常见的怀疑，但不确定这是什么样子。anything in the implementation o
浏览 11提问于2020-10-29得票数 1
回答已采纳
1回答
我想表示一个wiki (一组包含有向图的文档)。这些文档将被呈现到HTML中，我希望防止被破坏的链接被生成。在我看来，这可以通过通过类型系统使无效图(具有指向不存在节点的链接的图)无法表示，或者通过编写函数在任何可能的图中返回错误列表来实现。“在可能的图X中，节点A包含一个指向不存在的节点B的链接”)。此外，不可能通过折叠每个节点的邻居来生成这些
浏览 0提问于2020-02-26得票数 11
回答已采纳
如何在使用Union的Flow中编写内联curried函数类型？下面的示例运行正常： type Foo = () => () => string;
return foo()();
function func
浏览 4提问于2019-05-07得票数 0
回答已采纳
1回答
我正在尝试编写一个经过区分的联合类型的动态调度器，它是完全类型检查的。我觉得我已经很接近了，但是我不知道如何进行最后一步才能正确地检查类型。类型系统知道存在每个TKind到封装特定TKind的类型的处理程序的映射，我们可以在最后一行上面的两行中看到，它正确地处理了这种情况。我认为问题在于，当我们进行映射查找时，类型检查器没有缩小
浏览 6提问于2019-07-25得票数 0
回答已采纳
我对使用Haskell非常陌生，我不确定“head”是如何工作的。据我理解，它返回列表中的第一个元素。我一直在试着用它，但我总是犯错误。我添加了一个解决方案，创建了一个单独的函数来查找head，但是这似乎是不必要的。为什么他们不被解释为是一样的？你能给我解释一下吗？在上面的代码中，'board‘是一个元组列表，每个元组都是表单(x，a，b，.)。我用过“头脑”来做一些简单的事情，比如：
union xs y
浏览 3提问于2015-03-25得票数 4
回答已采纳
我正在尝试理解如何在输入函数时使用重载装饰器。如果我编写了以下代码并在mypy中运行：def myfunc(a: float, b: float) ->def myfunc(a: Union[float, int], b: Union[float, int]) -> Union[float, int]:然后我得到
浏览 4提问于2021-09-27得票数 5
回答已采纳
我想在dhall中表示IPv4地址，这样我就可以管理我的主机配置。
默认情况下，这是作为文本；但这显然不能令人满意，因为它允许任何旧的文本滑过。我想把这些值保持为4元组的8位值.我不认为Dhall可以允许本机--我能看到的最近的记录是{a:自然科学，b:自然}等等，但这在语法上很笨拙，并且仍然允许在0-255之外的八进制值。假设我不能在Dhall中直接做到这一点，也许我可以在Haskell中定义一种类型</e
浏览 1提问于2019-02-07得票数 10
我试图重载一个有两个重载的函数，如下所示getData<T>(type:string):T当函数有参数并且它们仅在以下类型中不同时getData<T>(typ
浏览 2提问于2017-05-16得票数 1
回答已采纳
data Union = F Float | I Int | S String
getUnionFromString str" ++ s
str <- getLine我想要创建一个将字符串转换为联合类型的函数所以我使用readMaybe来找出字符串的类型</
浏览 1提问于2022-06-05得票数 4
回答已采纳
我将从一个激动人心的配置示例开始，它几乎代表了特使代理配置:)- name: webxp-api_http routes: - name: bodhi_web规则是，必须定义该名称clusters列表才能在配置的route我该如何在Dhall中编码它呢？一方面，我可以将clusters作为le
浏览 2提问于2019-12-03得票数 2
1回答
当我在一个项目中使用argparse时，我注意到以下内容：
add_argument(*name_or_flags，类型:Union[可调用[Text，_T]，可调用[str，_T]，FileType]=.，选择:Iterable_T=.，必需:bool=.，help: OptionalText=.，元数据:可选[ Union[Text，TupleText，.]]=.，版本:Text=.，name=value，.)“
浏览 1提问于2020-03-31得票数 2
回答已采纳
2回答
我的__init__函数如下所示： def __init，kwargs可以包含来自多个类型的参数-- float、bool和str。现在，我试图为函数编写类型注释，如下所示：
def __init__(self, *args, **kwargs: Union[bool, str, float]) ->
浏览 0提问于2017-06-02得票数 10
回答已采纳
1回答
我必须在代码中使用库函数。这个函数返回，包括一个union，如下所示： int int_value; const char * text_value;每次调用此函数时，我都必须使用开关语句检查返回类型，如所引用的页面中的示例。真正的问题是，我必须在代码中多次使用这个
浏览 5提问于2014-08-13得票数 2
回答已采纳
我很难找到满足的返回类型。我有两个功能。第一个类型返回一个Union类型，因为该类型取决于给定给函数的参数。第二个函数使用默认参数调用第一个函数。因此，类型不是Union类型--它可以缩小为Union中的一种类型。让我举一个简单的例子来说明我的问题：
fro
浏览 2提问于2022-04-12得票数 9
2回答
联合函数和泛函
、、
我正在尝试用C编写一些库，并且我有这样的联合：typedef struct X { struct X *next;我想要有插入功能。例如，可以将函数插入到某些结构，如树、优先级队列或其他结构：
insertInt(..., int y), insertFloat(.
浏览 1提问于2016-01-18得票数 1
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
