Warning: file_get_contents(/data/phpspider/zhask/data//catemap/3/apache-spark/6.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Types DAML是否有一个与Hoogle相当的名字？_Types_Type Systems_Daml - Fatal编程技术网
Fatal编程技术网
  • types/
  • Types DAML是否有一个与Hoogle相当的名字？

Types DAML是否有一个与Hoogle相当的名字？

types

Types DAML是否有一个与Hoogle相当的名字？,types,type-systems,daml,Types,Type Systems,Daml,Hoogle通过键入近似的类型签名在Haskell中方便地找到合适的函数。DAML有类似的支持吗？Hoogle集成在上的搜索中，例如，搜索（a->b）->[a]->[b]）将显示地图还有一种更熟悉的外观（尽管我认为它应该被称为Doogle！）

Hoogle通过键入近似的类型签名在Haskell中方便地找到合适的函数。DAML有类似的支持吗？

Hoogle集成在上的搜索中，例如，搜索
（a->b）->[a]->[b]）
将显示
地图
还有一种更熟悉的外观（尽管我认为它应该被称为Doogle！）